A Google DeepMind AlphaProof Nexus rendszere több tucat nyitott matematikai problémát oldott meg, köztük kilenc Erdős-problémát és 44 OEIS-sejtést. Emellett egy algebrai geometriai kérdést is megoldott, valamint javított egy optimalizálási korlátot. A Gemini 3.1 Próra épülő rendsze
- Kilenc nyitott Erdős-problémát oldott meg, köztük kettőt, amelyek 56 éve megoldatlanok voltak.
- Több száz új matematikai tételt bizonyított emberi ellenőrzés nélkül.
- Kizárólag mesterségesintelligencia-modellek képzésére fejlesztett optimalizációs módszereket.
- Megoldotta az összes ismert Erdős-problémát.