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
- Beware the Extremes: Viewing AI as a Replacement for Humanity or Human Intelligence — jsuarez · 2026-08-03
- Reflection on AI Hype: Impressive Works Lack Human Value-Add — jsuarez · 2026-08-03
- Labs Ignore Safety as AI Makes People Dumber and Dependent — jsuarez · 2026-08-03
- What Evidence Will Convince Us We've Hit AGI? Community Debates — AdamJefferson · 2026-08-03
- AI to Disrupt C-Suite: Sources Say Multi-Billion Dollar CEOs Have Max 2 Years Left — dbasch · 2026-08-03
- New AI meme: Humans are just a tool simulating reasoning, not truly generally intelligent — davidmanheim · 2026-08-03