Navier–Stokes problem

Mathematical puzzle reportedly solved by OpenAI in less than a week, cited as evidence that AI mathematical breakthroughs can transfer to software verification.

AI Leverages Mathematical Breakthroughs to Target Software Bugs and Cybersecurity Threats