IA da OpenAI resolve desafio matemático de 80 anos

A OpenAI afirmou que um de seus modelos de IA resolveu a conjectura da distância unitária, proposta por Paul Erdős em 1946, fornecendo uma família infinita de exemplos com melhora polinomial.
A divulgação ocorreu em 20 de maio, via comunicado; a empresa não revelou detalhes sobre o modelo nem o método exato utilizado, e o trabalho foi verificado por especialistas independentes.
A abordagem usou a teoria algébrica dos números para escolher pontos cujas coordenadas são soluções de equações específicas, caminho considerado inesperado pelos matemáticos.
O resultado foi visto com surpresa por especialistas externos, com destaque para a possibilidade de Erdős gostasse da demonstração e para o interesse de teóricos em geometria discreta.
O estudo teve início com um prompt escrito por IA; a IA respondeu se a conjectura era verdadeira ou falsa, sem instrução prévia para refutar a solução de Erdős.

A OpenAI afirma ter usado um de seus modelos de IA para resolver a conjectura da distância unitária, um problema de geometria discreta proposto por Paul Erdős em 1946. A empresa informou que a solução ocorreu a partir de um único prompt e com a ajuda de um modelo interno, não especificando qual.

A descoberta foi divulgada em 20 de maio. Especialistas independentes, ligados a instituições distintas, validaram a veracidade do resultado sem detalhar o método exato empregado pela IA. A comunicação detalha que a IA apresentou uma família infinita de exemplos com melhoria polinomial.

Como a solução foi alcançada

Segundo o comunicado, a IA utilizou a teoria algébrica dos números para selecionar pontos cujas coordenadas resolvem equações específicas. O caminho é considerado inusitado pelos matemáticos, mas levou à demonstração de que a conjectura é falsa em termos de distância unitária.

A equipe de avaliação destaca que o modelo utilizado foi experimental e de raciocínio de propósito geral, não treinado exclusivamente para matemática. A demonstração exige uma leitura cuidadosa, com detalhes ainda não publicados publicamente pela OpenAI.

Repercussões e avaliações

Analistas ouvidos pela imprensa científica apontam que, se confirmada, a abordagem pode abrir novas perspectivas para geometria discreta e para o uso de IA em provas matemáticas complexas. A comunidade mantém cautela sobre o compartilhamento de etapas detalhadas.

Tom Trotter, matemático ligado à área, afirmou que o avanço é extraordinário, mesmo para quem acompanha Erdős desde suas contribuições. Pesquisadores veem potencial impacto em futuras investigações de problemas abertos da geometria discreta.