3 ms·
> Wasn't there a thread the other day about how very few humans on earth can understand the new math proofs? Do you perhaps have a link to it? Tried to search
by Alifatisk 2mo ago
> Wasn't there a thread the other day about how very few humans on earth can understand the new math proofs?
Do you perhaps have a link to it? Tried to search around but couldn’t find it. Would love to read it
- andai 2mo ago> "Already, there are very few mathematicians qualified to verify OpenAI’s new results. As progress continues, that number will approach zero." https://news.ycombinator.com/item?id=49165570 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 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. https://news.ycombinator.com/item?id=49183817 https://news.ycombinator.com/item?id=49183817
- Alifatisk 2mo agoThank you!