陶哲轩宣告数学2.0时代已至,数学证明正从稀缺走向泛滥
菲尔兹奖得主陶哲轩发文称,AI正让数学证明变得泛滥,建立在证明稀缺之上的数学1.0时代即将落幕。导火索是OpenAI宣布解决纳维–斯托克斯千禧年难题,并于10月7日一口气发布722篇数学论文,涉及准黎曼猜想、霍奇猜想、BSD猜想等,还把三维挂谷集维数猜想扩展到四维。
数学界的应对正从联名抵制转向重构评价与培养体系,争论核心是证明泛滥之后人类还剩下什么价值。
- 影响前沿实验室正把可验证的科学领域当作能力展示的战场,对外发布的成功案例可能经过挑选;AI能力并不均匀,多数前沿问题仍未解决,宣传与真实水位存在落差;学术界与AI厂商矛盾公开化,科研合作生态可能分化。
- 参考可考虑在评估AI厂商成果时追问失败率与算力成本,把精选案例和整体水位分开看;有科研合作的机构,值得先梳理与各实验室的合作清单,留意学界抵制的走向。