OpenAI diz que IA resolveu problema matemático de 80 anos

OpenAI afirma que uma IA resolveu o problema da distância unitária no plano, desafio matemático proposto por Paul Erdős em 1946

A OpenAI declarou que um dos seus modelos internos de inteligência artificial conseguiu solucionar um problema matemático que permanecia sem resposta há cerca de 80 anos, com um resultado que depois foi analisado e confirmado por matemáticos. O comunicado foi divulgado na semana passada e diz respeito ao conhecido problema da distância unitária no plano, proposto pelo matemático húngaro Paul Erdős em 1946.

De acordo com a empresa, a descoberta representa um progresso significativo na capacidade da IA de enfrentar questões matemáticas de alta complexidade. A OpenAI também afirma que essa seria a primeira vez que uma inteligência artificial resolve, de maneira independente, um problema em aberto considerado fundamental dentro de uma área específica da matemática.

O que é o problema da distância unitária no plano
O problema formulado por Erdős procura responder a uma questão que parece simples à primeira vista: qual é o número máximo de pares de pontos que podem estar a uma distância exatamente igual a uma unidade em um plano bidimensional?

Na proposta original, Erdős indicava que esse valor tenderia a crescer ligeiramente mais rápido do que a quantidade total de pontos analisados. Desde então, pesquisadores têm trabalhado para estabelecer limites mais precisos para essa questão.

Até o momento, o melhor limite superior conhecido havia sido estabelecido em 1984. Segundo a OpenAI, o modelo teria identificado um conjunto de configurações que supera o limite associado a esse resultado anterior.

Modelo não foi treinado especificamente para matemática
Um dos pontos enfatizados pela OpenAI é que o modelo utilizado seria de propósito geral, sem ter sido treinado especificamente para esse tipo de desafio nem direcionado exclusivamente para tarefas matemáticas.

Em um artigo científico vinculado ao estudo, pesquisadores da empresa relataram que o sistema adotou uma estratégia considerada incomum ao substituir uma teoria tradicionalmente associada ao problema da distância unitária no plano.

A OpenAI também destacou que os conceitos aplicados já eram conhecidos por especialistas em teoria algébrica dos números, mas que chamou atenção o fato de essas ideias gerarem implicações relevantes para problemas de natureza geométrica.

Revisão humana confirmou os resultados
Embora a descoberta tenha sido atribuída ao sistema de inteligência artificial, a OpenAI ressaltou que matemáticos externos foram chamados para revisar e validar os resultados. Esses especialistas também elaboraram um artigo adicional detalhando o contexto da solução obtida pelo modelo.

O matemático Thomas Bloom, da Universidade de Manchester e responsável por um site dedicado aos problemas propostos por Erdős, afirmou no artigo complementar que a demonstração gerada pela IA é correta, mas passou por melhorias substanciais realizadas por pesquisadores humanos da OpenAI e outros matemáticos envolvidos no processo.

De acordo com Bloom, o papel dos humanos ainda é essencial para analisar, interpretar e refinar a prova matemática, além de explorar suas implicações e desdobramentos.

Comunidade matemática reage de forma positiva
As avaliações de matemáticos mencionadas pela OpenAI foram, em sua maioria, positivas. Tim Gowers, professor de matemática da Universidade de Cambridge, descreveu a solução como um marco no campo da produção matemática assistida por inteligência artificial.

Segundo ele, caso o artigo tivesse sido escrito por um pesquisador humano e submetido à revista Annals of Mathematics, sua recomendação seria de aceitação imediata, sem ressalvas. Gowers também destacou que, até então, nenhuma demonstração produzida por IA havia atingido um nível comparável.

A OpenAI defende que o resultado evidencia o potencial de sistemas de inteligência artificial para contribuir em pesquisas científicas de ponta. Ainda assim, a empresa enfatiza que essas tecnologias devem atuar como ferramentas de suporte aos matemáticos, e não como substitutas do trabalho humano.

Histórico de alegações semelhantes
O anúncio vem após um episódio relacionado a declarações feitas pela OpenAI em outubro do ano passado. Na época, representantes da empresa, incluindo o gerente Kevin Weil e o executivo Sebastien Bubeck, disseram que o GPT-5 teria resolvido dez problemas matemáticos em aberto atribuídos a Erdős e feito progresso em outros onze.

Mais tarde, Bubeck recuou da afirmação e apagou a publicação original depois que especialistas, incluindo Thomas Bloom, indicaram que os problemas citados já tinham sido solucionados anteriormente por matemáticos humanos.

Fonte: Olhar Digital