Tudo sobre OpenAI
A OpenAI afirmou que um de seus modelos internos de inteligência artificial resolveu um problema matemático aberto há oito décadas, em um resultado que foi posteriormente revisado e validado por matemáticos. O anúncio foi feito na semana passada e envolve o chamado problema da distância unitária no plano, formulado pelo matemático húngaro Paul Erdős em 1946.
Continua após a publicidade
Segundo a empresa, a solução representa um avanço importante na capacidade da IA de lidar com questões matemáticas complexas. A OpenAI também afirma que esta seria a primeira vez que uma inteligência artificial resolve de forma autônoma um problema em aberto considerado central para uma área específica da matemática.
O que é o problema da distância unitária no plano
O problema proposto por Erdős busca responder a uma pergunta aparentemente simples: qual é o número máximo de pares de pontos que podem estar separados por exatamente uma unidade de distância em um plano bidimensional?
Na formulação original, Erdős sugeriu que esse número cresceria um pouco mais rápido do que a quantidade total de pontos considerados. Desde então, matemáticos tentam estabelecer limites para a questão.
Até agora, o limite superior mais preciso conhecido havia sido definido em 1984. De acordo com a OpenAI, seu modelo encontrou um conjunto de configurações que ultrapassou o limite associado ao trabalho anterior.
Modelo não foi treinado especificamente para matemática
Um dos aspectos destacados pela OpenAI é que o modelo utilizado seria de raciocínio geral e não teria sido treinado especificamente para resolver esse problema nem para atuar exclusivamente em matemática.
Em um artigo de pesquisa associado ao trabalho, os cientistas da empresa afirmaram que o sistema empregou uma abordagem considerada inédita para substituir uma teoria normalmente ligada ao problema da distância unitária no plano.
A OpenAI afirmou ainda que os conceitos utilizados já eram conhecidos por especialistas em teoria algébrica dos números, mas que foi surpreendente identificar implicações dessas ideias para questões geométricas.
Revisão humana confirmou os resultados
Apesar de atribuir a descoberta à inteligência artificial, a OpenAI destacou que matemáticos externos foram convidados para revisar e confirmar os resultados. Esses pesquisadores também produziram um artigo complementar explicando o contexto da solução encontrada pelo modelo.
O matemático Thomas Bloom, da Universidade de Manchester e responsável pelo site dedicado aos problemas de Erdős, afirmou no trabalho complementar que a demonstração produzida pela IA era válida, mas foi significativamente aprimorada por pesquisadores humanos da OpenAI e por outros matemáticos envolvidos.
Segundo Bloom, a participação humana continua sendo fundamental para discutir, interpretar, aperfeiçoar a prova matemática e investigar suas consequências.
Comunidade matemática reage de forma positiva
As reações de matemáticos citadas pela OpenAI foram majoritariamente favoráveis. Tim Gowers, professor de matemática da Universidade de Cambridge, classificou a solução como um marco para a matemática produzida por inteligência artificial.
Continua após a publicidade
De acordo com ele, se o artigo tivesse sido escrito por um pesquisador humano e submetido à revista Annals of Mathematics, sua recomendação seria pela aceitação sem hesitação. Gowers também afirmou que nenhuma demonstração gerada por IA havia alcançado um nível semelhante anteriormente.
A OpenAI argumenta que o resultado serve como uma demonstração de que sistemas de IA podem contribuir para pesquisas de fronteira. Ainda assim, a empresa ressalta que a tecnologia deve funcionar como ferramenta de apoio aos matemáticos, e não como substituta do trabalho humano.
Histórico de alegações semelhantes
O anúncio ocorre após um episódio envolvendo declarações feitas pela OpenAI em outubro do ano passado. Na ocasião, representantes da empresa, incluindo o gerente Kevin Weil e o executivo Sebastien Bubkeck, afirmaram que o GPT-5 havia resolvido dez problemas matemáticos não solucionados atribuídos a Erdős e avançado em outros onze.
Continua após a publicidade
Posteriormente, Bubkeck retirou a afirmação e apagou sua publicação inicial após especialistas, entre eles Thomas Bloom, apontarem que os problemas mencionados já haviam sido resolvidos anteriormente por matemáticos humanos.
Ana Luiza Figueiredo
Ana Figueiredo é repórter de tecnologia do Olhar Digital. É formada em jornalismo pela Universidade Federal de Uberlândia (UFU).
Ver todos os artigos →
