登录体验完整功能(收藏、点赞、评论等) — 已累计有 9410 人加入

让AI触手可及,让应用激发潜能

OpenAI推理模型完成原创数学证明 推翻80年前Erdős几何猜想

OpenAI最新发布的内部推理模型近日完成原创性数学推导,正式推翻数学家保罗·Erdős1946年提出的、悬而未决80年的单位距离几何猜想,项目组本次主动邀请数学家Thomas Bloom等领域权威完成独立交叉验证,这是全球范围内AI首次依靠原生长链推理能力自主攻克核心数学开放难题,标志人工智能正式从检索式解答阶段迈入原创性科研阶段。

2026年5月21日该成果对外公开后,全球离散几何领域的一线学者第一时间获取了完整的千步推导文档,不少研究人员在公开社交平台表示,这套证明的切入视角完全跳出了过去70多年学界围绕该猜想形成的固化研究路径,没有任何此前公开研究成果的痕迹。

七个月前,OpenAI曾因宣称解决多个Erdős系开放问题遭到学术界广泛质疑,不少学者指出当时的输出内容能在已公开的小众会议论文中找到对应片段,本质是检索拼接得到的伪原创结果。

为了彻底规避类似争议,本次项目组从验证环节开始就设置了多重隔离机制:所有受邀的独立验证学者完全无法接触模型的训练数据集,也没有拿到任何推导过程中的中间日志,仅收到模型最终输出的完整证明文档供交叉核验。包括Thomas Bloom在内的所有参与验证的学者最终均公开出具了背书声明,确认整套推导逻辑不存在漏洞。

在此之前,全球所有AI数学相关模型的能力边界,始终被限定在“辅助人类科研”的定位之内——它们可以快速验证人类已经完成推导的定理,可以高效算出复杂方程的中间结果,却永远无法在完全没有前人研究铺垫的知识空白区走出全新路径。

免责声明:本网站AI资讯内容仅供学习参考,不构成任何建议,不对信息准确性与完整性负责。
相关资讯