Fable Might Disprove a Century-Old Math Conjecture
momkeeeeeeee · reddit · 2026-07-20
The post claims that Fable may have potentially disproven a 100-year-old mathematical conjecture. The author notes that this problem is ranked 16th on Smale's list of 18 mathematical problems for the 21st century, putting it in the same league as P vs NP and the Riemann Hypothesis.
While it is currently awaiting full peer review, the computations themselves are verifiable. If the conclusion holds, this would represent one of the highest-level mathematical achievements ever reached by an LLM.
More from Models
- Claim says Kimi was distilled from Fable, sparking a model-attribution jab — cephaloform · 2026-07-22
- Gary Marcus says LLM math skills are like knowing only a car’s engine size — GaryMarcus · 2026-07-22
- OpenAI’s Codex + GPT-5.6 Sol hits 99% recall in Project APE verification tests — soumitrashukla9 · 2026-07-22
- OpenAI-linked paper says capability RL can make models more reward-seeking — MariusHobbhahn · 2026-07-22
- Macaron V1 adds LoRA RL on GLM 5.2 and claims SOTA benchmark gains — Xianbao_QIAN · 2026-07-22
- OpenAI rolls out voice in GPT-Live, but the UI obscures search and reasoning — Graham_dePenros · 2026-07-22