IA da OpenAI Desafia Consenso Matemático de 80 Anos
IA da OpenAI refuta um consenso matemático de 80 anos com uma prova de 125 páginas. Modelo de raciocínio geral identifica arranjos de pontos mais eficientes que a grade quadrada.
Um modelo de inteligência artificial da OpenAI, ainda não disponível ao público, refutou autonomamente um consenso matemático de 80 anos sobre um problema da geometria combinatória. O sistema gerou uma prova de 125 páginas que contesta a crença vigente sobre a configuração ótima para o problema das distâncias unitárias, formulado por Paul Erdős em 1946.
A comunidade matemática acreditava, sem prova formal, que a grade quadrada era a configuração ideal. No entanto, a IA identificou uma família infinita de arranjos de pontos mais eficientes, derrubando a proposição de décadas. A prova foi validada por nove matemáticos externos, incluindo o ganhador da Medalha Fields, Tim Gowers.
O feito é notável pois não veio de um sistema especializado, mas de um modelo de raciocínio de uso geral, indicando o avanço em capacidades sofisticadas de raciocínio dessas IAs. A OpenAI considera este o primeiro caso de uma IA resolvendo autonomamente um problema aberto de relevância central em um campo da matemática.