> "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.