Comment by jansport123

they could have definitely written it better and put more effort into it. As it is, they have real gripes with how openai is doing things and i think they should have concretely listed their objections. Either way, if OpenAI dumps a gazillion proofs, who actually is going to read them, understand them, assess their correctness etc... ? If no one is doing that, is that problem really "solved" ? So OpenAI just dumps proofs and calls it a day, or this trillion dollar company can spend some effort engaging with mathematicians but really OpenAI doesn't really care about Math, they want to prove that their frontier intelligence can just do it all before they IPO. You say the authors are trying to maintain their power, but what is OpenAI doing? Certainly, you are naive if you think they are doing this stuff for the benefit of humanity or a goal of advancing mathematical knowledge.