AI解决了最困难的数学问题...（智能爆炸）
2026年AI数学领域迎来里程碑时刻！定量研究员Neil Smani利用GPT 5.2成功解决被誉为"地球上最困难的开放数学问题"之一的Aeros问题397，其证明被数学泰斗陶哲轩接受并通过Lean形式化验证。这标志着AI正从"辅助工具"进化为"独立解决前沿数学问题的智能体"。视频还介绍了Alpha Evolve 50年来首次改进矩阵乘法算法，以及AI Scientist端到端科研系统的突破。AI现在可以7×24小时并行解决数学难题，这一能力将加速智能爆炸的到来。