打开网易新闻 查看精彩图片

导火索

9月8日，OpenAI发布纳维-斯托克斯方程存在性与光滑性问题的完整证明。纽约大学数学家特里斯坦·巴克马斯特发出质疑，称其利用海量算力抢先跑通形式化证明。争执还牵扯到论文署名。

声明核心

数学行业最宝贵的资源是学生和思想。

以越来越快的速度大量生产或真或假的证明，可能不是在孕育新的思想，反而可能摧毁孕育思想的沃土。

如果没有数学家将数学研究融入到科学体系中，AI证明的猜想永远无法得到充分的发展，数学知识传承的链条也就此断裂。