No domingo, em Pequim, um grupo liderado pelo medalhista Fields Shing-Tung Yau anunciou a “Aliança do Laboratório Yau para Matemática e Inteligência Artificial”. A aliança reúne oito institutos de pesquisa chineses e planeja criar uma rede com mais de 1.000 matemáticos que trabalharão em ferramentas de IA para a matemática. A iniciativa foi noticiada pelo South China Morning Post.
Por que matemáticos ocidentais estão preocupados
Na Europa e nos Estados Unidos, um número crescente de matemáticos de destaque está contestando as demonstrações geradas por IA. Vinte e cinco vencedores da Medalha Fields, entre eles Terence Tao e Peter Scholze, dizem que a dependência da IA pode reduzir a capacidade dos pesquisadores de acompanhar o raciocínio por trás de uma demonstração. Alguns defenderam um boicote a resultados gerados por IA, e outros estão alarmados com o grande número de artigos que agora listam uma ferramenta de IA como coautora.
A estratégia da China para a IA na matemática
A aliança chinesa se concentra no desenvolvimento de modelos especializados de IA capazes de produzir demonstrações verificáveis por máquina. Também quer que os sistemas expliquem seu raciocínio de forma que outros pesquisadores possam conferir. Yau alertou que, sem um esforço coordenado desse tipo, a China pode ficar atrás dos Estados Unidos na pesquisa matemática.
Por que importa
Se a aliança chinesa tiver sucesso, ferramentas de IA poderão se tornar padrão na pesquisa matemática, acelerando potencialmente as descobertas, mas também mudando a forma de verificar demonstrações. Para estudantes e profissionais, isso pode significar aprender a usar novos programas para entender ou conferir resultados produzidos por IA, enquanto o debate no Ocidente aponta para uma possível divergência sobre os rumos da disciplina.
