广东
分享至
导火索
9月8日，OpenAI发布纳维-斯托克斯方程存在性与光滑性问题的完整证明。纽约大学数学家特里斯坦·巴克马斯特发出质疑，称其利用海量算力抢先跑通形式化证明。争执还牵扯到论文署名。
声明核心
数学行业最宝贵的资源是学生和思想。
以越来越快的速度大量生产或真或假的证明，可能不是在孕育新的思想，反而可能摧毁孕育思想的沃土。
如果没有数学家将数学研究融入到科学体系中，AI证明的猜想永远无法得到充分的发展，数学知识传承的链条也就此断裂。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
