alt Hacker NewsIt solved the navier stokes millennium prize problem without any reasoning? I could maybe believe it if it was just something like deep blue searching in axiom space with lean with some simple heuristics, but in this case the formalization came after as a separate step.
The version that you use in your browser is not capable of this though
It's important to remember that "AI" is a pretty big spectrum right now. The cutting edge is not exactly available to consumers like us, and it probably never will actually be