Um modelo de inteligência artificial da OpenAI refutou uma conjectura matemática aceita por oitenta anos. O sistema de IA, que não é especializado em matemática, produziu uma prova de 125 páginas que derruba o consenso sobre o problema das distâncias unitárias.
O problema das distâncias unitárias, formulado por Paul Erdős em 1946, questiona o número máximo de pares de pontos em uma superfície plana separados por uma distância fixa. Por décadas, a comunidade matemática considerou a grade quadrada como a configuração ótima, sem, contudo, possuir uma prova formal definitiva.
Para contestar essa proposição, o modelo de IA gerou uma prova identificando uma família infinita de arranjos de pontos mais eficientes que a grade. Nove matemáticos externos verificaram o trabalho, incluindo Tim Gowers, ganhador da Medalha Fields, que recomendou a publicação do artigo na revista Annals of Mathematics.
A conquista é notável porque o resultado não surgiu de um sistema matemático dedicado, mas de um modelo de raciocínio de uso geral. Isso indica que capacidades avançadas de raciocínio estão emergindo nesses sistemas, conectando linhas de raciocínio dispersas na literatura científica.
A OpenAI afirmou que esta é a primeira vez que uma IA resolve autonomamente um problema aberto de relevância central para a matemática. A prova aguarda publicação formal, enquanto o instrumento que a gerou permanece restrito à empresa.
