Ir para o conteúdo

OpenAI anuncia três descobertas científicas feitas por inteligência artificial

A OpenAI anunciou três possíveis descobertas científicas realizadas por seus modelos de inteligência artificial ainda não disponibilizados ao público. Os resultados envolvem problemas que desafiam pesquisadores há décadas e podem mudar o entendimento de conceitos fundamentais da matemática, física e ciência da computação.

O anúncio acontece poucas semanas depois de a empresa divulgar, em 6 de outubro, centenas de trabalhos matemáticos produzidos com auxílio de IA. Desta vez, o destaque não está na quantidade de pesquisas, mas na importância dos problemas que os modelos afirmam ter solucionado.

IA contesta hipótese de quase 30 anos na computação

Uma das descobertas mais surpreendentes envolve a chamada Hipótese do Tempo Exponencial (ETH), formulada na década de 1990.

Essa hipótese estabelece limites para a velocidade com que determinados problemas computacionais podem ser resolvidos. Durante décadas, ela serviu de fundamento para centenas de estudos sobre algoritmos e complexidade computacional.

Segundo a OpenAI, seus modelos conseguiram produzir uma demonstração matemática que refuta essa hipótese, contrariando uma suposição amplamente aceita pela comunidade científica.

Caso seja confirmada, a descoberta poderá abrir novos caminhos para o desenvolvimento de algoritmos mais eficientes. Entretanto, isso não significa que computadores passarão imediatamente a resolver problemas complexos com maior velocidade.

Os pesquisadores que participaram da formulação original da hipótese estão entre os especialistas responsáveis por avaliar o resultado.

Problema matemático de 35 anos também teria sido resolvido

Na matemática, os modelos apresentaram uma solução para a conjectura de local smoothing, proposta em 1991.

O problema está relacionado ao comportamento das ondas e à maneira como sua intensidade se concentra ao longo do tempo.

A OpenAI afirma que a demonstração encontrada pela IA funciona em todas as dimensões, algo que ainda não havia sido estabelecido pela comunidade matemática.

O resultado também teria consequências para outras questões importantes, incluindo as conjecturas de Kakeya e de restrição de Stein.

Física pode avançar em problema associado a prêmio de US$ 1 milhão

A terceira descoberta envolve a física teórica e um dos grandes desafios da matemática moderna.

Os modelos teriam produzido uma demonstração rigorosa da existência de determinadas teorias quânticas de campos, incluindo a cromodinâmica quântica, responsável por descrever a interação forte entre partículas subatômicas.

O trabalho também aborda parte do problema de Yang–Mills, relacionado a um dos sete Problemas do Milênio, estabelecidos pelo Clay Mathematics Institute. Cada problema possui um prêmio de US$ 1 milhão destinado a uma solução reconhecida.

O físico David Gross, vencedor do Prêmio Nobel de Física de 2004, liderará um grupo de especialistas encarregado de examinar os resultados.

Apesar do avanço anunciado, a demonstração apresentada não significa que o problema completo de Yang–Mills tenha sido oficialmente resolvido.

Resultados ainda precisam de validação independente

A OpenAI informou que as principais demonstrações foram submetidas a verificações matemáticas utilizando o Lean, uma ferramenta que permite conferir formalmente a validade de provas.

Entretanto, a verificação computacional não substitui completamente a análise da comunidade científica. Especialistas ainda precisam examinar os argumentos, confirmar sua abrangência e avaliar as implicações dos resultados.

A empresa também afirmou que não pretende reivindicar crédito acadêmico pelas descobertas e que disponibilizará materiais para facilitar a avaliação independente. As demonstrações de matemática e computação já foram divulgadas, enquanto os materiais de física permanecem sob análise de pesquisadores.

Uma nova etapa para a inteligência artificial na ciência

O anúncio representa uma possível mudança no papel da inteligência artificial na produção de conhecimento científico.

Até recentemente, uma das principais aplicações da IA na pesquisa era auxiliar cientistas na análise de dados, interpretação de resultados e identificação de padrões.

Agora, modelos mais avançados começam a demonstrar potencial para formular e desenvolver soluções matemáticas inéditas, inclusive para problemas que permaneceram sem resposta durante décadas.

Se as descobertas forem confirmadas, poderão representar um marco na evolução da inteligência artificial, aproximando a tecnologia de um papel mais ativo na produção de conhecimento científico.