4 ms·Maybe. But in math you can either produce the proof (with each step checkable) or you can't.by eru 1y agoMaybe. But in math you can either produce the proof (with each step checkable) or you can't.