2026年7月，菲尔兹奖得主陶哲轩在国际数学家大会（ICM 2026）上发表演讲，发出令人震惊的警告。
关键数据：
• AI在FirstProof测试中以"可发表质量"解出7/10道研究级数学题
• 单题算力成本仅10至1000美元
• 陶哲轩提出"证明过剩"概念：AI产出远超人类验证速度
他警告：AI能以极低成本批量生成数学证明，但人类验证、理解、消化的速度无法跟上，数学界可能面临百年新危机。
#888;font-size:13px;margin-top:20px;border-top:1px solid#eee;padding-top:12px;">来源：新浪科技 / ICM 2026 · 2026-08-31