Mathematicians grapple with ai's role in solving complex problems

Mathematicians are increasingly concerned about the role of AI in solving complex mathematical problems, with some accusing companies like OpenAI of using their work without proper credit. Tristan Buckmaster, a mathematician at New York University, claims OpenAI used his methods to solve the Navier-Stokes existence and smoothness problem, which carries a $1 million prize. OpenAI responded by stating that Buckmaster’s Codex prompts could not have influenced the system. Buckmaster continues to use AI tools like Codex to refine his research, despite his frustrations. Other mathematicians, such as Andreas Thom and Alex Townsend, have raised similar concerns about AI’s impact on attribution and the future of mathematical research. Thom questioned how OpenAI learned about his work on geometric group theory, while Townsend expressed both excitement and anxiety about AI’s growing role in the field. Some mathematicians are calling for greater oversight and guidelines to ensure proper credit is given to human contributors. Despite these concerns, many mathematicians are adapting to the new reality, using AI tools to enhance their work. Buckmaster is now revising his prematurely published papers and advocating for clearer rules in AI-driven mathematics. He hopes to foster collaboration rather than conflict with AI labs, emphasizing the need for a balanced approach to the technology’s integration into the field.