Um sistema da OpenAI resolveu um enigma geométrico de décadas, segundo o Bitcoin News. A inteligência artificial abordou o problema da distância unitária, proposto por Paul Erdős em 1946, marcando um avanço significativo na pesquisa matemática em 27 de maio de 2026.
O que aconteceu
O problema da distância unitária pergunta quantos pares de pontos que estão exatamente a uma unidade de distância podem existir entre n pontos em um plano plano. O sistema da OpenAI apresentou uma nova construção, superando as expectativas anteriores ao produzir configurações com n^(1+δ) pares de distância unitária. Matemáticos de Princeton verificaram o resultado, com figuras reconhecidas como Tim Gowers e Arul Shankar reconhecendo sua importância.
Gerações de matemáticos limitaram seus esforços a técnicas tradicionais, que sugeriam que o crescimento girava em torno de n^(1+o(1)). No entanto, a sugestão da IA combinou insights geométricos com teoria dos números algébrica avançada. Isso sinalizou uma mudança na metodologia, onde a IA pode ajudar a explorar novas avenidas dentro de problemas estabelecidos.
Por que isso é importante
Essa conquista indica uma potencial transformação na colaboração matemática. Representa um novo tipo de processo de pesquisa onde máquinas propõem soluções candidatas. Especialistas veem isso como um modelo promissor para ampliar descobertas em várias áreas, incluindo teoria da codificação e criptografia, que dependem de provas e construções complexas.
Contexto
Em 20 de maio de 1946, Paul Erdős propôs o problema da distância unitária, desencadeando um desafio duradouro para os matemáticos. Durante décadas, pesquisadores utilizaram vários métodos, como organizar pontos em grades, para entender a questão, mas obtiveram resultados limitados. O problema permaneceu sem solução até que a OpenAI interveio com sua abordagem inovadora.
O que vem a seguir
A colaboração futura entre matemáticos e IA pode remodelar metodologias em disciplinas matemáticas, à medida que equipes buscam inovar e aprimorar práticas tradicionais de resolução de problemas até o final do ano.
