Omohundro, Steve. “Progress in Superhuman Theorem Proving?”. SuperIntelligence - Robotics - Safety & Alignment 1, no. 1 (September 26, 2024). Accessed July 4, 2026. https://s-rsa.com/index.php/agi/article/view/10947.