Putnam 2025 B5. 1,495 line proof. 354 minutes generation time, 18M tokens.

AxiomProver Proofs

Putnam 2025 A1 Putnam 2025 A2 Putnam 2025 A3 Putnam 2025 A4 Putnam 2025 A5 Putnam 2025 A6 Putnam 2025 B1 Putnam 2025 B2 Putnam 2025 B3 Putnam 2025 B4 Putnam 2025 B5 Putnam 2025 B6
Tight Loose