Omohundro, S. (2024) “Progress in Superhuman Theorem Proving?”, SuperIntelligence - Robotics - Safety & Alignment, 1(1). doi: 10.70777/si.v1i1.10947.