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.
Entre na conversa da comunidade