Except everyone can see and feel an operating system, unlike the exotic math 'proofs' that may or may not be verified at some point.