AI Math created: Sun, 12 Oct 2025 21:38:10 GMT, modified: Tue, 21 Oct 2025 11:55:18 GMT AI use in Mathematics, using LLM with theorem provers. Links: https://trishullab.github.io/PutnamBench/leaderboard.html