Comment by palmotea

> Without a thriving mathematical community to point out these things it would have stayed broken.

And that's a bad thing. If the math community didn't exist or was weak, OpenAI would still benefit from the prestige of these results they were forced to withdraw. Withdrawing these papers has harmed OpenAI's investors, and that's totally unacceptable.

> With automated math that community as tao pointed out is at risk.

Good to hear. The problem they represent needs to be eliminated.