Mathenatician Tristan Buckmaster, who, along with Anthropic researcher Levent Alpöge, were quietly making progress on Navier-Stokes when he says OpenAI used its vast resources to beat them to it.
Artificial intelligences already write, draw and code better than many humans. Remaining a well-known bastion, the demonstration of the great theorems. OpenAI's mathematician AI claims to have pierced this wall, solving one of the most coveted riddles of mathematics. But its victory is immediately contested.