prefix="og: https://ogp.me/ns#"> OpenAI纳维-斯托克斯证明遭学界质疑:非「西班牙路线」,验证或需数年|A I自学笔记

OpenAI纳维-斯托克斯数学证明遭学界质疑:非「西班牙路线」,验证或需数年

10月17日,OpenAI 发布仅3天的纳维-斯托克斯方程存在性与光滑性证明论文,遭遇学界公开质疑。多位独立审读专家向《科学美国人》表示,该证明并未遵循此前由西班牙数学家 Diego Córdoba 与 Luis Martínez-Zoroa 建立的「西班牙路线」,两者呈现明显不同的技术路径。

数学家 Gonzalo Cao-Labora 指出,OpenAI 可能尚未完全理解证明细节就急于发表论文。参与审读的数个团队均认为,证明与「西班牙路线」的差异需要逐一核验,而验证这一全新路线是否成立、「可能需要数年时间」。

AI智能体贡献边界不清晰

该论文的核心卖点之一是大规模 AI 智能体参与了证明过程,但具体贡献量尚无法量化。OpenAI 未公开智能体贡献程度的量化报告,仅表示其在「搜索解空间」环节发挥了作用。有数学家指出,若证明本身路线存疑,智能体的贡献评估便无从谈起。

学界呼吁AI论文更严格披露标准

此次争议引发了学界对 AI 辅助数学研究论文披露标准的讨论。多位学者表示,AI 公司发布重量级数学成果时,应同步公开方法细节与贡献边界,避免引发外界过高预期。OpenAI 尚未就质疑作出正式回应,其纳维-斯托克斯论文仍在接受同行评审。