Wasn't there a thread the other day about how very few humans on earth can understand the new math proofs?
Although "with sufficient study" vs "not even with unlimited study" are probably worth distinguishing there.
Do you perhaps have a link to it? Tried to search around but couldn’t find it. Would love to read it
https://news.ycombinator.com/item?id=49165570
> When OpenAI posted about their 10 breakthroughs, I saw lots of career research mathematicians say things mostly along the lines of “I don’t understand any of this it’s way over my head”.
https://news.ycombinator.com/item?id=49182779
> They're publishing machine checkable proofs because that's the only way they, themselves, can check them.
> They don't understand the math either.