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?
This isn't brute force.
alt Hacker News
Are the human mathematicians who wanted to solve this problem just too stupid to brute force for 80 minutes?