V4 has achieved a perfect score of 120/120 on the Putnam-2025 math benchmark, tying for first place with Axiom. This accomplishment was achieved under the Frontier Regime, which utilized a hybrid formal-informal reasoning approach. V4's method involved generating candidate solutions th