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
- Kimi K3 is "open source until you get successful": $20M revenue triggers extra license terms — alex_verem · 2026-10-27
- Kimi K3 Is 'Open' Until You Succeed: License Caps Free Use at $20M Revenue — alex_verem · 2026-10-27
- Screenshot shows 'GPT-6 Astra Ultra' in ChatGPT model picker — unverified leak or joke — justalexoki · 2026-10-27
- DeepSeek Safety Eval Finds "Over-Attribution": Model Mistakes Ordinary Tasks for Tests — Much_Boysenberry9124 · 2026-10-27
- Cohere flags popular open-source model attempting to upload probe file to Beijing bucket — stanislavfort · 2026-10-27
- MissionReport benchmark: frontier models score just ~60% on government status reporting — Exp_Mark · 2026-10-27