Event ·Multi-source

OpenAI 称其 AI 在数学、计算机科学、物理领域取得新发现，关键证明通过 Lean 验证

OpenAI 宣布其 AI 在数学、计算机科学和物理学中解决了多个存在数十年的问题，关键证明已在 Lean 形式化验证系统中通过验证。这些属于 AI 做出的原创性发现，涉及计算极限到粒子物理的数学基础。独立专家正在审查这些工作，尚未确认成立。

Current read

OpenAI 说自家 AI 解出了几个拖了几十年的数学和物理难题，还用 Lean 做了形式化验证，专家在核实中，可以看看细节。

6 sources88° AI heatLast updated 2026/10/26 22:06:46

Evidence

6 sources

Primary sourcekimmonismus

2026/10/26 22:06:46View source

Related source 1Nathan Lambert

2026/10/25 11:19:36View source

Related source 2Greg Brockman

2026/10/25 22:23:33View source

Related source 3量子位

2026/10/26 08:38:49View source

Related source 4OpenAI Blog

2026/10/26 10:00:00View source

Related source 5DAIR.AI

2026/10/26 15:07:02View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.

Open the story