3 ms·
The problem is that there will be far more formally verified proofs than that human mathematicians around the world can read, much less explain. What then? Woul
by raincole 2mo ago
The problem is that there will be far more formally verified proofs than that human mathematicians around the world can read, much less explain. What then? Would the role of mathematicians just become explainers of AI generated proofs?
- chrisjj 2mo agoThen with no way to prove the explanations, anyone can be a "mathematician".