Real Time Machine Proof Research