AI 行业资讯 - 数学证明

陶哲轩警告：AI正以每周数道速度攻克数学难题，人类面临“证明过剩”危机

菲尔兹奖得主陶哲轩在2026年8月接受《新科学家》杂志深度访谈，警告数学界只剩几个月应对AI带来的结构性危机。他称AI以每周攻克数道数学难题的速度推进，数学正从“证明稀缺”转向“证明过剩”，人类消化能力跟不上AI产出。他列举了Gemini十分钟解决Erdős问题367、Astra产出10项成果、Claude Fable 5参与雅可比猜想反例等案例，并指出AI解决真实难题成功率仅1%-2%。