专访｜白磊：当所有成果都被装进AI大模型，真正的创新如何被看到

來源報導重點

9月8日，OpenAI公开了一份千禧年数学难题——纳维-斯托克斯方程存在性与光滑性问题的解答：约1万个AI智能体协同工作88小时，给出解析证明，随后由GPT-6 Astra用Lean完成形式化验证。目前该证明仍有待数学界进一步审查。与此同时，这项成果也引发优先权争议：纽约大学数学家Tristan Buckmaster质疑OpenAI在获悉同行研究进展后加速推进，并担忧其此前与Codex的草稿数据可能被利用。三天后，陶哲轩等25位菲尔兹奖得主联名发表声明称，AI公司推动把解决数学问题作为一种“基准”（benchmark），对数学这门科学和数学共同体“有害”，并直言“AI公司的目标与数学共同体的目标严重错位”。声明强调，解决问题“只是实现概念理解和洞见这一首要目标的工具和代理指标”，匆忙公布AI解答还会引发“严重的成果归属和剽窃问题”，并可能使数学家之间“关键的人类传承链条”丢失。过去一周，A...