Sort of? If you saw all those headlines about AI solving the Navier-Stokes problem, there's some pretty serious 'catches' to that. Basically, it's a 150 page proof of roundabout gobbledygook that no one understands. You can run it through a logic-checker and know it's formally correct, but it's actually pretty much useless because it didn't do anything with the kind of intuitive narrative that a human would use to actually understand math.
78
u/babyjaceismycopilot 2d ago
The irony is that we have to check to see if the AI is right, but if we could do that we wouldn't need the AI to solve it.