Mathematicians Hate AI. They Can’t Quit It

Tristan Buckmaster claims OpenAI used his work to solve the Navier-Stokes $1 million-bounty challenge, yet he still uses Codex and Claude to refine his papers. OpenAI says Buckmaster’s prompts could not influence the system. Mathematicians question AI proof attribution, raising concerns about peer review and credit.