Innsatsen deres tillot formelle matematiske AI-systemer (som AlphaProof). I 2022 trodde nesten ingen at en LLM kunne være IMO-gullnivå innen 2025.