← Back to context Comment by ChrisGreenHeur 13 hours ago 80 minutes! 80 minutes of just trying shit! 6 comments ChrisGreenHeur Reply peteforde 12 hours ago ... shit that solved an apparently significant Erdős problem.That is not nothing, no matter how much you hate AI. userbinator 12 hours ago It shows that AI is apparently very good at brute-forcing. TOMDM 12 hours ago Are the human mathematicians who wanted to solve this problem just too stupid to brute force for 80 minutes? alex_sf 12 hours ago This isn't brute force. 2 replies →
peteforde 12 hours ago ... shit that solved an apparently significant Erdős problem.That is not nothing, no matter how much you hate AI. userbinator 12 hours ago It shows that AI is apparently very good at brute-forcing. TOMDM 12 hours ago Are the human mathematicians who wanted to solve this problem just too stupid to brute force for 80 minutes? alex_sf 12 hours ago This isn't brute force. 2 replies →
userbinator 12 hours ago It shows that AI is apparently very good at brute-forcing. TOMDM 12 hours ago Are the human mathematicians who wanted to solve this problem just too stupid to brute force for 80 minutes? alex_sf 12 hours ago This isn't brute force. 2 replies →
TOMDM 12 hours ago Are the human mathematicians who wanted to solve this problem just too stupid to brute force for 80 minutes?
... shit that solved an apparently significant Erdős problem.
That is not nothing, no matter how much you hate AI.
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.
2 replies →