← Back to context Comment by karlgkk 10 hours ago Also just the sheer value of brute force.80 hours! 80 hours of just trying shit! 12 comments karlgkk Reply FrasiertheLion 10 hours ago It's 80 minutes, not 80 hours. jasonfarnon 10 hours ago and you can be sure mathematicians spent way more than 80 hrs on it ChrisGreenHeur 10 hours ago 80 minutes! 80 minutes of just trying shit! peteforde 10 hours ago ... shit that solved an apparently significant Erdős problem.That is not nothing, no matter how much you hate AI. 5 replies → brokencode 10 hours ago How long do you figure it’d take to solve the problem yourself?
FrasiertheLion 10 hours ago It's 80 minutes, not 80 hours. jasonfarnon 10 hours ago and you can be sure mathematicians spent way more than 80 hrs on it ChrisGreenHeur 10 hours ago 80 minutes! 80 minutes of just trying shit! peteforde 10 hours ago ... shit that solved an apparently significant Erdős problem.That is not nothing, no matter how much you hate AI. 5 replies →
ChrisGreenHeur 10 hours ago 80 minutes! 80 minutes of just trying shit! peteforde 10 hours ago ... shit that solved an apparently significant Erdős problem.That is not nothing, no matter how much you hate AI. 5 replies →
peteforde 10 hours ago ... shit that solved an apparently significant Erdős problem.That is not nothing, no matter how much you hate AI. 5 replies →
It's 80 minutes, not 80 hours.
and you can be sure mathematicians spent way more than 80 hrs on it
80 minutes! 80 minutes of just trying shit!
... shit that solved an apparently significant Erdős problem.
That is not nothing, no matter how much you hate AI.
5 replies →
How long do you figure it’d take to solve the problem yourself?