OpenAI fought dirty on career-making math problem
Summary
TechCrunch reports on NYU mathematician Tristan Buckmaster's claims regarding proofs related to the Navier-Stokes existence and smoothness problem and OpenAI's competing claims. The piece describes alleged information sharing, the use of Codex and Claude, the timing of OpenAI's proof, and a controversial dispute over credit and data-use implications for AI research.