> AI helps organize what has already been written by humans and was technically self-evident from our work.
I am not 100% sure about the "self-evident" part here.
To your point: yes, AI doesn't come up with new axioms. But then we enter the topic of "math is invented or discovered?". Each of the discoveries are logical consequences of the axioms, but that doesn't mean they were "self-evident", especially for humans.
If everything was already self-evident, AI would just be a useless tautological machine. However, I think it is more than just that
I am not 100% sure about the "self-evident" part here.
To your point: yes, AI doesn't come up with new axioms. But then we enter the topic of "math is invented or discovered?". Each of the discoveries are logical consequences of the axioms, but that doesn't mean they were "self-evident", especially for humans.
If everything was already self-evident, AI would just be a useless tautological machine. However, I think it is more than just that