2 ms·
Yes, though waves hands machine learning can in principle be used to create a proof-generator from a proof-checker.
by Smaug123 6y ago
Yes, though waves hands machine learning can in principle be used to create a proof-generator from a proof-checker.