AI Feeds
动态

AI系统自主证明未解决的数学猜想。

AI系统自主证明未解决的数学猜想。
Itamar Golan
哇，在开放猜想上自主生成证明。里程碑！
Axiom
1/ AxiomProver已自主解决了Fel关于数值半群合冲的开放猜想，在零人类引导下生成了Lean中的形式化证明。

这是AI系统首次在理论构建数学中解决未解研究问题并自我验证。https://t.co/9of1v4gsIk
动态Itamar Golan2026-02-06原文

相关内容