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