Buckmaster alleges OpenAI used his Codex data for their Navier-Stokes proof, a claim OpenAI "cannot rule out." This dispute, now a test case, has 25 top mathematicians concerned about AI labs racing researchers. Watch for the Clay Mathematics Institute's decision on the $1 million Millennium Prize.