Why You Should Care Whether Anthropic or OpenAI was First to Solve a Millennium Prize Problem

OpenAI's Navier–Stokes proof drew accusations that it front-ran independent mathematicians. A warning about doing research on AI you don't control.