Whoa, AI tackling a Millennium Problem just dropped a huge bombshell! OpenAI and Anthropic are throwing shade at each other Rumor has it that researchers used Claude to solve one of the Millennium Problems: the existence and smoothness of solutions to the Navier–Stokes equations. After the news broke, Sébastien Bubeck from OpenAI claimed their internal model produced around 100 pages in just a few days, corresponding to Fefferman’s C/D framework, with a breakthrough on Navier–Stokes (a necessary solution to the problem). The rumored researcher Buckmaster questioned whether this unconventional approach could realistically lead to a "quick solution," even for OpenAI. He also raised doubts about OpenAI pouring massive computational resources into it, suggesting that since both Claude and OpenAI models were used during the research process, OpenAI might have leveraged insights from Claude’s work to inform their own model’s solution. This drama is definitely worth following, but one thing is undeniable: AI has compressed the timeline for verifying and analyzing Millennium Problems from decades to weeks, or even days. As one of the researchers involved in the project stated in their announcement, this event is undoubtedly the Deep Blue vs. Kasparov moment for mathematical research. From this point forward, mathematicians are just like chess players—no match for AI in the realm of mathematical research.