Quarta-feira, 07 de outubro de 2026
Tecnologia

Sistema checa 377 soluções matemáticas de nova IA da OpenAI, mas cientistas cobram dados

Comunidade acadêmica exige mais transparência sobre o funcionamento interno do modelo.

OpenAI
Pessoa segurando o símbolo da OpenAI · Foto: FoxTPNL / Wikimedia Commons (CC BY 4.0)

A OpenAI revelou que parte das 377 resoluções matemáticas complexas produzidas por seu novo modelo de inteligência artificial foi validada pelo Lean, um sistema de verificação lógica. A ferramenta confirma se os passos de uma prova matemática seguem as regras corretamente, embora pesquisadores cobrem mais transparência da empresa sobre o funcionamento do modelo.

A exigência da comunidade científica ocorre porque a validação automatizada não substitui a análise humana sobre o ineditismo e a relevância de cada descoberta. Os acadêmicos pedem acesso aos detalhes de como a inteligência artificial chegou às respostas para problemas abertos em áreas como álgebra e topologia.

Este debate surge cerca de um mês após a OpenAI anunciar avanços relacionados às equações de Navier-Stokes, um dos desafios mais difíceis da matemática. O próximo passo envolve a revisão detalhada dos 377 resultados por matemáticos independentes, para confirmar se as soluções podem ser oficialmente aceitas pela ciência.

Com informações de G1 e Google Notícias.

Texto produzido com auxílio de inteligência artificial a partir dos veículos citados, com revisão automatizada. Saiba como trabalhamos · Viu um erro? Avise