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