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