Anthropic's AI Fable Proves Erdos #146 False, Mathematicians Find No Obvious Errors
ctjlewis · x · 2026-08-03
According to X user ctjlewis, Anthropic's AI system Fable has successfully proven Erdos conjecture #146 false for all n≥2. Mathematicians have found no obvious errors in the proof, highlighting AI's potential in mathematical research.
Related event: Anthropic AI Disproves Erdős Conjecture #146, Mathematicians Find No Errors(2 posts)→
More from AGI Musings
- DHH: Starship, Starlink and Grok should have been Europe's Sputnik moments — georgemillo · 2026-10-16
- Hinton hits back at Jensen Huang: 'He has good reason to say AI isn't dangerous — he sells Nvidia chips' — BlackHC · 2026-10-16
- Yudkowsky blasts new interpretability finding as primitive; critic pushes back on doomer logic — AlexTensor · 2026-10-16
- Beff Jezos declares 'civilizational inflection point' in the acceleration of technological progress — beffjezos · 2026-10-16
- Data scientist: pivoting to AI engineering is the safest career bet for the next 5 years — mdancho84 · 2026-10-16
- AI will be superhuman at science regardless, and Europe can't opt out — teortaxesTex · 2026-10-16