Academic mathematicians are navigating a complex relationship with AI labs following allegations that companies used human research without proper attribution to claim breakthroughs on famous mathematical problems. NYU professor Tristan Buckmaster accused OpenAI of utilizing his prompts and work to solve the Navier-Stokes problem. Despite the dispute, Buckmaster and other researchers continue using coding agents like Codex and Claude due to their utility in verifying logical steps.
Why it matters
Intellectual property and attribution disputes between researchers and frontier AI labs are escalating as agents tackle complex domains.
Academic reliance on proprietary frontier models gives AI labs immense leverage over scientific workflows and discovery pipelines.
Source: wired.com
