OpenAI 宣布三项 AI 驱动重大突破:数学、复杂性与量子场论

Dr_Singularity · x · 2026-10-27

OpenAI 宣布三项跨领域的 AI 驱动研究突破:

OpenAI 称数学结果、ETH 证伪与 Yang–Mills 存在性均已完成 Lean 形式化。包括诺贝尔奖得主 David Gross 和 ETH 原始提出者在内的独立专家正在组织力量审查和解释这些工作。

所属事件:OpenAI 宣布 AI 连破 Kakeya、ETH、Yang-Mills 三大难题(38 条相关)→

原文链接 →

「漫话AGI」频道最新

更多「漫话AGI」频道 AI 资讯 →