How do you know that what a human says they formalized is actually formalized?
Well, a human is limited in how much they can formalize, as per the article. So if you're really careful, you can check over what they wrote.
The computer could generate a huge document, how would you check that it's right?
alt Hacker News
Well, a human is limited in how much they can formalize, as per the article. So if you're really careful, you can check over what they wrote.
The computer could generate a huge document, how would you check that it's right?