OMOHUNDRO, Steve. Progress in Superhuman Theorem Proving?. SuperIntelligence - Robotics - Safety & Alignment, [S. l.], v. 1, n. 1, 2024. DOI: 10.70777/si.v1i1.10947. Disponível em: https://s-rsa.com/index.php/agi/article/view/10947. Acesso em: 19 may. 2026.