OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul (www.wired.com)

OpenAI has announced a significant breakthrough by claiming to have found an AI-generated solution to the Navier-Stokes equation, a 200-year-old problem crucial to understanding fluid dynamics. This achievement highlights the potential of AI to advance mathematical research, particularly through a new AI model that utilized extensive computational resources—costing millions—to explore this complex problem. The lead researcher, Sebastien Bubeck, revealed that over 1,000 agents worked on the solution for more than 50 hours, formalizing it in Lean, a programming language designed for proving mathematical assertions. However, the announcement has sparked controversy, as mathematician Tristan Buckmaster and researcher Levent Alpöge allege that OpenAI rushed to solve the equation after becoming aware of their progress. They claim that OpenAI attempted to influence author recognition and credit for the work, raising concerns about transparency in AI research practices. Despite OpenAI's insistence that they did not use Buckmaster and Alpöge’s contributions in their solution, the incident underscores the potential for disputes over intellectual credit in an era where AI tools increasingly assist in mathematical discovery. As AI continues to play a pivotal role in solving complex mathematical problems, these conflicts may become more prevalent in the research community.