跳到正文
原文
AGI Hunt· haider1·· 3 小时前精选AI 评分72

OpenAI 称两个月解决 100+ 数学难题,700+ 结果已发布在 GitHub

OpenAI 两个月宣称解决百余道数学难题,700+ 结果已挂 GitHub

AI 导读

OpenAI 宣称在两个月内解决了 100+ 个长期悬而未决的数学问题,700+ 条数学结果已发布在 GitHub。汇总中的具体宣称包括 Navier–Stokes 完整解、黎曼假设准证明、Yang–Mills 存在性证明(质量间隙仍开放)以及 P vs NP 的 ETH 反证等。这些宣称尚未经数学界同行评议验证,其实际含金量有待专家审查。

推荐理由

这些数学宣称尚未经同行评议,读者可据此观察 AI 成果发布与学术验证节奏之间的落差。

来源:AGI Hunt · agihunt.info