In a very real sense it doesn’t even know that it doesn’t know.
Maybe. But in math you can either produce the proof (with each step checkable) or you can't.
alt Hacker News
Maybe. But in math you can either produce the proof (with each step checkable) or you can't.