IMO 2025 P1. 508 line proof.

Goedel-Architect

IMO 2025
P1 P3 P4 P5
Putnam 2025
A1 A2 A3 A4 A6 B1 B2 B3 B4 B5 B6
USAMO 2026
P1 P4 P6
PutnamBench
2015-A4 2016-B3 1995-A2 1996-B5
Tight Loose
Node status
solved
unsolved
formally negated

Blueprint Refinement

1 2 3 4 5