English(EN) Fable may have disproved a 100 year old conjecture.

AI模型Fable可能已证伪一项87年前的数学猜想

作者 PulseAugur 编辑部 · [1 个来源] · 2026-07-20 04:15

一个名为Fable的语言模型可能已经证伪了一项已有87年历史的数学猜想，该猜想被列为21世纪的重大挑战之一。虽然完整评审尚待进行，但据报道Fable进行的计算是可验证的。这一成就标志着AI在数学能力方面达到了新的高度。 AI

影响展示了AI在复杂数学问题解决方面的先进能力，可能为AI在理论研究领域开辟新途径。

排序理由 AI模型在数学研究方面取得重大里程碑。 [lever_c_demoted from research: ic=1 ai=1.0]

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

报道来源 [1]

r/ClaudeAI TIER_2 English(EN) · /u/momkeeeeeeee · 2026-07-20 04:15

Fable 可能已证伪一项百年猜想。

<div class="md">Smale put it as #16 on his list of 18 mathematical problems for the 21st century (1998), the same list that includes P vs NP and the Riemann Hypothesis. It’s the highest math weight class any LLM have ever achieved i think. Pending …