> "Already, there are very few mathematicians qualified to verify OpenAI’s new results. As progress continues, that number will approach zero." https://news.yc

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