3 ms·
How do you know that what a human says they formalized is actually formalized?
by 0xbadcafebee 24d ago
How do you know that what a human says they formalized is actually formalized?
- lordnacho 24d agoWell, 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?
- 0xbadcafebee 23d agoMy point is, you will always have to check the work, no matter who makes it or how. If you can't check it, then don't rely on it. If you can check it, then do rely on it. Basic due diligence. I don't get what the controversy is about. Are people expecting AI to be perfect? Do they think they won't have to do the work to verify it themselves?