Latest / Science News Today | 2 Min News | The Daily News Now!
AI Solves Millennium Math Problem | Science News
OpenAI just stunned the math world by claiming its AI has cracked one of the seven Millennium Problems — the hardest puzzles in math, each worth $1 million. The breakthrough? Solving a key part of the Navier-Stokes equations, which govern fluid motion, proving under rare conditions they can produce impossible results like infinite fluid speed. Verified with Lean, a formal proof language, the claim has sparked debate: some say OpenAI may have gotten insider tips from mathematicians, while others are amazed at how an AI could independently solve such a problem. The math community is buzzing —…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.