OpenAI anunció el 26 de octubre de 2026 que sus modelos proporcionaron pruebas en lenguaje natural de tres resultados de larga data no resueltos, aún no verificados de forma independiente. Los tres resultados son: la suavidad local relacionada con la conjetura de Kakeya, la falsedad de la hipótesis de tiempo exponencial y la existencia de la completitud de la cromodinámica cuántica y el modelo estándar; la prueba de existencia de Yang–Mills se generó el 9 de septiembre, pero su publicación se pospuso hasta el 16 de octubre tras completarse la formalización en Lean de este resultado. Comentaristas con fondo en teoría de la complejidad consideran que refutar ETH tiene el mayor impacto, ya que es la base de muchos resultados sobre dificultad y límites inferiores.