Putnam 2025 B3. 340 line proof. 43 minutes generation time, 2.9M 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