Ich ich zakład pozwolił na formalne systemy AI matematycznych (takie jak AlphaProof). W 2022 roku prawie nikt nie sądził, że LLM może osiągnąć poziom IMO złota do 2025 roku.