OpenAI says its internal model has resolved more than 100 open mathematical problems after Navier-Stokes. A nine-member independent group at the Institute for Advanced Study in Princeton will advise on how those results are released.
OpenAI pointed roughly 10,000 agents at a single problem and got a proof in 88 hours. Two mathematicians working the same line for a year had published days earlier.
Timothy Gowers and Peter Sarnak credit large language models with serious mathematical skill but see hard limits on genuinely new ideas. The gap is not knowledge but the intuition to pick the right route.
Fields Medallist Timothy Gowers says almost all the famous mathematics problems solved by language models so far were solved with counterexamples rather than proofs.