| ▲ | azan_ an hour ago |
| AI agents that can solve frontier math problems, something that few years ago was decades away. |
|
| ▲ | greggoB 39 minutes ago | parent | next [-] |
| > something that few years ago was decades away. There's no way of knowing this - I see articles fairly often on HN of mathematicians (sometimes grad students or younger) solving problems where progress previously had stalled. |
| |
| ▲ | azan_ 36 minutes ago | parent [-] | | What I meant was not that these problems wouldn't get solved for decades, but that few years ago (before advent of LLMs) if you've asked average researcher how far away are we from AI solving unsolved math problems, the median answer would be that we are far, far away from that. |
|
|
| ▲ | wiseowise an hour ago | parent | prev | next [-] |
| Thank god they can do it now! I'm willing to add thousands more to my bills, I'm sure AGI is around the corner and will make life so much easier. |
| |
| ▲ | azan_ 38 minutes ago | parent [-] | | You don't need AGI. If AI progress stopped right now, LLMs would still be amazing and extremely useful technology. It already makes life for many much easier. But it's easy to miss it when you are entombed in anti-AI bubble. But I've got something that may placate your fears - remember that horses did not vote. |
|
|
| ▲ | pesus an hour ago | parent | prev | next [-] |
| Well, that's surely worth sacrificing people's livelihood for. |
| |
| ▲ | azan_ 40 minutes ago | parent [-] | | Yes, same as industrial revolution was worth sacrificing people's livelihood, because in the end we are much better off. |
|
|
| ▲ | nathanmills an hour ago | parent | prev [-] |
| LOL |
| |
