‘Immature playground boasting’: Mathematicians uneasy at OpenAI’s latest scalp

A conflict has emerged between some of the world's leading mathematicians and artificial intelligence companies, prompting a crucial question in the AI debate: what happens when machines tackle problems that humans have grappled with for decades? Twenty-five Fields Medal winners, considered the pinnacle of mathematical achievement, have cautioned that AI companies' pursuit of unsolved problems may cause lasting harm to the field.A joint letter, published on mathematician Terence Tao's blog, was signed by notable mathematicians from five decades of Fields Medal history, including Tao, Pierre Deligne, and Yu Deng.

Their primary concern is not the exclusion of AI from mathematics, but the fundamental purpose of mathematical research.Matthews are angry with OpenAI following the company's claim that an unreleased AI model solved the Navier-Stokes problem, one of the seven Millennium Prize Problems. Solving this problem is just one aspect of the mathematical research process, as the journey towards the answer and the conceptual understanding gained are equally valuable.The mathematicians argue that solving problems serves as a tool and proxy for achieving the primary goal of conceptual understanding and insight.

The rapid generation of potential solutions by AI systems raises concerns about the verification, explanation, and establishment of the validity of these results, often requiring significant time and effort from human mathematicians.The Navier-Stokes controversy sparked the dispute, with OpenAI claiming their AI agents solved the Millennium Prize version of the problem after 88 hours of work.

However, NYU mathematician Tristan Buckmaster accused OpenAI of using research he and Anthropic's Levent Alpoge had been developing for months. OpenAI denied any knowledge of their work, intensifying the debate about the reliability of AI-generated mathematical breakthroughs.Mathematicians have coined the term 'slop mathematics' to describe the growing issue of AI systems producing numerous possible results at an astonishing pace, requiring human researchers to spend substantial time verifying and validating these claims.

This labor is often done without compensation, credit, or acknowledgment, contributing to the heated nature of the debate.OpenAI has withdrawn its support for a Caltech mathematics event, citing concerns about the potential destructive impacts of AI in mathematical research. The 'mathathon' was designed to allow young mathematicians to use AI tools while tackling complex problems, but Caltech mathematicians cautioned that the program could have detrimental effects on the mathematical community.