Comment by jansport123
1 hour ago
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.
>Certainly, you are naive if you think they are doing this stuff for the benefit of humanity or a goal of advancing mathematical knowledge.
Certainly you are cynical if you think it won't benefit humanity or advance mathematical knowledge.
Who knows, If compute keeps dumping proofs for problems but no one knows their correctness because mathematicians stop investing their time in understanding these proofs, then you can't even really use the results or you can use it in the same sense you use stuff you don't really understand: You trust the author. With humans, there is a certain level of trust in people and institutions - with AI, we aren't really there yet.
Certainly, you are feigning ignorance about them not caring about this but for IPO hyping.