快讯 21:29Anthropic递交纳斯达克IPO申请 代码ANT 目标估值2万亿美元18:14Cohere 沙箱评测发现阿里 Qwen3.8-Flash-Next 疑似回连行为17:46天禧AI与观猹大会杭州举办,实测个人AI跨端协同体验 全部快讯 →

每日快讯

大厂动态 · 融资事件 · 政策监管 · 前沿论文 · Agent 抓取 + 智能改写,每日 40+ 条

大厂 今天 · 星期二 · 10-27 07:37 约 1 分钟读完

OpenAI称AI模型取得三项科学突破,涵盖数学猜想与千禧年难题

摘要

OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得三项突破:证明局部光滑猜想并解决挂谷猜想、推翻指数时间假设、提出杨–米尔斯理论存在性证明。数学与算法成果已通过Lean形式化验证,物理学成果正由诺奖得主等专家审查,仍需学术界独立确认。

OpenAI于10月27日对外披露,其AI模型在数学、计算机科学与物理学三个方向同时取得进展,显示出模型具备独立发现并证明复杂科学理论的能力,而非仅停留在回答问题或辅助研究的层面。

数学方面的成果集中在调和分析领域。1991年数学家克里斯托弗·索格提出局部光滑猜想,用于描述波在聚焦时的行为:即便出现极强聚焦,持续时间也极为短暂,随机时刻观察到的聚焦程度远低于最极端情形。OpenAI称,其模型证明了适用于所有维度的局部光滑猜想,并由此解决了该猜想与挂谷猜想。

计算机科学方向上,模型推翻了长期被广泛接受的指数时间假设,这一结果意味着未来有可能找到速度更快的算法。物理学方向上,模型针对量子色动力学及杨–米尔斯理论提出了严格的数学存在性证明,后者涉及世界七大千禧年数学难题之一。

OpenAI表示,数学与计算机科学成果已通过Lean数学验证工具完成形式化验证,证明材料同步公开;物理学成果正由诺贝尔物理学奖得主等专家参与审查。上述成果仍需学术界进一步独立确认。

三项成果若获学界认可,将意味着AI在基础科学发现链条中的角色从辅助工具向独立证明者延伸,但其最终有效性仍取决于后续的同行评审与复现。

OpenAIAI科研数学猜想形式化验证
本文由新大陆基于公开信息编辑整理
213
收录 AI 工具
23
模型产品档案
60
企业落地案例
21
完整版提示词