Putnam 2025 B4. 1,061 line proof. 112 minutes generation time, 249K 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