OpenAI fought dirty on career-making math problem
Recorded: Sept. 8, 2026, 9:09 p.m.
| Original | Summarized |
OpenAI fought dirty on career-making math problem, says NYU mathematician | TechCrunch Disrupt 2026: OpenAI, Anthropic, Replit, and more take over 6 industry stages. 25% off tickets now Back by popular demand: Save up to $300 on Disrupt Close TechCrunch Desktop Logo TechCrunch Mobile Logo LatestStartupsVentureAppleSecurityAIAppsDisrupt 2026 EventsPodcastsNewsletters SearchSubmit Site Search Toggle Mega Menu Toggle Topics Latest AI Amazon Apps Biotech & Health Climate Cloud Computing Commerce Crypto Enterprise EVs Fintech Fundraising Gadgets Gaming Government & Policy Hardware Layoffs Media & Entertainment Meta Microsoft Privacy Robotics Security Social Space Startups TikTok Transportation Venture More from TechCrunch Staff Events Startup Battlefield StrictlyVC Newsletters Podcasts Videos Partner Content TechCrunch Brand Studio Contact Us Image Credits:andresr (opens in a new window) / Getty Images AI
OpenAI fought dirty on career-making math problem, says NYU mathematician Russell Brandom 10:32 AM PDT · September 8, 2026
NYU mathematics professor Tristan Buckmaster announced three proofs on Tuesday with a preliminary finding on one of the major unsolved problems in theoretical mathematics. The findings, made in collaboration with Anthropic mathematician Levent Alpöge and using both Codex and Claude AI models, are significant in themselves — but they’re also accompanied by an unusual controversy surrounding OpenAI’s attempts to solve the same problem. Shortly after the Buckmaster’s statement, OpenAI published a full proof of the Navier–Stokes existence and smoothness problem, which Buckmaster’s findings had taken steps towards. According to OpenAI, the proof was discovered by an unreleased next-generation model, which has tackled a range of different unsolved problems over the past week. All told, the week-long effort consumed 300 billion output tokens — $22.5 million worth of compute, if charged at current Astra rates. OpenAI’s post confirms much of this timeline, specifically saying that the latest effort began on September 1, inspired by rumors that two Millenium Prize problem had been solved. Additionally, the post confirms the ongoing conversations with Buckmaster and Alpöge. While Alpöge is employed by Anthropic, he was not conducting this research on the company’s behalf. As a result, the duo used a mix of models, relying primarily on OpenAI’s Codex in their work. Even so, Alpöge’s affiliation with a rival lab seems to have been a sore point for OpenAI, and Buckmaster alleges that Bubeck asked him to remove Alpöge’s credit as part of a proposed compromise. Topics AI, mathematics When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.
Russell Brandom AI Editor Russell Brandom has been covering the tech industry since 2012, with a focus on platform policy and emerging technologies. He previously worked at The Verge and Rest of World, and has written for Wired, The Awl and MIT’s Technology Review. View Bio October 13 – 15 Don’t miss out. The startup community will gather to answer a pivotal question: How do you build sustainably in the AI era? REGISTER NOW Most Popular A secret new Elizabeth Holmes documentary stuns Telluride Connie Loizos TechCrunch Mobility: Tesla Cybercab hits the road — and a snag Kirsten Korosec Hikers rescued after using Google Gemini for planning Anthony Ha Feds launch investigation into Tesla’s Cybercab deployment Sean O'Kane Tesla is asking people if they want to buy and run Cybercab fleets Kirsten Korosec Norway considers ban on camera-enabled wearable ‘pervert glasses’ Zack Whittaker Uber is laying off 10% of staff, or 3,300 people Ram Iyer Loading the next article Error loading the next article X TechCrunchStaffContact UsAdvertiseSite Map © 2026 TechCrunch Media LLC. |
A dispute has arisen concerning the use of artificial intelligence models in solving complex mathematical problems, specifically involving the Navier–Stokes existence and smoothness problem. NYU mathematics professor Tristan Buckmaster announced proofs related to one of these unsolved problems through collaborative work with Anthropic mathematician Levent Alpöge, utilizing AI models such as Codex and Claude. This announcement was complicated by conflicting claims regarding OpenAI’s parallel efforts to address the same mathematical challenge, leading to academic rivalry over the process and attribution of research. Buckmaster and Alpöge discovered that information regarding their progress on the problem had been shared with OpenAI. When they contacted the company, they were informed that OpenAI had already achieved a full proof of the central issue. However, follow-up inquiries about the timeline and human input involved were met with evasive answers. Buckmaster suggested that an entire team collaborated on the problem and that a significant amount of computational power was utilized. It emerged that the initial prompt suggesting their approach had been sent to OpenAI after information about their work had reached them, implying that the OpenAI team may have adopted their methodology and leveraged computational resources to reach a formal proof. OpenAI subsequently published a full proof of the Navier–Stokes existence and smoothness problem, reportedly achieved by an unreleased next-generation model in a week-long effort that consumed 300 billion output tokens and valued at $22.5 million in compute costs. This problem is one of the seven Millennium Prize problems, carrying a one million bounty from the Clay Mathematics Institute for its solution, and involves understanding the behavior of fluid mechanics where the Navier–Stokes equations are widely used but theoretically poorly understood. Buckmaster noted that the specific route taken by him and his collaborator involved a particular set of mathematical steps, which he believed was unique compared to other approaches. He expressed suspicion that OpenAI adopted this same strategy simultaneously, which fueled the controversy. Furthermore, concerns were raised regarding credit and access; Buckmaster alleged that Bubeck asked Alpöge to remove his credit, and Buckmaster suggested that information derived from his work, processed through Codex, could have informed OpenAI's efforts. In response, OpenAI minimized the possibility of regurgitation, stating that they did not access specific user data to solve the problem, though they conceded that de-identified data derived from product usage might have indirectly improved their models. Despite this, the differing proofs and results found by the parties remain a point of contention, likely reigniting the debate surrounding the role of AI in mathematical research and the incentives driving organizations like OpenAI. |