An AI model has produced a solution to the Navier–Stokes Millennium Prize Problem. The solution is accompanied by a writeup and a formal proof implemented in the Lean theorem prover. This represents a significant advancement in the application of AI to complex mathematical problems. The proof is formally verified, offering a level of assurance regarding the solution's correctness. The model’s output is available for review and further investigation. This development demonstrates the potential of AI systems to tackle challenging scientific problems.
Loading