OpenAI's latest AI breakthrough in solving a Millennium Prize Problem has sparked a storm of controversy. The company's models, it seems, were inspired by the work of NYU mathematician Tristan Buckmaster and Anthropic employee Levent Alpöge, but failed to acknowledge their contributions. This raises questions about the future of mathematical research: are AI models the new trailblazers, or will human mathematicians gradually cede the spotlight?

The Navier–Stokes existence and smoothness problem, one of the seven unsolved Millennium Prize Problems, has now been addressed by OpenAI. However, the origins of the solution remain murky. OpenAI denies any use of Buckmaster and Alpöge’s work, yet their proofs share striking similarities. The controversy hints at a future where AI might dominate, leaving mathematicians to wonder about their role in this new landscape.

This episode highlights the growing reliance on AI in solving complex mathematical challenges, potentially rendering some human mathematicians obsolete. If true, it could herald a new era where AI is the primary driver of mathematical progress, with humans playing a supporting role. Yet, it also suggests that human intuition and direction may still hold a crucial role in guiding AI towards breakthroughs.

The Clay Mathematics Institute’s million-dollar prize, dangling like a carrot, adds another layer of complexity. OpenAI’s reluctance to claim the prize might suggest a recognition of the human contribution, or a strategic move to avoid the controversy. Regardless, the issue underscores the evolving relationship between human intellect and artificial intelligence in the pursuit of mathematical knowledge.