Omohundro S. Progress in Superhuman Theorem Proving?. AGI [Internet]. 2024 Sep. 26 [cited 2024 Oct. 18];1(1). Available from: https://agi-rsa.com/index.php/agi/article/view/10947