A divulgação de mais de 350 demonstrações matemáticas geradas por inteligência artificial pela OpenAI surpreendeu especialistas e provocou fortes reações na comunidade acadêmica internacional, sendo comparada por alguns ao trabalho de vencedores da mais alta honraria da área.

Impacto impressionante e reações da comunidade

“Se um ser humano tivesse feito isso, ganharia imediatamente uma Medalha Fields, sem discussão”, afirmou Alex Kontorovich, chefe do Departamento de Matemática da Universidade Rutgers (EUA), ao reagir à demonstração divulgada na última terça-feira (6). Para Martin Bridson, matemático da Universidade de Oxford e presidente do Clay Mathematics Institute, a divulgação foi “de tirar o fôlego”, com dezenas de milhares de páginas de novos resultados cobrindo diversas subáreas.

“Até muito recentemente, teria sido impossível imaginar que as fronteiras da matemática pudessem avançar tanto em um único dia”, disse Bridson.

Avanços em problemas complexos e na hipótese de Riemann

As soluções apresentadas abrangem questões cruciais em aberto na álgebra, teoria dos números, ciência da computação teórica, lógica matemática e topologia. Embora nenhum dos cinco Problemas do Prêmio do Milênio pendentes tenha sido totalmente resolvido, o conjunto inclui resultados com avanços indiretos importantes em todos eles.

Um dos destaques foi a demonstração da “hipótese de quase Riemann”, conjectura relacionada ao mais famoso Problema do Milênio. Ken Ono, professor da Universidade da Virgínia e matemático fundador da Axiom Math, pontuou que desse resultado decorreria uma verdadeira enciclopédia de consequências para pesquisas futuras.

Controvérsias e o futuro dos estudantes de pós-graduação

O cenário gerado pela tecnologia divide opiniões entre empolgação e preocupação com o ecossistema tradicional de revisão por pares e o valor futuro das pesquisas acadêmicas.

“A lista de problemas inclui vários que nortearam minha própria pesquisa”, afirmou Bridson por email, citando resultados específicos em teoria dos grupos, topologia e álgebra. “Refleti profundamente sobre todos esses problemas.”

O anúncio das soluções, acrescentou ele, “será empolgante para muitos, assustador para outros e devastador para alguns”.

“Em todos os casos, a luta para extrair a compreensão humana das formalidades das máquinas despertará uma ambição ainda maior em relação ao que alcançamos [trabalhando com agentes de IA] nesta nova era da matemática. Algumas de nossas montanhas favoritas foram conquistadas, mas, por trás delas, há montanhas maiores que podemos enfrentar com novos equipamentos”, afirmou o matemático.

“Devemos acolher o poder que as máquinas oferecem, mas não devemos ficar subordinados a seguir o caminho que elas ditam.”

A ex-presidente da Sociedade Americana de Matemática, Bryna Kra, destacou que o problema nº 145 tratava do “o problema de Rokhlin sobre como a mistura implica mistura de ordem superior”, respondendo a uma questão da década de 1940.

“A redação, no entanto, torna impossível compreendê-lo”, disse Kra, acrescentando que a revisão por pares tradicional deixou de existir nesse processo.

“A revisão por pares deixou de existir nesse processo”, afirmou ela. “Portanto, a questão é: que tipo de impacto terão esses resultados gerados por IA? A comunidade matemática levará muito tempo para assimilar tudo isso.”

“Talvez a questão mais relevante seja que, ao divulgar dessa maneira esse vasto acervo de material, as empresas estejam destruindo o ecossistema que tornou esse trabalho possível”, disse ela. “Embora esse conjunto de artigos tenha melhorado no que diz respeito às citações da literatura anterior, há inúmeros indícios de que eles se beneficiaram do acesso a muitos argumentos, dos quais apenas alguns foram publicados. O matemático que deseja usar essas ferramentas impressionantes para avançar em sua pesquisa corre, em vez disso, o risco de entregar suas ideias.”

O renomado professor emérito Jean-Pierre Serre também analisou o item nº 46 da lista, que resolve de forma afirmativa uma conjectura formulada por ele há quase 70 anos. Contudo, ele ponderou sobre os impactos na nova geração:

“Os matemáticos sentem prazer em fazer matemática de duas maneiras diferentes: aprendendo e descobrindo”, afirmou Serre. “Daí o conflito: a IA aumenta o primeiro prazer e reduz o segundo. O problema é que ela pode reduzir demais esse prazer; isso é especialmente grave para os jovens matemáticos.”

Estudantes como Thomas Carlson, doutorando na Universidade Estadual de Montana, reforçam o desafio prático que se avizinha para a comunidade intelectual.

“Acho que chegamos a um ponto em que precisamos considerar cuidadosamente a estrutura, os requisitos e o valor de um diploma de pós-graduação em matemática”, disse Carlson. “O que pode ser feito para garantir que alguém formado em 2028 tenha um diploma com o mesmo valor que o de alguém formado em 2023?”

Por fim, Kai Shaikh, doutorando na Universidade de Toronto, sintetizou o sentimento sobre a essência humana na disciplina:

“Assim como a fotografia de um marco de distância não consegue transmitir grande parte do valor de realmente fazer uma trilha, parece-me que provas sem histórias —ou até mesmo histórias sem esforço ou mistério e sem os primeiros vislumbres de criaturas estranhas— não são muito significativas nem valiosas para nós, seres humanos”, afirmou Shaikh.