AI数学能力究竟有多强？
AI数学能力正快速超越人类。2025年IMO中OpenAI和DeepMind双获金牌，Frontier Math基准从2024年<2%飙升至2026年约40%。核心技术突破在于推理时计算、蒙特卡洛树搜索与自我博弈——AI可自主生成海量数学证明作为训练数据。陶哲轩提出的"亚里士多德工作流"：人类提供直觉，AI负责形式化验证，实现"认知卸载"。数学+编程结合将催生形式验证新标准、软件证明时代，并推动科学研究从"模拟→验证"范式转变。预计未来2-3年内AI数学能力将全面超越人类顶尖数学家。