> 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
back
1 comments
> "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
> 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.
Thank you!