

“While the original proof produced by AI was completely valid, it was significantly improved by the human researchers at OpenAI and the many other mathematicians involved in the present paper. The human still plays a vital role”.
I.e. calculators and slide rules were useful tools as well.








But then you can’t read the text.