De acordo com pt.wedoany.com-Um sistema de IA de raciocínio geral da OpenAI, ainda não disponível ao público, gerou autonomamente uma demonstração matemática de 125 páginas, refutando uma famosa conjectura de 80 anos na geometria combinatória.
O problema, conhecido como problema da distância unitária, foi proposto pelo matemático Paul Erdős em 1946. A questão central é: dado um conjunto de pontos no plano, qual é o número máximo de pares de pontos que estão exatamente à mesma distância fixa? Durante décadas, a comunidade matemática formou um consenso de que a grade quadrada era a configuração ideal para este problema, mas essa visão nunca foi formalmente provada.
Para refutar esta conjectura, o modelo de IA identificou uma família infinita de arranjos de pontos cuja eficiência supera a da grade. Isso significa que o modelo não encontrou apenas um contraexemplo isolado, mas toda uma classe de configurações superiores, derrubando assim uma proposição de décadas. A demonstração foi verificada por nove matemáticos externos, incluindo o vencedor da Medalha Fields Tim Gowers, que sugeriu que o resultado fosse recomendado para publicação nos Annals of Mathematics. Outro verificador foi o matemático Thomas Bloom, que anteriormente criticou publicamente declarações falsas da própria OpenAI sobre matemática.
O que torna este resultado especial é que ele não veio de um sistema dedicado à matemática, mas de um modelo de raciocínio geral, que também pode ser usado para dar sugestões culinárias, resumir documentos e escrever textos. O modelo conectou linhas de raciocínio dispersas na literatura matemática, incluindo trabalhos de pesquisadores como Golod-Shafarevich (1964), Ellenberg-Venkatesh (2007/2016) e Hajir-Maire-Ramakrishna (2021).
O artigo publicado na plataforma de pré-impressão arXiv, intitulado "Comentários sobre a refutação da conjectura da distância unitária", converteu a demonstração de 125 páginas gerada pela IA em uma linguagem matemática mais curta, clara e verificável. No artigo de verificação independente, os autores simplificaram e generalizaram o argumento original, contextualizando a demonstração na literatura existente e refletindo sobre a relação entre matemáticos e sistemas de IA.
Especialistas apontam que o problema que gerou este resultado não exigia explicitamente a refutação da conjectura, sendo apenas uma questão em aberto sobre sua veracidade. O modelo concluiu autonomamente que a conjectura era falsa e completou a demonstração. A OpenAI afirma que esta é a primeira vez que uma inteligência artificial resolve de forma independente um problema central em aberto na matemática. A demonstração aguarda publicação formal no arXiv, mas a ferramenta que a gerou permanece não divulgada. O matemático da OpenAI, Mark Sellke, avaliou para a revista Nature: "Isto representa um salto enorme em relação aos resultados que estávamos acostumados a ver há um mês."
