A theoretical computer scientist says he has heard rumors that AI labs are sitting on major solutions after a hostile response to the Navier-Stokes proof

The ability to solve major mathematical problems with AI will soon accelerate the pace of scientific discovery, potentially making human expertise in certain fields obsolete.

Theoretical computer scientist Scott Aaronson claims that AI labs are concealing significant breakthroughs, citing a hostile reaction to AI's involvement in solving the Navier-Stokes Millennium Problem as evidence. He argues that AI has reached a point where it is solving major mathematical problems, as demonstrated by OpenAI's solution to Navier-Stokes, which reportedly cost millions in compute power and has not yet been fully understood by humans. This development, alongside a surge in AI contributions to other complex mathematical proofs, leads Aaronson to believe the "Singularity" has begun, albeit unevenly. He observes a trend where AI is increasingly central to research, from proof generation to verification, forcing a reevaluation of traditional academic careers and the relevance of human mathematicians.

The assertion that AI labs are withholding major solutions suggests a competitive dynamic where foundational breakthroughs are kept proprietary until strategic advantages are secured. This could lead to an arms race in AI development, with implications for who controls or benefits from these advanced capabilities. The lack of transparency surrounding the Navier-Stokes solution and the dispute over credit highlight the challenges in integrating AI-generated research into the existing scientific framework. As AI continues to advance, the definition of authorship and intellectual property in scientific discovery will need to be fundamentally re-examined.

This marks a significant shift in the landscape of advanced research, where human mathematicians may no longer be the primary drivers of theoretical breakthroughs. The increasing reliance on AI for complex problem-solving, as evidenced by the Navier-Stokes proof, indicates a future where scientific progress is heavily augmented or even led by artificial intelligence. Consequently, educational systems and career paths in STEM fields will need to adapt rapidly to prepare individuals for a collaborative or subservient role alongside AI in scientific endeavors.