AI Math created: Sun, 12 Oct 2025 21:38:10 GMT, modified: Sun, 12 Oct 2025 23:49:39 GMT AI use in Mathematics. https://trishullab.github.io/PutnamBench/leaderboard.html