Mathematician Tristan Buckmaster believes OpenAI used his work to rush ahead and beat him to solving a legendary math problem with a $1 million bounty.
\n\nBut that’s not been enough for him to stop using the company’s models—and he’s not the only mathematician that feels that way.
\n\n“Even if you don't agree with any of this, you're kind of stuck. With AI being so useful, it's hard to completely prevent oneself from using it,” Buckmaster tells WIRED. “These companies have a monopoly, and there is not much choice,” he adds.
\n\nIn the week and half since the New York University professor accused OpenAI of copying his approach, Buckmaster has been using the company’s coding agent Codex to tidy up his research papers. When he has time to do math (which he says is rare, since the fallout thrust him into the spotlight), the tool has been helping him understand the logical steps OpenAI’s agents might have taken to get from his earlier workings to the final proof.
\n\nBuckmaster had used Codex as well as Anthropic’s competing Claude to work on what’s known as the Navier-Stokes existence and smoothness problem, alongside Anthropic researcher Levent Alpöge. OpenAI deployed tens of thousands of…
Original source: https://www.wired.com/