TLDR;

A IA apresentou uma nova construção que demonstra que U(n) pode crescer pelo menos como n^{1+δ} para algum δ>0 fixo, ou seja, produz configurações com muito mais arestas de distância um do que o limite antes conhecido. Portanto a conjectura de Erdős de que o limite inferior n^{1+c/ log log n} seria assintoticamente ótimo foi refutada, pois um incremento constante δ vence o termo c/ log log n para n grandes. O trabalho foi divulgado pela OpenAI com um paper acompanhante e recebeu elogios de matemáticos como Timothy Gowers e Noga Alon, sendo visto como um marco em “AI mathematics” que, apesar do entusiasmo, seguirá submetido ao escrutínio e validação da comunidade.

Resumo

Uma inteligência artificial acaba de provar um resultado matemático de grande peso: ela refutou uma conjectura clássica sobre o problema das distâncias unitárias de Erdős, que pergunta qual é o máximo número de pares de pontos à distância um em um conjunto de n pontos no plano. Construções óbvias (como grades) dão ordem n, e Erdős em 1946 mostrou um preenchimento que fornece um limite inferior n^{1 + c / log log n}, e conjecturou que tal limite era essencialmente ótimo. O novo trabalho da IA desenvolve um método que produz uma família com pelo menos n^{1+δ} arestas unitárias para algum δ>0 fixo, superando o termo com 1/log log n e, assim, derrubando a conjectura de Erdős. A prova explora empilhamentos de redes regulares em dimensões elevadas e projeções para o plano, obtendo mais pares à distância unitária do que se pensava possível. OpenAI publicou um artigo e um documento acompanhante com opiniões de matemáticos renomados (entre eles Timothy Gowers e Noga Alon), que consideram a conquista um marco em “IA-matemática”. Diferente de resultados anteriores do tipo, este resolve um problema famoso e amplamente estudado, sinalizando que ferramentas de IA já podem fazer avanços substanciais em questões matemáticas profundas.