← Back to context

Comment by userbinator

11 hours ago

It shows that AI is apparently very good at brute-forcing.

Are the human mathematicians who wanted to solve this problem just too stupid to brute force for 80 minutes?