Anthropic researcher says Fable5 proved a Jacobian counterexample after 87 years
歸藏的AI工具箱 · wechat · 2026-07-21
Anthropic researcher @__alpoge__ used Fable5 to prove a counterexample to a Jacobian conjecture that had resisted resolution for 87 years. An offline internal Codex version at OpenAI reportedly reached a similar counterexample independently. The post frames this as evidence that frontier models can tackle serious mathematical problems on their own. It also notes the historical connection to Zhang Yitang, whose doctoral work chased the same line of attack, and points out the discussion around “toxic advisors” in academia that the episode revived.
More from Models
- A production AI post argues that “carefulness” matters more than benchmark wins — UltraRareAF · 2026-07-21
- Cola launches July, the latest model jokingly billed as “second only to Fable” — oran_ge · 2026-07-21
- Kimi K3 looks stronger and about 5× cheaper on a frontend dashboard task — OwariDa · 2026-07-21
- Last Week in AI recap: Anthropic’s $65B round, IPO filing, and Microsoft’s MAI push — Last Week in AI · 2026-07-21
- A user says Claude 4.6 felt worse yesterday and asks whether model quality can drift over time — Rahios · 2026-07-21
- Kimi K3 hits 89.4% peak on software tasks while Fable 5 is slightly steadier — FinanceYF5 · 2026-07-21