← Back to context Comment by grey-area 5 months ago In a very real sense it doesn’t even know that it doesn’t know. 1 comment grey-area Reply eru 5 months ago Maybe. But in math you can either produce the proof (with each step checkable) or you can't.
eru 5 months ago Maybe. But in math you can either produce the proof (with each step checkable) or you can't.
Maybe. But in math you can either produce the proof (with each step checkable) or you can't.