OpenAI recently announced that its AI agents have solved the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems, which typically carries a one million dollar prize. However, the announcement has been overshadowed by accusations that OpenAI utilized the AI-assisted work of NYU mathematician Tristan Buckmaster and Anthropic employee Levent Alpöge without proper credit. OpenAI has denied these allegations, stating that its team was inspired to pursue the problem after hearing rumors about Buckmaster and Alpöge’s efforts, but did not access their transcripts. The controversy raises questions about the role of human mathematicians in an era where AI models, particularly those developed by frontier AI companies, may be essential for solving major mathematical problems, often with significant computational resources that are beyond the reach of most academic researchers.

The episode suggests a potential shift in the landscape of mathematical research, where the hard work of human mathematicians might be crucial for guiding AI models toward promising approaches, yet the actual solution could be achieved by well-resourced AI systems. This dynamic could marginalize the contributions of human mathematicians, who traditionally benefit from collaborative efforts and the iterative process of exploring incorrect paths and partial solutions—processes that are vital for the broader advancement of the field. The concern is that if AI companies continue to secure major mathematical accolades using opaque, high-cost methods, it may leave fewer opportunities for human mathematicians outside these companies, potentially altering the nature and progress of mathematical research.

This is a summary. Read the original at technologyreview.com.