AI数学研究

OpenAI称内部模型联合约1万个AI智能体，在88小时内完成纳维–斯托克斯问题一项证明，并公开166页论文与Lean代码。文章指出，代码通过只代表形式化命题可检验，仍需核对题意、假设、证明链条及同行复核，不能等同于数学界认证。

OpenAI宣称其AI系统约88小时取得纳维-斯托克斯问题进展，但数学家团队提前公开相关结论引发优先权争议。事件凸显AI参与科研后，署名规则、贡献描述与发布时机等制度亟待重建。