OpenAI refuta a conjectura das distâncias unitárias de Erdős: problema em aberto há 80 anos é encerrado por contraexemplo de IA

## OpenAI refuta a conjectura das distâncias unitárias de Erdős Em 1946, Paul Erdős propôs o problema das distâncias unitárias: dados n pontos no plano, qual é o número máximo de pares de pontos cuja distância é exatamente 1? Por quase 80 anos, os matemáticos acreditaram amplamente que a configuração em malha quadrada era a ótima. A OpenAI anunciou que seu modelo de raciocínio interno produziu a primeira prova por contraexemplo totalmente autônoma. **Pontos principais** - **Um contraexemplo, não uma prova**: o modelo não provou que a malha é ótima, mas construiu um contraexemplo: uma família infinita de conjuntos de pontos que supera o limite da malha por um fator polinomial explícito (refinado para n^1,014 por Sawin, de Princeton). - **Avaliações de peso**: Tim Gowers, medalhista Fields de 1998, chamou o feito de «marco da matemática com IA», dizendo que nenhuma prova gerada por IA havia chegado perto desse nível; Gil Kalai o comparou à prova assistida por computador do teorema das quatro cores, em 1976. - **Vitória de um modelo de uso geral**: o detalhe-chave é que se trata de um modelo de raciocínio de uso geral, nem treinado especificamente para matemática nem direcionado a esse problema. Ele encontrou por conta própria um caminho que gerações de geômetras combinatórios não viram. - **Controvérsia**: Andreas Thom acusa a OpenAI de ter usado pesquisa sua ainda não publicada, e a disputa continua; ao citar este trabalho, recomenda-se apresentá-la junto com o resultado. > Link original: [leia o original](https://pasqualepillitteri.it/en/news/3065/openai-erdos-unit-distance-conjecture-ai-breakthrough). O texto é um resumo, apenas para referência.