Daily AI CatchupClaude Fable 5 Disproves the 87-Year-Old Jacobian Conjecture With a One-Line Formula
Anthropic's Levent Alpöge posted that Claude Fable 5 produced a one-line formula disproving the Jacobian conjecture — an algebra problem that has stumped mathematicians since 1939. Famed mathematician T.T. Moh predicted in 2008 it might take humans "another 100 years." The proof is short enough to verify directly, following OpenAI's model solving the 80-year-old Erdős unit distance problem in May — a pace of AI mathematical discovery accelerating faster than almost anyone predicted.
Why it matters
💻 Developer · Worth reading the actual proof if you have any math background — a genuinely verifiable, human-checkable result is a different (and more convincing) kind of AI capability demonstration than a benchmark score.
📦 Product · This is the second 80+-year-old open math problem cracked by a frontier model in three months — a trend line worth watching if your product roadmap touches research or scientific discovery use cases.
🎨 Design · No direct design impact — this is a pure mathematical research result.
📈 Business · Consecutive frontier labs solving genuinely unsolved decades-old problems is a real capability signal worth citing in any conversation about the pace of AI progress in specialized domains.
🤔 Just Curious · Anthropic's newest AI model solved a math problem that had confused professional mathematicians for 87 years — and it did it with a solution short enough to fit in one line, which a top mathematician had previously guessed might take humans another century to figure out.
Sources: Levent Alpöge on X