---
title: "OpenAI diz que modelos internos produziram três resultados científicos"
url: https://dailyjournal.news/news/2026-10-26/openai-anuncia-avancos-cientificos-em-matematica-e-fisica
published: 2026-10-26T22:01:22.579611+00:00
updated: 2026-10-26T22:15:16.111661+00:00
categories: ["technology"]
topics: ["openai"]
source_count: 2
outlet_count: 1
language: pt-BR
publisher: "Daily Journal"
---

# OpenAI diz que modelos internos produziram três resultados científicos

A OpenAI atribui a modelos internos três resultados em matemática, computação e física, entre eles a refutação da Hipótese do Tempo Exponencial.

## Pontos principais

- Matemática: a OpenAI diz que seus modelos provaram a conjectura de suavização local (Sogge, 1991) em todas as dimensões, o que também resolve as conjecturas de Kakeya e de Stein.
- Matemática: a saída da IA foi obtida em 18 de outubro, formalizada em Lean no dia seguinte e publicada no GitHub da OpenAI, com o texto em linguagem natural e a prova em Lean.
- Computação: o preprint da OpenAI, datado de 17 de outubro e revisado em 25 de outubro, apresenta um algoritmo determinístico que conta exatamente as atribuições satisfatíveis de qualquer k-CNF, com k ≥ 2, em tempo subexponencial e espaço polinomial.
- Computação: a Hipótese do Tempo Exponencial diz que 3-SAT com n variáveis exige tempo 2^Ω(n) no pior caso; a OpenAI afirma que ela é falsa. A demonstração em linguagem natural foi encontrada em 16 de outubro e formalizada em Lean em 17.
- Computação: o grupo de verificação é liderado por Russell Impagliazzo e Ramamohan Paturi, da Universidade da Califórnia em San Diego, e por Ryan Williams, do MIT.
- Computação: a OpenAI se compromete a financiar uma conferência sobre as implicações do resultado para a área e a tornar públicos os dados brutos desse resultado.
- Física: a OpenAI diz que seus modelos produziram uma prova rigorosa de existência de teorias quânticas de campos com campos de calibre e férmions em quatro dimensões, incluindo a cromodinâmica quântica (QCD) e uma completação unificada do Modelo Padrão, com base na abordagem de Balaban.
- Física: a existência da Yang-Mills pura, parte do problema do milênio do Clay Mathematics Institute, entra na prova como subproblema.
- Física: o grupo liderado por David Gross, com Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov, decidiu segurar os materiais gerados pela IA até escrever a própria versão.
- Limite: o preprint da OpenAI afirma que o resultado sobre a ETH não implica que problemas NP em geral admitam algoritmos subexponenciais.
- Crédito: a OpenAI diz não buscar crédito acadêmico pelas descobertas, e afirma que os grupos externos são independentes e não falam em nome da empresa.

A OpenAI diz que modelos internos produziram três resultados em matemática, ciência da computação e física, e os trata como dados brutos de pesquisa, não como resultados já explicados. A explicação e a verificação ficam com grupos acadêmicos independentes, que não falam em nome da empresa.

Em computação, um preprint da OpenAI declara falsa a Hipótese do Tempo Exponencial, conjectura usada em centenas de artigos para derivar limites de dificuldade em áreas como teoria dos grafos, bioinformática e bancos de dados. O próprio preprint da OpenAI ressalva que o resultado não implica algoritmos subexponenciais para problemas NP em geral.

## Fontes

- [@gdb: Announcing three major scientific discoveries, one each in mathematics (harmonic analysis), computer science (complexity theory), and physics (quantum field theory).](https://x.com/gdb/status/2114837059462627533) (2026-10-26)
- [OpenAI announces three breakthroughs in computer science, math, and physics, including that the Exponential Time Hypothesis, a longstanding conjecture, is false (OpenAI)](https://www.techmeme.com/261026/p48#a261026p48) — Techmeme (2026-10-26)

## Tópicos relacionados

- [OpenAI](https://dailyjournal.news/topics/openai)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-10-26/openai-anuncia-avancos-cientificos-em-matematica-e-fisica