and you can be sure mathematicians spent way more than 80 hrs on it
reply80 minutes! 80 minutes of just trying shit!
reply... shit that solved an apparently significant Erdős problem.
replyThat is not nothing, no matter how much you hate AI.
It shows that AI is apparently very good at brute-forcing.
replyAre the human mathematicians who wanted to solve this problem just too stupid to brute force for 80 minutes?
replyThis isn't brute force.
replyIt is in the same way that educated guessing is.
replyCare 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".
reply