4 ms·
I guess they are at a difficulty where it's not too hard (unlike millennium prize problems), is fairly tightly scoped (unlike open ended research), and has some
by krackers 9mo ago
I guess they are at a difficulty where it's not too hard (unlike millennium prize problems), is fairly tightly scoped (unlike open ended research), and has some gravitas (so it's not some obscure theorem that's only unproven because of it's lack of noteworthiness).
- Davidzheng 9mo agoI actually don't think the reason is that they are easier than other open math problems. I think it's more that they are "elementary" in the sense that the problems usually don't require a huge amount of domain knowledge to state.
- xigoi 9mo agoThe Collatz conjecture can be stated using basic arithmetic, yet LLMs have not been able to solve it.
- Davidzheng 9mo agoI agree it's easier than Collatz. I just mean I am not sure it's much easier than many currently open questions which are less famous but need more machinery.
- _fizz_buzz_ 9mo agoThat is also one of the hardest problems.