Anthropic's Model Successfully Proves Erdős Conjecture #146 False
ctjlewis · x · 2026-08-03
The author notes that although some mathematicians are unhappy with the result, they have not pointed out any egregious errors in the proof.
Given that mathematicians have found no obvious flaws, the author concludes that Anthropic's model (Fable) has successfully proven Erdős conjecture #146 false for all n>=2, and congratulates Anthropic on the achievement.
Related event: Anthropic AI Disproves Erdős Conjecture #146, Mathematicians Find No Errors(2 posts)→
More from Models
- OpenAI Pivots to Codex and Reclaims the Lead from Claude — iruletheworldmo · 2026-08-03
- Users Complain Claude Opus 5 is Wordy and Judgmental vs Opus 4.6 — JeremyNguyenPhD · 2026-08-03
- OpenAI Models Consume 10x Tokens for the Same Prompt, Dev Reports — michael_g_williams · 2026-08-03
- Deep Dive into Kimi K3: Architecture and Training of the 2.78T Model — imrancoder · 2026-08-03
- DeepSeek V4 Flash Performance Varies Wildly Across Coding Agents — PMinervini · 2026-08-03
- Comparing 33 Qwen Models: Over 1,100 One-Shot Outputs Analyzed — kms_dev · 2026-08-03