> but that an AI system may have produced new mathematical knowledge that humanity did not have before
From the expose in Terence Taos blog [1], it seems the difficulty of the Navier-Stokes counter example is a delicate balancing act between having a blow-up solution and a well behaved force field. And this involves a lot of technical arguments based on already existing ideas.
If this is true, then the achievement of the AI is rather to correctly navigating this balancing than inventing something completely new.
From the expose in Terence Taos blog [1], it seems the difficulty of the Navier-Stokes counter example is a delicate balancing act between having a blow-up solution and a well behaved force field. And this involves a lot of technical arguments based on already existing ideas.
If this is true, then the achievement of the AI is rather to correctly navigating this balancing than inventing something completely new.
[1] https://terrytao.wordpress.com/2026/09/07/finite-time-blowup...