Harmonic's math model that won an IMO gold medal and was released publicly
AI-extracted from podcast / newsletter / paper summaries. May contain errors.