Will it be possible in future to prepare proofs developed in cutting-edge mathematical research with a reasonable amount of human effort so that they can be verified by computers in real time? Prof.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback