An AI Math Proof Race Just Became a Credit Fight
An NYU mathematician and an Anthropic researcher published a Lean-verified proof of finite-time blowup for the 3D Euler equations built with Claude and Codex, and are now publicly disputing whether OpenAI tried to claim credit for it.