← Back to context Comment by FrasiertheLion 10 hours ago It's 80 minutes, not 80 hours. 8 comments FrasiertheLion Reply 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. userbinator 10 hours ago It shows that AI is apparently very good at brute-forcing. 4 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. userbinator 10 hours ago It shows that AI is apparently very good at brute-forcing. 4 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. userbinator 10 hours ago It shows that AI is apparently very good at brute-forcing. 4 replies →
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.
It shows that AI is apparently very good at brute-forcing.
4 replies →