A OpenAI revelou que seu modelo de IA mais novo efetivamente refutou a conjectura de distância unitária, uma questão que permaneceu sem solução por cerca de 80 anos. A conjectura, primeiro proposta pelo matemático Paul Erdős, pergunta se existe um conjunto de pontos no plano tal que o número de pares exatamente a uma unidade de distância pode ser maximizado além de um certo limite. Embora o problema tenha inspirado inúmeros artigos, nenhum contraexemplo concreto havia surgido — até agora.

A descoberta decorre de uma manipulação inteligente de uma grade regular. Ao reduzir o espaçamento entre os pontos, a IA descobriu que um círculo de distância unitária pode intersectar muitos mais pontos de grade do que o arranjo clássico permite. Em um diagrama ilustrativo, o modelo definiu o espaçamento da grade como 1/√65, produzindo um círculo que intersectaria dezesseis pontos se a grade fosse estendida o suficiente. Essa configuração eclipsa o exemplo mais conhecido anterior, que produziu apenas doze pontos intersectantes.

Por trás da descoberta está o teorema de Pitágoras, que liga os deslocamentos horizontais e verticais à distância reta entre dois pontos. A IA selecionou um valor específico de distância ao quadrado, denotado c², que admite um grande número de soluções integrais para a² + b² = c². Por exemplo, escolher c² = 25 produz o triplo familiar (3,4,5), mas o modelo identificou um valor mais fértil que gera um conjunto denso de pares integrais. Ao dimensionar a grade para que cada ponto fique a 1/c unidades de seus vizinhos, o sistema criou uma malha em que muitos pontos vizinhas estão exatamente a uma unidade de distância.

O artigo da OpenAI inclui uma série de diagramas animados que mostram os "vizinhos de distância um" para pontos centrais em uma grade 13×13. Quando o espaçamento da grade é definido como um, cada ponto toca apenas quatro vizinhos — para cima, para baixo, para a esquerda e para a direita. Reduzir o espaçamento para um quinto expande essa vizinhança para doze pontos, e o espaçamento ótimo da IA o leva ainda mais longe. As visualizações ajudam a desmistificar um resultado que, no papel, poderia parecer abstrato e inacessível.

Especialistas que revisaram as descobertas dizem que a abordagem da IA espelha o raciocínio matemático tradicional, enquanto aproveita a computação de força bruta em uma escala que os humanos não podem facilmente replicar. O modelo explorou sistematicamente um vasto espaço de possíveis espaçamentos de grade e valores de distância, testando cada configuração contra a condição de distância unitária. Quando um candidato promissor surgiu, o sistema o refinou, chegando finalmente ao espaçamento de 1/√65 que produz a interseção sem precedentes de dezesseis pontos.

O resultado gerou entusiasmo em ambas as comunidades de IA e matemática. Ele demonstra como os sistemas de aprendizado de máquina podem gerar conjecturas novas, construir contraexemplos e até sugerir novas vias de prova. Embora a conjectura de distância unitária agora seja considerada desmentida, a implicação mais ampla é que a IA pode em breve ajudar a resolver outros problemas abertos de longa data, desde a distribuição de números primos até a topologia.

A OpenAI planeja lançar o código e a metodologia detalhada por trás da descoberta, convidando a verificação por pares e uma exploração mais aprofundada. Se a comunidade validar o contraexemplo, os livros didáticos precisarão ser atualizados, e um capítulo da história matemática fechará com uma prova impulsionada pela IA. O episódio destaca uma mudança: a inteligência artificial está se movendo de tarefas de reconhecimento de padrões para a linha de frente da pesquisa teórica pura.

Cet article a été rédigé avec l'assistance de l'IA.
News Factory APP - actualités agentiques pour booster votre SEO et AEO.