跳到正文
Rohan Paul· @rohanpaul_ai · X·· 2 小时前同新闻AI 评分77
AI 导读

OpenAI 声称其 AI 产出新的数学证明,涉及半个千禧年难题、Kakeya 猜想以及一个核心复杂性假设。

同一新闻,精选展示《OpenAI 称 AI 模型在数学、算法与物理领域取得三项突破》

正文 · AI 翻译

OpenAI 声称取得新的 AI 证明,覆盖了千禧年大奖难题的一半、Kakeya 猜想以及一个核心复杂性假设。

这些问题涉及数学、计算机科学和物理学,是顶尖专家们研究了数十年的问题。

其中最大的一个:大约 25 年来,指数时间假设(Exponential Time Hypothesis)认为某些逻辑谜题所需的时间会随着规模增长而爆炸式增加。OpenAI 的 AI 表示它证明了该假设为假,而有数百篇研究论文都建立在该假设之上。

在数学方面,该 AI 声称破解了局部光滑猜想(local smoothing conjecture),这是一个有 35 年历史的谜题,关于波如何聚焦,这也同时解决了著名的 Kakeya 猜想。人类此前只解决了更小的版本。

在物理学方面,该 AI 声称已以完全的数学严谨性证明,量子色动力学——即把原子核束缚在一起的力的理论——建立在坚实的数学基础之上。其 Yang-Mills 证明覆盖了价值 100 万美元的“Yang-Mills 存在性与质量间隙”千禧年大奖难题的一半。

来源:Rohan Paul · x.com