OpenAI revela três descobertas científicas e novo modelo de colaboração com acadêmicos
A empresa divulgou avanços em matemática, ciência da computação e física, usando especialistas externos para validar os resultados e convidou a comunidade a definir normas para descobertas geradas por IA.
Em resumo
- OpenAI divulgou três descobertas em matemática, ciência da computação e física
- Especialistas externos, chamados de “shepherds”, guiaram a validação dos resultados
- A comunidade acadêmica foi convidada a avaliar as provas e a definir normas para descobertas geradas por IA
OpenAI anunciou três descobertas consideradas "maiores" em matemática, ciência da computação e física, e apresentou um novo formato de colaboração com pesquisadores externos, chamados de “shepherds”. O anúncio chega menos de um mês depois da divulgação de centenas de manuscritos que alegavam resolver questões matemáticas de longa data.
O que aconteceu
Para as áreas de ciência da computação e física, a empresa designou especialistas externos para orientar a interpretação dos resultados; no caso da matemática, os conselheiros sugeriram que a saída da IA fosse disponibilizada para que pesquisadores elaborassem suas próprias explicações. O painel AGMAI de conselheiros de matemática advertiu que "recomendamos que empresas de IA não adotem" a prática de privilegiar alguns indivíduos na primeira visualização dos resultados, apontando riscos de acesso desigual, reputação emprestada e seleção tendenciosa.
Na física, a descoberta ainda não foi publicada integralmente, mas foi descrita como uma prova de existência rigorosa de teorias de campo quântico interagentes que incluem campos de gauge e férmions em quatro dimensões, abrangendo a Cromodinâmica Quântica (QCD) e uma conclusão unificada do Modelo Padrão. David Gross liderará um grupo com Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov para conduzir esse trabalho.
Em ciência da computação, o resultado demonstra que a Hipótese do Tempo Exponencial (ETH), amplamente aceita, é falsa. A verificação será supervisionada por três especialistas: Russell Impagliazzo e Ramamohan Paturi, da UC San Diego e co‑autores da proposta original de 1999, além do professor do MIT Ryan Williams. O grupo disponibilizou hoje o texto gerado pela IA e a prova formal em Lean no GitHub.
“David Gross liderará um grupo com Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov para conduzir esse trabalho.”
Na matemática, o modelo produziu uma prova da conjectura de suavização local em todas as dimensões, o que resolve simultaneamente a conjectura de Kakeya e a conjectura de restrição de Stein em todas as dimensões. O texto menciona que, poucos meses antes, o professor Hong Wang, da NYU, recebeu a Medalha Fields por resolver a conjectura de Kakeya em três dimensões.
A OpenAI também publicou uma carta aberta à comunidade solicitando sugestões sobre como examinar a alegação e estabelecer normas para lidar com descobertas geradas por IA.
Por que importa
Essas revelações mostram que sistemas de IA podem gerar provas formais que desafiam hipóteses estabelecidas, como a ETH, e avançam em áreas tradicionalmente dominadas por pesquisa humana. Ao envolver especialistas externos, a empresa tenta conferir credibilidade, mas o alerta do painel AGMAI evidencia tensões sobre acesso equitativo e transparência na divulgação de resultados.
A abertura dos documentos no GitHub e o convite a acadêmicos para avaliar as provas podem acelerar a validação independente, ao mesmo tempo em que levantam questões sobre como a comunidade científica deve tratar descobertas automatizadas e quais padrões de revisão são adequados.
O que observar
- Grupo de físicos liderado por David Gross
- Equipe de ciência da computação inclui Russell Impagliazzo, Ramamohan Paturi e Ryan Williams
- Recomendações do painel AGMAI sobre divulgação em repositórios acadêmicos
- Carta aberta da OpenAI pedindo normas para descobertas de IA
Perguntas frequentes
Quais áreas científicas foram impactadas pelos novos resultados da OpenAI?
As descobertas abrangem matemática, ciência da computação e física, incluindo uma prova de existência em teorias de campo quântico e a refutação da Hipótese do Tempo Exponencial.
Como a OpenAI está envolvendo pesquisadores externos nos projetos?
A empresa designou especialistas externos como “shepherds” para orientar os resultados em ciência da computação e física, e liberou os documentos no GitHub para que a comunidade os examine.
Trilha desta cobertura