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