AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503
OpenAI AI systems claim to have solved Navier-Stokes, quasi-Riemann hypothesis, and unique games conjecture
“I am horrified by the many person-years of ongoing patient and deliberately slow research efforts, particularly by graduate students and postdocs, toward many motivating problems in mathematics being casually disrupted or destroyed by such a release.”
OpenAI released results claiming AI has solved several of the hardest open problems in mathematics, including Navier-Stokes, a quasi-Riemann hypothesis result, and the unique games conjecture, producing shock across the mathematical community. Fields Medalist Terence Tao and others expressed grief over the disruption to ongoing research efforts, particularly the impact on graduate students and postdocs whose research trajectories are now invalidated. The episode marks a potential inflection point in AI's ability to advance frontier mathematics, with experts divided between existential dread and cautious optimism.