OpenAI claims Navier-Stokes global regularity solved

The author argues that recent AI-driven mathematical achievements—such as OpenAI and Anthropic resolving long-standing conjectures and publishing a large corpus of novel results—provide a valuable dataset for studying how mathematical knowledge accumulates. By analyzing datasets like OpenAI's math dump and Paul Erdős's problems, the author examines patterns in conjecture refutation rates and counterexample construction before and after frontier AI lab involvement. Open article →