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