A OpenAI anunciou, na semana passada, que um de seus modelos internos de inteligência artificial encontrou uma solução para o chamado problema da distância unitária no plano, formulado por Paul Erdős em 1946. A empresa afirma que a demonstração foi revisada e validada por matemáticos externos.

Quem e o que

A empresa OpenAI atribui ao seu sistema de raciocínio geral a descoberta de uma configuração que supera o limite superior mais preciso então conhecido para o problema da distância unitária no plano. Trata-se da primeira vez, segundo a organização, que uma IA resolve de forma autônoma um problema em aberto considerado central em uma área específica da matemática.

Quando e onde

O anúncio foi feito pela OpenAI na semana passada. O problema original foi proposto pelo matemático húngaro Paul Erdős em 1946 e permanece como um desafio clássico da geometria combinatória.

Como foi a solução

De acordo com o artigo de pesquisa associado ao trabalho, o modelo não foi treinado especificamente para matemática. A equipe da OpenAI afirma que o sistema empregou uma abordagem inédita que substitui uma teoria normalmente ligada ao problema da distância unitária no plano. Os conceitos utilizados são conhecidos na teoria algébrica dos números, e a surpresa teria sido identificar suas implicações para questões geométricas.

Validação humana

A OpenAI convidou pesquisadores externos para revisar a demonstração. O matemático Thomas Bloom, da Universidade de Manchester e responsável por um site sobre problemas de Erdős, avaliou que a prova gerada pela IA é válida, mas observou que ela foi significativamente aprimorada por matemáticos da OpenAI e por outros colaboradores humanos. Bloom ressaltou a importância da participação humana para interpretar, aperfeiçoar e estudar as consequências da prova.

Reação da comunidade

Matemáticos citados pela OpenAI reagiram de forma majoritariamente positiva. O professor Tim Gowers, da Universidade de Cambridge, descreveu a solução como um marco para resultados matemáticos produzidos por inteligência artificial, afirmando que, se fosse um artigo humano submetido à revista Annals of Mathematics, recomendaria sua aceitação sem hesitação.

Contexto e histórico

O anúncio ocorre após controvérsias do ano passado, quando representantes da OpenAI, incluindo Kevin Weil e Sebastien Bubkeck, afirmaram que o GPT-5 havia resolvido dez problemas atribuídos a Erdős e avançado em outros onze. Posteriormente, Bubkeck retratou a declaração e apagou a publicação depois que especialistas, entre eles Thomas Bloom, apontaram que alguns dos problemas já haviam sido resolvidos por matemáticos humanos.

Segundo a OpenAI, o resultado demonstra que sistemas de IA podem contribuir para pesquisas de fronteira, embora a empresa insista que a tecnologia deve atuar como ferramenta de apoio ao trabalho humano.

Com informações de Olhardigital