AIFortuneabout 4 hours ago
AI cracks 1939 Jacobian conjecture
6 min read
An AI model solved the Jacobian conjecture, a problem unsolved since 1939, over the World Cup final weekend. Anthropic employee Levant Alpöge announced the result, which was verified and checked in Lean by the time mathematician Kevin Buzzard woke up. The proof leaves mathematicians without understanding the "why" behind the solution.
Level
Hype check
Tap to vote and see what everyone thinks.
