That just proves that these tools do not possess any kind of intelligence at all. They're great at bruteforcing, precisely because it doesn't require any intelligence. I don't expect them to solve any of the millenium problems that cannot be brute-forced. In addition, as far as, I know the navier-stokes solution has not been verified yet.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments