Continua após a publicidade
Imagine passar mais de 30 anos tentando resolver um problema matemático e descobrir que uma inteligência artificial pode ter encontrado a resposta. Foi esse o cenário apresentado pela OpenAI em um anúncio que chamou a atenção da comunidade científica. A empresa afirma que seus modelos alcançaram resultados extraordinários em desafios considerados extremamente difíceis. Entretanto, antes de celebrar uma possível revolução, existe uma etapa fundamental que nenhuma inteligência artificial pode simplesmente ignorar.
Três desafios científicos que resistiram durante décadas
Em 26 de outubro de 2026, a OpenAI anunciou que seus modelos de inteligência artificial haviam produzido possíveis soluções para três problemas envolvendo matemática, ciência da computação e física teórica.
Caso sejam confirmados, os resultados poderão representar avanços importantes em áreas que sustentam parte do conhecimento científico moderno.
O primeiro trabalho envolve a conjectura de suavização local, proposta pelo matemático Christopher Sogge em 1991.
Essa conjectura investiga propriedades matemáticas relacionadas à propagação de ondas e à maneira como sua concentração evolui.
Segundo a OpenAI, seus modelos produziram uma demonstração aplicável a todas as dimensões, com possíveis consequências para questões relacionadas à conjectura de Kakeya.
O segundo resultado envolve um dos problemas mais importantes da ciência da computação teórica.
A empresa afirma ter encontrado uma maneira de refutar a hipótese do tempo exponencial (ETH), utilizada para estudar os limites de eficiência de algoritmos que resolvem determinados problemas computacionais.
Se essa conclusão estiver correta, diversas pesquisas fundamentadas nessa hipótese precisarão ser reavaliadas.
Mas a terceira alegação entra em um território ainda mais complexo: a estrutura matemática das teorias que descrevem partículas fundamentais.
A inteligência artificial também teria avançado em um problema da física teórica
O terceiro trabalho anunciado pela OpenAI envolve a cromodinâmica quântica, teoria que descreve a interação forte entre quarks e glúons.
Essas partículas estão relacionadas à estrutura interna de prótons e nêutrons e, consequentemente, à composição da matéria.
A empresa afirma que seus modelos desenvolveram uma demonstração matemática sobre a existência rigorosa de determinadas teorias quânticas de campos.
O resultado também teria implicações para o problema de Yang-Mills, associado a um dos famosos Problemas do Milênio do Instituto Clay de Matemática.
Entretanto, existe uma distinção essencial.
A alegação da OpenAI não significa que sua inteligência artificial tenha resolvido completamente o problema de Yang-Mills.
A demonstração anunciada não estabelece a existência da chamada lacuna de massa, condição necessária para solucionar integralmente o desafio proposto pelo instituto.
Portanto, mesmo que o trabalho seja considerado correto, seu alcance científico precisará ser delimitado cuidadosamente.
Duas demonstrações passaram por verificação computacional, mas isso não encerra a discussão
Segundo a OpenAI, dois dos resultados já possuem formalizações realizadas com o auxílio do Lean, um sistema utilizado para verificar demonstrações matemáticas.
Essa tecnologia permite conferir se determinados passos lógicos seguem corretamente as regras estabelecidas em uma estrutura formal.
Entretanto, uma demonstração aceita pelo Lean não significa automaticamente que o problema científico original foi resolvido.
É necessário verificar se o enunciado formalizado corresponde exatamente à conjectura que os pesquisadores pretendiam demonstrar.
Uma prova pode estar logicamente correta dentro de suas premissas e, ainda assim, não responder à questão original.
Por isso, a avaliação independente continua sendo indispensável.
Para examinar o resultado relacionado à computação, foram envolvidos Russell Impagliazzo e Ramamohan Paturi, da Universidade da Califórnia em San Diego, além de Ryan Williams, do MIT.
Na área de física, a análise será coordenada por David Gross, vencedor do Prêmio Nobel de Física de 2004.
Os materiais de matemática e computação foram disponibilizados pela empresa, enquanto a divulgação integral do trabalho de física ainda estava pendente no momento do anúncio.
O maior desafio agora é convencer a comunidade científica
O anúncio ocorre em meio a um debate crescente sobre a utilização de inteligência artificial na produção de conhecimento científico.
No início de outubro, a OpenAI havia divulgado centenas de resultados matemáticos gerados com auxílio de IA.
A iniciativa provocou críticas relacionadas à dificuldade de verificar tantas demonstrações e avaliar sua originalidade.
Desta vez, a empresa optou por envolver especialistas externos no processo de análise.
Mesmo assim, surgiram questionamentos sobre a possibilidade de determinados pesquisadores receberem acesso antecipado a resultados ainda não publicados, conforme relatado pelo The Verge.
A discussão revela um problema que poderá se tornar cada vez mais importante.
Se sistemas de inteligência artificial começarem a produzir demonstrações complexas mais rapidamente do que os especialistas conseguem examiná-las, os métodos tradicionais de validação científica enfrentarão novas pressões.
A ciência pode estar entrando em uma nova fase, mas ainda não existe confirmação definitiva
As três alegações da OpenAI são potencialmente relevantes, mas ainda não devem ser tratadas como problemas definitivamente resolvidos.
A confirmação dependerá da análise dos especialistas, da correspondência entre as demonstrações e os problemas originais e da avaliação de seu alcance real.
Se os resultados resistirem ao escrutínio científico, poderão demonstrar que a inteligência artificial já consegue contribuir de maneira profunda para algumas das questões mais difíceis da pesquisa.
Caso sejam identificadas falhas, o episódio também oferecerá lições importantes sobre os limites dessas ferramentas.
Por enquanto, a principal novidade não é apenas a possibilidade de uma máquina encontrar respostas extraordinárias.
É o desafio de construir mecanismos capazes de verificar essas respostas com o mesmo rigor exigido de qualquer descoberta científica.
Veja todas notícias sobre Tecnologia
Publicidade
