Comment by Legend2440
3 hours ago
>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.