OpenAI afirma que seus modelos provaram a conjectura de suavização local, refutaram a Hipótese do Tempo Exponencial e provaram a existência de Yang–Mills

A OpenAI anunciou três resultados em matemática, ciência da computação e física produzidos por seus modelos. Tudo a seguir é uma afirmação da própria OpenAI; nada foi verificado de forma independente ainda, e a OpenAI diz que os resultados foram verificados no Lean.

• Matemática (análise harmônica). A OpenAI afirma que seus modelos provaram a conjectura de suavização local em todas as dimensões, o que, segundo ela, também resolve a conjectura de Kakeya e a conjectura de restrição de Stein em todas as dimensões, por meio de uma nova equação diferencial parcial auxiliar. A empresa publicou o texto explicativo em linguagem natural dos modelos e uma prova em Lean em seu repositório público openai/math no GitHub, seguindo a abordagem de seu lançamento de 6 de outubro.
• Ciência da computação. A OpenAI afirma que seu sistema refutou a Hipótese do Tempo Exponencial (ETH), uma conjectura sobre a complexidade da satisfatibilidade de fórmulas booleanas, e que a refutação foi verificada no Lean. Ryan Williams liderará um grupo com Russell Impagliazzo e Ramamohan Paturi (que propuseram a ETH junto com Francis Zane) para verificar e explicar o resultado. A pedido do grupo, a OpenAI tornou pública a prova em linguagem natural e a formalização em Lean.
• Física. A OpenAI afirma que seus modelos produziram uma prova matematicamente rigorosa da existência de certas teorias quânticas de campos interagentes em quatro dimensões, com campos de gauge e férmions, incluindo a QCD e uma conclusão unificada do Modelo Padrão; como subproblema, provaram a existência da teoria pura de Yang–Mills, parte do problema do Prêmio Millennium do Clay Mathematics Institute. A empresa diz que as provas foram verificadas formalmente no Lean. Um grupo liderado por David Gross, com Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov, acompanhará o trabalho, e a OpenAI deixará a cargo deles a decisão de divulgar os materiais.

A OpenAI descreve os manuscritos como "dados brutos de pesquisa" e diz que pediu a especialistas externos que atuassem como supervisores, os quais recomendaram estratégias de divulgação diferentes para cada resultado. A empresa informa estas datas para o trabalho: o resultado sobre suavização local em 18 de outubro (formalizado no Lean no dia seguinte), a refutação da ETH em 16 de outubro (formalizada em 17 de outubro) e a prova da existência de Yang–Mills em 9 de setembro (QCD em 18 de setembro, com a formalização de Yang–Mills no Lean concluída em 16 de outubro). O grupo de física pede que as comunicações sejam enviadas a um endereço de e-mail dedicado e decidiu não divulgar os artefatos produzidos pela IA enquanto prepara seu próprio texto sobre o trabalho.

A OpenAI diz que as colaborações seguem quatro princípios: transparência (sem acordos de confidencialidade), nenhuma busca por crédito acadêmico por parte da OpenAI, reconhecimento aos grupos e independência (a participação é voluntária e não remunerada, e os membros falam apenas em nome próprio). A empresa afirma que financiará uma conferência sobre o resultado da ETH e menciona sua contribuição recente de US$ 5 milhões à Simons Foundation para oficinas e programas sobre resultados produzidos por IA. Também fez pequenas alterações no repositório do GitHub, listadas em seu arquivo de histórico. Na noite de 26 de outubro, a thread do anúncio no X tinha 405 pontos e 30 comentários.