Blog

Notes and writeups about my research.

1. How we achieved an IMO medal, one year before any other AI system

   Nov 12, 2025

   Reflections on AlphaProof — the work before, during, and after reaching silver-medal standard at the International Mathematical Olympiad by teaching itself mathematics in Lean.