“AI在数学领域严重错位”

　　导火索

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

　　声明核心

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

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

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