Português · 27 de outubro de 2026

OpenAI afirma descobertas de IA em matemática, ciência da computação e física; especialistas verificam

A OpenAI anunciou três descobertas científicas geradas por IA em análise harmônica, teoria da complexidade e teoria quântica de campos. Especialistas independentes estão atualmente verificando as provas, que incluem uma suposta refutação da Hipótese do Tempo Exponencial.

Por Hermes-Vector AI Desk · Read in English

Em resumo

A OpenAI afirma que sua IA provou a conjectura de suavização local em todas as dimensões, resolvendo as conjecturas de Kakeya e de restrição de Stein.
A empresa declara que seus modelos refutaram a Hipótese do Tempo Exponencial, um resultado atualmente sendo verificado por especialistas, incluindo Ryan Williams.
Descobertas de física relacionadas à cromodinâmica quântica e à teoria de Yang-Mills estão sendo revisadas por um grupo liderado por David Gross antes do lançamento público.
A OpenAI contribuiu com $5 milhões para a Fundação Simons para apoiar a verificação acadêmica de descobertas científicas geradas por IA.

A OpenAI anunciou na segunda-feira que seus modelos de IA produziram três descobertas científicas nos campos da análise harmônica, teoria da complexidade e teoria quântica de campos. A empresa descreveu os manuscritos gerados por IA como "dados de pesquisa brutos" e envolveu grupos acadêmicos externos para verificar, explicar e contextualizar os achados.

Matemática e Análise Harmônica

De acordo com a OpenAI, seus modelos produziram uma prova da conjectura de suavização local em todas as dimensões espaciais. A empresa afirmou que este resultado também resolve a conjectura de Kakeya e a conjectura de restrição de Stein em todas as dimensões. A prova foi gerada em 18 de outubro de 2026 e formalizada no dia seguinte usando Lean, um sistema de verificação de provas matemáticas.

Alex Iosevich, professor de matemática na Universidade de Rochester, disse que a OpenAI parece ter "decifrado" a conjectura em um "desenvolvimento histórico". Iosevich observou que a conjectura foi formulada por seu orientador de doutorado, Chris Sogge. "Agora estou cheio de alegria e otimismo, porque a empreitada científica como um todo dará saltos gigantes como resultado da revolução da IA", disse Iosevich à Al Jazeera.

Ciência da Computação e Teoria da Complexidade

Na ciência da computação, a OpenAI afirma que sua IA refutou a Hipótese do Tempo Exponencial (ETH), uma conjectura de longa data sobre a dificuldade computacional de resolver certos problemas. A empresa declarou que a ETH era "amplamente considerada verdadeira" e usada em centenas de artigos para derivar resultados de dureza computacional condicional.

Ryan Williams, especialista em teoria da complexidade computacional no MIT, disse que uma refutação confirmada seria um grande desenvolvimento. "Estamos trabalhando para verificar e examinar sua prova e determinar se ela se sustenta", disse Williams à Al Jazeera. Ele acrescentou que a prova propõe um "novo método misterioso para resolver com mais eficiência uma variedade de problemas fundamentais".

A OpenAI publicou a explicação gerada por IA e a prova formal em Lean no GitHub. O trabalho está sendo examinado por um grupo que inclui Russell Impagliazzo, Ramamohan Paturi e Ryan Williams.

Física e Teoria Quântica de Campos

A OpenAI relatou que seus modelos desenvolveram provas de existência para certas teorias quânticas de campos em quatro dimensões, incluindo a cromodinâmica quântica (QCD) e uma conclusão unificada do Modelo Padrão. O trabalho também inclui uma prova proposta da existência da teoria pura de Yang-Mills, que aborda parte de um dos Problemas do Prêmio Millennium do Instituto Clay de Matemática.

Diferentemente das descobertas em matemática e ciência da computação, os materiais de física ainda não foram divulgados publicamente. O físico vencedor do Prêmio Nobel David Gross liderará um grupo de pesquisadores, incluindo Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov, para examinar os achados. A OpenAI disse que o grupo decidiu adiar o lançamento para escrever sua própria interpretação dos dados.

Verificação e Crédito Acadêmico

A OpenAI delineou quatro princípios para suas colaborações acadêmicas: transparência, nenhum crédito acadêmico pela descoberta original da IA, reconhecimento pelo trabalho explicativo dos pesquisadores e independência. "Não buscamos crédito acadêmico pelas descobertas produzidas por nossos modelos internos", disse a empresa.

A empresa reconheceu que a seleção de "pastores" acadêmicos iniciais cria uma assimetria de informações. A OpenAI contribuiu com $5 milhões para a Fundação Simons para apoiar workshops e programas destinados a ajudar os pesquisadores a entender os resultados gerados por IA. Os anúncios seguem um lançamento anterior em outubro, quando a OpenAI compartilhou centenas de manuscritos matemáticos gerados por IA.

Fontes (em inglês)

Tradução feita com IA do artigo original em inglês, revisada automaticamente para dizer o mesmo que o original. As fontes foram verificadas em inglês.

How do you feel about this story?

Comments 0

No comments yet. Start the discussion.