Scaling Past Informal AI - Carina Hong, Axiom Math

🔬Scaling Past Informal AI - Carina Hong, Axiom Math

Axiom solved all 12 Putnam problems in 2025 and scored 8/12 within the time limit; Carina Hong says its Verina ProofGen result reached 187/189, while the last disclosed OpenAI o3 result on that benchmark was 4.9%.

Why it matters: HKR-H/K/R all pass: Putnam results, the o3 comparison, and 187/189 give it a real hook. It stays at 80 because this is a Latent Space interview/research story, not a broad model release.