berman_AI攻克世界最难数学问题智能爆炸已至

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

January 12, 2026 · 2 min · 960 words · AIcan

berman_AI攻克数学最难问题智能爆炸来袭

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

January 12, 2026 · 2 min · 903 words · AIcan