陶哲轩

AI初创公司Sakana AI使用GPT-5.2成功攻克Aeros Problem 397，这是地球上最困难的开放数学问题之一，AI仅用约15分钟完成证明并被陶哲轩接受。过去两周已有六个困难数学问题被AI解决，标志着AI进入前沿数学领域。这印证了智能爆炸理论——AI能进行科学研究和数学发现，形成递归自我改进。AI可7×24小时不间断工作并无限复制，唯一的限制是GPU和能源。Google的Alpha Evolve也展示了50年来首次改进矩阵乘法的突破。AI发展并未放缓，思考时间越长，解决的数学难题越困难。

AI在数学领域取得突破性进展！量化研究员Neil Smani使用GPT-5.2成功解决Aeros问题397——地球上最困难的未解数学问题之一，历史上仅数百人能解决此类问题，AI仅用约15分钟完成证明，已被数学泰斗陶哲轩接受。更令人震惊的是过去两周内已有6个数学难题被AI攻克，形成系统性突破。Google的AlphaEvolve更是50年来首次改进了矩阵乘法算法。核心方法论是人类提示+AI生成+形式化验证三阶段流程。视频强调当前正处于智能爆炸拐点——当AI能进行科学和数学发现时，就能自我改进形成递归复合效应，突破所有边界，这是我们有生之年最激动人心的时代。