Tristan Buckmaster

OpenAI’s Navier–Stokes Claim: The Proof and the Data Update

OpenAI claimed an AI-generated Navier–Stokes proof, then updated its account of whether a mathematician’s private Codex prompts could have influenced the result.