🧮IA da OpenAI resolve problema matemático que intrigava cientistas desde 1946
Um modelo da OpenAI acaba de resolver, de forma autônoma, um problema famoso da matemática que estava em aberto há quase 80 anos. O chamado 'problema da distância unitária no plano' foi proposto pelo lendário matemático Paul Erdős em 1946. Desde então, os melhores matemáticos do mundo acreditavam que as melhores soluções possíveis se pareciam com grades quadradas. --- A IA não só provou que essa crença estava errada como descobriu uma família inteiramente nova de construções que funciona melhor. É a primeira vez que uma inteligência artificial resolve sozinha um problema proeminente e central em um campo da matemática. Não estamos falando de IA como assistente de pesquisador: ela fez a descoberta por conta própria. --- O detalhe que deixa tudo mais impressionante é a escala. Esse não foi um projeto que exigiu meses de supercomputador. É um marco que levanta uma pergunta inevitável: se a IA já consegue contribuições originais para a matemática pura, o que vem pela frente?
Um modelo da OpenAI acaba de resolver, de forma autônoma, um problema famoso da matemática que estava em aberto há quase 80 anos. O chamado 'problema da distância unitária no plano' foi proposto pelo lendário matemático Paul Erdős em 1946. Desde então, os melhores matemáticos do mundo acreditavam que as melhores soluções possíveis se pareciam com grades quadradas.
— @OpenAI View on X
OpenAI resolve problema matemático de Erdős após 78 anos
Um modelo de linguagem da OpenAI resolveu, de forma autônoma, o problema da distância unitária no plano, proposto pelo matemático Paul Erdős em 1946. A descoberta não apenas confirmou uma solução existente, como identificou uma família inteiramente nova de construções que supera as abordagens tradicionais — algo que matemáticos de todo o mundo não haviam percebido em quase oito décadas.
O problema que intrigava a matemática
O problema da distância unitária no plano questiona qual é a quantidade mínima de pontos que garante que toda distância entre dois pontos seja igual a 1. Desde 1946, a comunidade matemática assumia que grades quadradas representavam a melhor solução possível. Essa crença persistiu mesmo após décadas de tentativas de otimização por alguns dos maiores especialistas do campo.
A IA da OpenAI demonstrou que essa suposição estava incorreta. O modelo gerou autonomamente uma construção mais eficiente, sem intervenção humana significativa na formulação da prova.
Por que isso importa para developers e builders brasileiros
O resultado representa uma mudança de paradigma. Até agora, modelos de IA eram utilizados como ferramentas de assistência — resumindo artigos, gerando código, ou sugerindo abordagens. Esta é a primeira vez que uma inteligência artificial produz uma contribuição original e verificável a um problema central da matemática pura.
Para a comunidade de desenvolvimento no Brasil, o caso sinaliza uma nova fase. Ferramentas de IA deixarão de ser apenas aceleradoras de produtividade e começarão a participar ativamente da geração de conhecimento técnico. Isso altera o perfil de habilidades mais valorizadas: a capacidade de formular perguntas corretas e validar resultados de IA torna-se tão importante quanto escrever código.
O que vem pela frente
O custo computacional do projeto foi relativamente baixo, diferente de outras conquistas que exigem meses de supercomputação. Essa acessibilidade sugere que modelos de linguagem podem se tornar instrumentos viáveis para exploração matemática em larga escala.
A questão central não é mais se a IA pode contribuir para a pesquisa acadêmica, mas como profissionais brasileiros integrarão essa capacidade em seus fluxos de trabalho. O mercado de tecnologia nacional precisará se adaptar a um cenário onde a inteligência artificial não apenas executa tarefas, mas descobre soluções que humanos não haviam identificado.