Em maio deste ano, a OpenAI anunciou que um modelo de inteligência artificial havia refutado a conjectura de distância unitária de Erdős, um problema clássico da geometria discreta que desafiava os melhores matemáticos humanos desde 1946. A façanha impressionou até ganhadores da Medalha Fields, o prêmio mais prestigioso da matemática.
O feito marca um ponto de virada importante, mas talvez não tão radical quanto parece à primeira vista. Há apenas três anos, os modelos de linguagem tinham dificuldade para resolver problemas básicos de aritmética. No ano passado, começaram a vencer competições de matemática do ensino médio. Agora resolvem problemas em aberto que intrigavam a comunidade científica há décadas.
O problema que perplexava desde 1946
Paul Erdős, um dos matemáticos mais prolíficos da história com mais de 1.500 artigos publicados, tinha talento especial para formular problemas simples de enunciar mas profundamente complexos. Em 1946, ele propôs a conjectura de distância unitária: dado um conjunto de pontos em um plano bidimensional, qual é o número máximo de pares de pontos que podem estar exatamente a uma unidade de distância um do outro?
A pergunta parece inocente, mas se torna exponencialmente complicada conforme aumenta o número de pontos. Erdős desenvolveu estratégias para estabelecer limites superiores e inferiores da resposta, imaginando pontos dispostos em grades. Ao ajustar o espaçamento entre pontos na grade, era possível aumentar quantas conexões de distância unitária existiam.
Como a IA resolveu o que humanos não conseguiram?
O modelo da OpenAI aplicou de forma criativa ideias vindas de vários subcampos da matemática para construir uma prova completa. A inteligência artificial não inventou novas técnicas revolucionárias, mas demonstrou capacidade notável em combinar conhecimentos existentes de forma eficiente. Depois que o resultado foi anunciado, matemáticos humanos conseguiram refiná-lo e estendê-lo ainda mais.
Tim Gowers, laureado com a Medalha Fields, escreveu que “não há dúvida de que a solução para o problema de distância unitária é um marco na matemática com IA”. Daniel Litt, professor da Universidade de Toronto, chamou atenção para algo crucial: “este é o primeiro exemplo de um resultado produzido autonomamente por IA que acho excitante em si mesmo, não apenas como indicador de progresso futuro”.
Uma parceria entre máquinas e mentes humanas
O resultado revela um cenário provável nos próximos anos: matemáticos humanos e modelos de IA trabalhando em complementaridade. As máquinas possuem conhecimento mais amplo de trabalhos anteriores do que qualquer person viva e paciência praticamente infinita para explorar estratégias de prova tediosas e pouco promissoras. Humanos, por enquanto, conseguem pensar mais profundamente sobre problemas específicos e formular questões mais criativas.
O mundo assombrado pelos demônios
Produto altamente avaliado, ideal para quem busca qualidade e excelente custo-benefício.
★★★★★ 4.8
* Link de afiliado. Você pode gerar comissão sem custo adicional.
Essa divisão de trabalho pode não durar muito tempo. Sistemas de IA vêm melhorando em matemática tão rapidamente que permanece incerto qual papel, se algum, matemáticos humanos desempenharão daqui a dez anos. A velocidade de progresso sugere que a próxima década trará surpresas ainda maiores.
Quando se assiste a mudanças tão rápidas, fica claro que estamos assistindo não apenas à resolução de um problema matemático antigo, mas à transformação gradual de como a própria ciência matemática é criada.
Foto: Google DeepMind no Pexels
Matéria original: https://arstechnica.com/ai/2026/06/openais-math-breakthrough-played-to-ais-strengths/
Deixe seu comentário