Are these math proofs as impressive as the stories make it sound, or are there just a bunch of not that hard unsolved math proofs because no one bothered solving them yet?
The AI math proofs are impressive. But also probably among the hardest things for normies to appreciate. Personally, I think the AI labs underweight the value of putting bandwidth into achieving results that impress normies as opposed to evals/people within the peer group.