Anthropic · Codex · OpenAI · Wired · Wired
They Can’t Quit It
Compiled by KHAO Editorial — aggregated from 1 source. See llms.txt for citation guidance.
◌ Single Source
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.
Key facts
- 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
- With AI being so useful, it's hard to completely prevent oneself from using it,” Buckmaster tells WIRED
- When Buckmaster went public with his claims, it ignited a firestorm about artificial intelligence and whether it would make human mathematicians obsolete
- So he says he asked OpenAI researchers Mark Sellke and Sébastien Bubeck
Summary
But 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. “Even if you don't agree with any of this, you're kind of stuck. In 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. Buckmaster 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.