A OpenAI anunciou em 26 de outubro de 2026 que seus modelos forneceram provas em linguagem natural para três resultados de longa data não resolvidos, ainda não verificados independentemente. Os três resultados são: a suavidade local relacionada à conjectura de Kakeya, a refutação da hipótese de tempo exponencial e a existência da completude da cromodinâmica quântica e do modelo padrão; a prova da existência de Yang–Mills foi gerada em 9 de setembro, mas sua publicação foi adiada até 16 de outubro, após a formalização em Lean desse resultado. Comentadores com formação em teoria da complexidade consideram que a refutação do ETH tem o maior impacto, pois é a base de muitos resultados de dificuldade e limites inferiores.