A Harvard mathematician and an AI model may have cracked an 87-year-old math problem

An AI model resolved the Jacobian conjecture, a problem that had remained unsolved since 1939, on Sunday afternoon. Kevin Buzzard said the result was verified by the time he woke up in London the next morning and was being discussed by his peers at Imperial College London's pure mathematics department by lunch. Levant Alpöge, an Anthropic employee, announced the result on X, where the post has drawn more than 20 million views. Buzzard told Fortune it is a big day and a great time to be alive. The AI model's result met the Jacobian determinant at every point in space, holding steady at −2, yet mapping three different starting points to the same destination, meaning it did not pass the test. Buzzard described the result as very exciting and noted it demonstrates the potential of language models to eventually reach the supermathematician level. Akhil Mathew, a University of Chicago mathematician credited by Alpöge for suggesting the problem, said one can check the result is correct but it would be nice to tell a story explaining why. Alpöge did not respond to Fortune's request for comment.