3 ms·
It will be the same as before: some effort will go into checking proofs and the other into creating them. AI speeds up both.
by paulpauper 2mo ago
It will be the same as before: some effort will go into checking proofs and the other into creating them. AI speeds up both.
- cubefox 2mo agoYou clearly didn't read the paper.