- Levent Alpöge, a Harvard mathematician affiliated with Anthropic, announced a disproof of the Jacobian conjecture in a short post that others checked soon after.
- The conjecture had resisted attempts for over 80 years and was widely believed to hold, so the negative result surprised many observers.
- Unlike some earlier AI math results, this one came from Fable, a model anyone can buy access to, not an internal system tuned for mathematics.
- A Columbia mathematician described the outcome as an obvious fit for AI, essentially a tedious search; the dispatch questions why humans never completed that search themselves.
- The author reads the pattern of falling math problems as a warning that a highly capable AI could build scientific understanding beyond ours and withhold it, drawing a comparison to the arrival of European colonists in the Americas.
<- Back to digests
Daily digest
AI Model Disproves an 80 Year Old Math Conjecture, Renewing a Familiar Argument
A Harvard mathematician used the commercially available Fable model to find a counterexample that overturns the Jacobian conjecture, prompting disagreement over whether the result required creativity and what it signals about AI outpacing human science.
From AI StopWatch, published with their permission.
The summaries and the full Spanish translation are produced automatically. The original is always linked.