| ▲ | karlgkk 7 hours ago |
| Also just the sheer value of brute force. 80 hours! 80 hours of just trying shit! |
|
| ▲ | FrasiertheLion 7 hours ago | parent | next [-] |
| It's 80 minutes, not 80 hours. |
| |
| ▲ | jasonfarnon 7 hours ago | parent | next [-] | | and you can be sure mathematicians spent way more than 80 hrs on it | |
| ▲ | ChrisGreenHeur 7 hours ago | parent | prev [-] | | 80 minutes! 80 minutes of just trying shit! | | |
| ▲ | peteforde 7 hours ago | parent [-] | | ... shit that solved an apparently significant Erdős problem. That is not nothing, no matter how much you hate AI. | | |
| ▲ | userbinator 7 hours ago | parent [-] | | It shows that AI is apparently very good at brute-forcing. | | |
| ▲ | TOMDM 6 hours ago | parent | next [-] | | Are the human mathematicians who wanted to solve this problem just too stupid to brute force for 80 minutes? | |
| ▲ | alex_sf 7 hours ago | parent | prev [-] | | This isn't brute force. | | |
| ▲ | userbinator 5 hours ago | parent [-] | | It is in the same way that educated guessing is. | | |
| ▲ | userbinator 18 minutes ago | parent [-] | | Care 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". |
|
|
|
|
|
|
|
| ▲ | brokencode 7 hours ago | parent | prev | next [-] |
| How long do you figure it’d take to solve the problem yourself? |
|
| ▲ | 7 hours ago | parent | prev | next [-] |
| [deleted] |
|
| ▲ | 7 hours ago | parent | prev [-] |
| [deleted] |
