IA da OpenAI Desvenda Enigma Matemático de 80 Anos

Olha que coisa interessante! A OpenAI anunciou recentemente que um de seus modelos de inteligência artificial conseguiu refutar a famosa conjectura da distância unitária de Erdős. Para quem não está familiarizado, essa é uma daquelas pérolas da matemática discreta que tem deixado os cérebros mais brilhantes coçando a cabeça por uns bons 80 anos. É como ter um cadeado super complexo e, de repente, uma chave digital aparecer e abri-lo!

Matemáticos renomados, como Tim Gowers, que já ganhou a Medalha Fields (o Oscar da matemática, para você ter uma ideia), classificaram essa solução como um verdadeiro marco na matemática impulsionada por IA. Daniel Litt, professor da Universidade de Toronto, foi ainda mais direto, afirmando que é o primeiro resultado autônomo de uma inteligência artificial que ele considera empolgante por si só, e não apenas como um indicador de potencial futuro. Isso nos mostra que estamos saindo da fase de ‘promessas’ e entrando na fase de ‘entregas concretas’ no campo da IA e da matemática.

É verdade que, há poucos anos, os modelos de linguagem grandes (LLMs) mal conseguiam resolver problemas de aritmética. Mas a evolução é vertiginosa! No ano passado, já estavam gabaritando competições de matemática de nível médio. E agora, vemos a IA contribuindo para a pesquisa matemática de fato. O que a OpenAI fez foi aplicar ideias já existentes de diversas áreas da matemática de uma forma tão engenhosa que resultou em uma prova completa. A IA não inventou uma técnica totalmente nova, mas a forma como ela orquestrou o conhecimento existente foi a grande sacada.

Isso nos leva a pensar em um futuro bem próximo onde a colaboração entre humanos e máquinas será a norma. Pense assim: a IA tem uma memória enciclopédica de todo o trabalho já feito na matemática, muito mais do que qualquer ser humano. Ela também tem uma paciência infinita para testar estratégias de prova tediosas que talvez não deem em nada. Enquanto isso, nós, humanos, podemos nos aprofundar em um problema específico, fazer as perguntas mais instigantes e ter aquela intuição que ainda é difícil para as máquinas replicarem.

Mas, claro, a velocidade com que a inteligência artificial está avançando na matemática é tão impressionante que nos faz questionar qual será o papel dos matemáticos humanos daqui a uma década. Será que teremos um cenário onde a IA é o motor e nós somos os arquitetos, ou algo completamente diferente? É uma aposta fascinante para o futuro!

A Conjectura da Distância Unitária de Erdős

Paul Erdős foi um matemático incrivelmente prolífico, com mais de 1.500 artigos publicados. Ele tinha um talento especial para criar problemas que, à primeira vista, parecem simples, mas que escondem uma profundidade matemática imensa. Em 1946, ele propôs a conjectura da distância unitária. Imagine que você tem um conjunto de pontos em um plano bidimensional. A pergunta é: qual o número máximo de pares desses pontos que podem estar a uma distância exata de uma unidade um do outro? É como espalhar grãos de café em uma mesa e tentar maximizar quantos deles estão a exatamente um centímetro de distância um do outro. Para poucos pontos, é possível encontrar a resposta exata. Mas à medida que o número de pontos cresce, o problema se torna exponencialmente complexo, um verdadeiro labirinto de possibilidades. A IA da OpenAI conseguiu refutar uma parte crucial dessa conjectura, mostrando que o limite superior para o número de distâncias unitárias é menor do que se pensava, um feito notável!

Fonte: https://arstechnica.com/ai/2026/06/openais-math-breakthrough-played-to-ais-strengths/