4 ms·
Also just the sheer value of brute force. 80 hours! 80 hours of just trying shit!
by karlgkk 6mo ago
Also just the sheer value of brute force.
80 hours! 80 hours of just trying shit!
- FrasiertheLion 6mo agoIt's 80 minutes, not 80 hours.
- ChrisGreenHeur 6mo ago80 minutes! 80 minutes of just trying shit!
- peteforde 6mo ago... shit that solved an apparently significant Erdős problem. That is not nothing, no matter how much you hate AI.
- userbinator 6mo agoIt shows that AI is apparently very good at brute-forcing.
- alex_sf 6mo agoThis isn't brute force.
- userbinator 6mo agoIt is in the same way that educated guessing is.
- userbinator 6mo agoCare to actually refute? Interesting that even an LLM would give an attempt at it, but apparently those who only bother to hit the downvote button aren't even meeting that level of "intelligence".
- alex_sf 6mo ago> It is in the same way that educated guessing is. I guess (heh) it depends on your definition of 'educated guessing'? Looking at the problem, considering a solution, discarding it, trying another and testing, iteratively, is how most people would approach any tricky problem. Brute force is substantially different. It would be saying that, other than maybe setting some basic bounds and heuristics, I'm going to try literally everything and test each. That's not at all what the LLM did here.
- TOMDM 6mo agoAre the human mathematicians who wanted to solve this problem just too stupid to brute force for 80 minutes?
- jasonfarnon 6mo agoand you can be sure mathematicians spent way more than 80 hrs on it
- deleted 6mo ago[deleted]
- deleted 6mo ago[deleted]
- brokencode 6mo agoHow long do you figure it’d take to solve the problem yourself?