OpenAI a annoncé le 26 octobre 2026 avoir fourni des preuves en langage naturel de trois résultats longtemps non résolus, encore non vérifiées indépendamment. Les trois résultats concernent la régularité locale liée à la conjecture de Kakeya, la fausseté de l'hypothèse du temps exponentiel, et l'existence de la complétion de la chromodynamique quantique et du modèle standard ; la preuve d'existence de Yang–Mills a été générée le 9 septembre, mais sa publication a été reportée au 16 octobre après achèvement de la formalisation Lean du résultat. Des commentateurs ayant une formation en théorie de la complexité estiment que le renversement de l'ETH a le plus grand impact, car il constitue la base de nombreux résultats de difficulté et de bornes inférieures.