by simianwords 16 hours ago If OpenAI actually spent time writing good proofs that are readable, mathematicians would show *even more outrage*. So let’s not pretend this has anything to do with readability. It has all to do with people protecting their status in society.
Stereotyping mathematicians, well played sir.
You just wait. This will come :)