北京
10月27日消息，OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得三项重大突破，称AI已能独立发现并证明复杂科学理论，而非仅回答问题或辅助研究。
数学领域，AI证明了适用于所有维度的局部光滑猜想，由此推导出挂谷猜想在所有维度得到解决。2025年，中国数学家王虹刚因证明三维挂谷猜想引发关注。OpenAI披露，模型于10月18日生成自然语言证明，次日完成Lean形式化，两份证明材料已上传GitHub供全球数学家验证。
计算机科学领域，AI推翻了长期被广泛接受的指数时间假设（ETH），并完成Lean形式化验证。OpenAI邀请了ETH的原始提出者、加州大学圣迭戈分校的Russell Impagliazzo和Ramamohan Paturi，以及麻省理工学院的Ryan Williams共同领导外部研究团队审查该成果。
物理学领域，AI为四维空间中包含规范场和费米子的某些相互作用量子场论构造了严格数学存在性证明，涉及量子色动力学及杨-米尔斯理论的存在性问题，后者是世界七大千禧年数学难题之一。五位理论物理学家组成审查团队，负责人David Gross为2004年诺贝尔物理学奖得主。
值得注意的是，OpenAI此次改变了发布策略。就在10月6日，其公开的722份AI数学手稿中，部分被发现存在错误，撤回3篇、修订14篇。此次将AI生成的证明视为原始研究数据，邀请外部科学家参与验证、解释和整理，并不寻求学术署名。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
