OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul

OpenAI said an AI system generated a proof for the Navier-Stokes existence and smoothness problem after running up to 10,000 agents for more than 50 hours and spending millions on compute. NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge disputed the claim, alleging OpenAI accelerated its effort after learning of their parallel work and offered to exclude Alpöge’s name from any publication. OpenAI officials deny using the pair’s prompts or data, asserting they only saw the external work after it was publicly released.