A math proof dispute raises questions about AI labs and researcher privacy

[Ria3]

Mathematicians Theodore Buckmaster and Levi Alpoge posted a statement raising concerns after OpenAI's team appeared to reconstruct key details of their unpublished approach to a major fluid dynamics problem remarkably quickly, and Buckmaster said he doesn't know how OpenAI's team managed to do so. According to his account, he and Alpoge suspect OpenAI's Codex model may have had access to their own private prompts, which they'd assumed were confidential, raising real questions about how AI labs handle researcher data submitted through their own commercial tools

The underlying claim generating attention, that AI had solved one of math's seven Millennium Prize Problems, the Navier-Stokes equations governing fluid motion, has not actually been verified or formally published, and mathematicians including Fields Medalist Terence Tao have pushed back on the framing, noting no confirmed proof or review materials have appeared publicly despite viral social media claims drawing millions of views. This echoes an earlier, separate and more modest claim from Anthropic, whose unreleased research version of Claude made genuine but partial progress on a problem related to the Riemann hypothesis, correctly cautioned by researchers as falling well short of solving the actual million dollar problem itself

Tao has separately warned that if AI companies conceal their actual iteration process and publish only finished proofs, the mathematical community gains almost nothing, since real value lies in the failed approaches and intermediate reasoning rather than a polished final answer alone. Curious what people think this specific privacy concern reveals about researchers increasingly relying on commercial AI tools for genuinely novel, unpublished work, does using a company's own model for private research create an inherent risk that the company itself could end up seeing or benefiting from that same unpublished work

AI may have just solved a million-dollar math problem. The field will never be the samewww.scientificamerican.com