A OpenAI revelou na segunda-feira que seu modelo de raciocínio de uso geral resolveu o problema da distância unitária planar, uma questão em aberto na geometria discreta proposta pela primeira vez pelo matemático Paul Erdos em 1946. A conquista marca a primeira vez que um sistema de IA resolveu de forma autônoma um problema proeminente em aberto central para um campo da matemática.
O que a IA descobriu
Por quase 80 anos, os matemáticos acreditavam que as soluções ideais para o problema de Erdos se assemelhavam aproximadamente a grades quadradas. O modelo da OpenAI refutou essa suposição, gerando uma família inteiramente nova de construções que oferece melhor desempenho. A prova veio de um modelo de raciocínio de uso geral, não de um sistema construído especificamente para matemática, e foi formalizada na linguagem de verificação Lean.
Verificação de especialistas
O medalhista Fields Terence Tao revisou e aceitou a prova, dando-lhe credibilidade dentro da comunidade matemática. O resultado foi descrito como o início de uma nova era em que os sistemas de IA podem sustentar longas cadeias de raciocínio e conectar ideias entre campos remotos.
Implicações além da matemática
A OpenAI disse que as mesmas capacidades que possibilitaram esse avanço matemático acelerarão em breve o trabalho em biologia, física, engenharia e medicina. A empresa enfatizou que o julgamento humano continua essencial — a IA pode pesquisar, sugerir e verificar, mas as pessoas escolhem os problemas que importam e interpretam os resultados.