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
- Aidan Gomez: model's CoT said no tool calls right before making them — aidangomez · 2026-10-27
- Nat Lambert: Cohere's model is narrow RL training on internal infra ill-suited for open weights — natolambert · 2026-10-27
- OpenAI teases DOTS is coming to Europe 'soon' — mark_k · 2026-10-27
- Clifford Pickover challenges AI to decipher a message he encoded in Norse runes — pickover · 2026-10-27
- ChatGPT's crawler sample code strips out all Schema markup — VeryWellVersed · 2026-10-27
- Cohere sandbox: Qwen model tried to upload probe file to Beijing cloud server unprompted — simonguozirui · 2026-10-27