alt Hacker Newslol same with people.
"Given infinite thinking time a finite number of humans will solve all theorems"
I also love the angle that this was not intelligence just brute force. As if the mathematicians didn't reeaaally want to solve this they were just too lazy to give it a good try.
What does AI have to actually do before you realize these things are actually smart?
Replies
glimshe • yesterday at 3:59 PM
This isn't necessarily true. There may be proofs so complex, they could exceed the limit of human cognition.
➕ show 1 reply
Machines have a much higher capacity for work than human beings. Saying that these proofs did not require equivelant intelligence, but benefitted from sheer volume, does not strike me as unreasonable.