S. Omohundro, “Progress in Superhuman Theorem Proving?”, AGI, vol. 1, no. 1, Sep. 2024.