ZAP // Depositphotos
Progressos na resolução de 10 problemas de matemática e ciência da computação teórica que permaneciam em aberto há décadas.
A OpenAI anunciou ter alcançado progressos significativos na resolução de 10 problemas de matemática e ciência da computação teórica que permaneciam em aberto há décadas, num feito que poderá representar um marco na aplicação da inteligência artificial à investigação científica.
Segundo a empresa, os resultados foram obtidos por um modelo interno ainda não disponibilizado ao público, concebido para realizar raciocínio avançado e desenvolver demonstrações matemáticas originais.
Entre os problemas abordados encontram-se desafios nas áreas da teoria dos códigos, geometria discreta, teoria dos grupos, complexidade computacional e empacotamento de esferas, temas com implicações em disciplinas como as telecomunicações, a criptografia, a computação e a física.
A OpenAI afirma que o sistema produziu demonstrações formais posteriormente verificadas por especialistas e convertidas para a linguagem Lean, utilizada para validação automática de provas matemáticas.
A empresa sustenta que o modelo foi capaz de combinar conceitos provenientes de diferentes ramos da matemática para encontrar abordagens inéditas, sem ter sido desenvolvido especificamente para resolver estes problemas.
Em vez disso, recorreu a capacidades gerais de raciocínio, explorando hipóteses, descartando caminhos improdutivos e construindo argumentos completos que foram depois revistos por matemáticos humanos.
Este anúncio surge depois de, em 2025, a OpenAI ter sido criticada por alegações prematuras de que o GPT-5 teria resolvido vários problemas clássicos quando, na realidade, algumas das soluções já existiam na literatura científica.
Desta vez, a empresa procurou evitar controvérsias, divulgando documentação técnica e pareceres de investigadores independentes que analisaram os novos resultados antes da sua apresentação pública.
Se as demonstrações resistirem ao escrutínio da comunidade científica, o avanço poderá assinalar uma nova etapa na colaboração entre matemáticos e sistemas de inteligência artificial.
Em vez de substituir os investigadores, estas ferramentas poderão acelerar a descoberta de novas ideias, sugerir estratégias inesperadas e reduzir o tempo necessário para explorar problemas altamente complexos.
Apesar do entusiasmo, os próprios investigadores sublinham que a validação independente continuará a ser essencial.
Na matemática, uma demonstração só é aceite depois de um processo rigoroso de revisão pelos pares, podendo essa verificação demorar meses ou mesmo anos.
Leave a Reply