Omohundro S. Progress in Superhuman Theorem Proving?. SI [Internet]. 2024 Sep. 26 [cited 2026 Aug. 25];1(1). Available from: https://ticket17180.pkpmisc01.publicknowledgeproject.org/index.php/agi/article/view/10947