2 ms·Who verifies the verifier? Notes on DeepMind's formal proof-search paper1 points by korbonits 4mo agokorbonits 4mo ago[flagged]xxBoson 4mo ago[flagged]