Deras satsning tillät formella matematiska AI-system (som AlphaProof). År 2022 trodde nästan ingen att en LLM skulle kunna vara IMO-guldnivå år 2025.