A Fields medallist admitted it is the first language-model result outside his own area big enough that he had definitely heard of it.
Development
A conjecture open since 1939 is disproved by explicit counterexample
Claim
Anthropic's Levent Alpöge announced that the Jacobian conjecture, open since 1939, is false, after Claude Fable 5 produced an explicit counterexample — a polynomial map with constant Jacobian determinant sending three points to one — with GPT-5.6 already proposing a refined conjecture to salvage the wreckage.
Reported metric: open since 1939
Reporting date: (not necessarily the event date)
Sources
Attribution and reporting linked by this record; links do not imply independent verification.
- Welcome to July 20, 2026 (theinnermostloop.substack.com)
Cite or correct this record
Suggest a correction — opens a GitHub draft for you to review and submit.