Hacker News new | ask | show | jobs
by Smaug123 2052 days ago
Yes, though waves hands machine learning can in principle be used to create a proof-generator from a proof-checker.