Maybe. But in math you can either produce the proof (with each step checkable) or you can't.