Powerful AI models have created an existential risk to the field, but researchers can’t stop relying on them because they’re too useful.

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

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. 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

जब से न्यूयॉर्क विश्वविद्यालय के प्रोफेसर ने ओपनएआई पर उनके दृष्टिकोण की नकल करने का आरोप लगाया है, तब से बकमास्टर अपने शोध पत्रों को व्यवस्थित करने के लिए कंपनी के कोडिंग एजेंट कोडेक्स का उपयोग कर रहा है। जब उसके पास गणित करने का समय होता है (जो वह कहता है कि दुर्लभ है, क्योंकि नतीजों ने उसे सुर्खियों में ला दिया है), उपकरण उसे उन तार्किक कदमों को समझने में मदद कर रहा है जो ओपनएआई के एजेंटों ने उसके पहले के कामकाज से अंतिम प्रमाण तक पहुंचने के लिए उठाए होंगे।

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. OpenAI deployed tens of thousands of agents to reach the solution, but only after it learned the equation was close to being solved, Buckmaster says

जब बकमास्टर अपने दावों के साथ सार्वजनिक हुए, तो इससे कृत्रिम बुद्धिमत्ता के बारे में आग भड़क उठी और क्या यह मानव गणितज्ञों को अप्रचलित बना देगा। इसने ओपनएआई को एक जांच करने और नेवियर-स्टोक्स को हल करने के बारे में अपनी घोषणा में संशोधन करने के लिए प्रेरित किया, यह कहने के लिए कि "इस बात की पुष्टि की गई है कि इस घोषणा से पहले के दो महीनों में बकमास्टर के कोडेक्स संकेत और 8 सितंबर, 2026 को पेपर, किसी भी तरह से सिस्टम को प्रभावित नहीं कर सकता था, जिसमें प्रशिक्षण भी शामिल था।" कंपनी ने WIRED को एक ईमेल में अपनी घोषणा की ओर इशारा किया

Showing that AI was pushing the boundaries of mathematics was “more important than the result,” Buckmaster says. But churning out solutions to long-standing math problems without fully crediting the human work undergirding them—especially ahead of major IPOs—is irresponsible and “childish,” he says

Other mathematicians have raised similar concerns. Only a handful of people on the planet understand the techniques in geometric group theory that German mathematician Andreas Thom has dedicated the last two decades to developing. So when OpenAI said in August that its Astra model had used them to prove a long-standing problem he had been working on, “I was amazed,” says Thom. “And of course I was wondering, how did they learn about it?”

So he says he asked OpenAI researchers Mark Sellke and Sébastien Bubeck. In an August email, he pointed out that the firm’s assertion that “no progress” had been made on the problem in the last decade overlooked a 2019 paper of his, as well as other mathematicians’ work. The company amended its press release. He and a colleague had been using ChatGPT to assist their work on the problem in the months running up to the result, but when he asked if their interactions had been fed into training data, Thom says Sellke replied: “That did not happen.”