Omohundro, S. Progress in Superhuman Theorem Proving?. SI 2024, 1.