Omohundro, Steve. 2024. “Progress in Superhuman Theorem Proving?”. AGI - Artificial General Intelligence - Robotics - Safety & Alignment 1 (1). https://agi-rsa.com/index.php/agi/article/view/10947.