A OpenAI anunciou que um de seus modelos de inteligência artificial resolveu de forma autônoma um problema matemático em aberto há oito décadas. A solução foi validada por matemáticos independentes e representa um marco na aplicação da IA em questões complexas da matemática pura.
O problema resolvido é conhecido como a distância unitária no plano, formulado pelo matemático húngaro Paul Erdős. A questão busca determinar o número máximo de pares de pontos que podem estar separados por exatamente uma unidade de distância em um plano bidimensional.
O modelo da OpenAI encontrou configurações que ultrapassaram o limite superior estabelecido em 1984. A empresa destacou que o sistema utilizado era de raciocínio geral, sem treinamento específico para matemática, empregando uma abordagem inédita com conceitos da teoria algébrica dos números.
Matemáticos externos revisaram os resultados, incluindo Thomas Bloom, da Universidade de Manchester. Bloom confirmou a validade da demonstração, embora pesquisadores humanos tenham aprimorado o trabalho inicial da IA. Tim Gowers, da Universidade de Cambridge, classificou a solução como um marco para a matemática gerada por inteligência artificial.
A OpenAI ressaltou que a IA deve atuar como ferramenta de apoio aos matemáticos, não como substituta. A participação humana permanece essencial para interpretar e aperfeiçoar as demonstrações. Especialistas enfatizam que a tecnologia ainda depende da supervisão crítica de profissionais.
O anúncio ocorre após um episódio no qual a OpenAI havia afirmado que o GPT-5 resolvera dez problemas não solucionados de Erdős. A declaração foi retirada após especialistas apontarem que os problemas já tinham soluções humanas.
Segundo o portal Olhar Digital, esta seria a primeira vez que uma IA resolve autonomamente um problema central para uma área específica da matemática. O feito abre novas perspectivas para o uso da tecnologia na descoberta científica.
Leia também: IA da OpenAI resolve conjectura matemática de 80 anos
📨 Inscreva-se na Newsletter de O Cafezinho
Receba nossas análises e as principais notícias diárias do Brasil e do Sul Global.