| ▲ | paulpauper 3 hours 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 an hour ago | parent [-] | |
You clearly didn't read the paper. | ||
| ▲ | paulpauper 3 hours 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 an hour ago | parent [-] | |
You clearly didn't read the paper. | ||