A matemática gerada por IA tem um problema humano

Por Hanna Press

Os avanços da IA na matemática atingiram mais um benchmark, com a OpenAI publicando mais de 700 manuscritos de um modelo ainda não lançado, poucos dias depois de a Meta ter compartilhado diversos artigos escritos por matemáticos usando seu modelo Muse Spark.

Por que é importante: a IA está produzindo pesquisas matemáticas mais rápido do que os humanos conseguem lê-las. As conversas anteriores giravam em torno de seres humanos guiando a IA e o que perdemos quando ela avança rápido demais. O cálculo mais recente a ser resolvido se aplica muito além do mundo das provas e teoremas: o que acontece se não conseguirmos acompanhar?

Chegando às manchetes: os manuscritos matemáticos da OpenAI abrangem 372 famílias de resultados, cada um dos quais a empresa diz que resolve ou faz um progresso substancial em um problema em aberto em matemática ou ciência da computação teórica. Muitas das provas foram verificadas por software em busca de erros em sua lógica. Outras não, e a OpenAI reconhece que podem conter erros.

O que os especialistas estão dizendo: no episódio desta semana do Mixture of Experts, o painel debateu o que esses mais recentes avanços na matemática gerada por IA significam para as pessoas que precisam entender tudo. IBM

O Fellow Kush Varshney disse que a matemática é mais do que as frações e multiplicações que a maioria de nós aprendeu na escola. "É o processo de pensamento que entra em um mundo definido por alguns axiomas e postulados e é capaz de mostrar definitivamente, sem sombra de dúvida, que alguma propriedade é válida", disse ele. "É uma jornada de compreensão.

Skyler Speakman, Cientista de Pesquisa Sênior da IBM, destacou que a atenção humana tem limites. “Somos seres finitos aqui”, disse ele. “Será que esse é o início de uma rotina contínua em que os seres humanos têm que lidar com conteúdo gerado por IA? Já vimos isso acontecer em outros lugares, mas é aqui que realmente ganha força no campo da matemática”?

Nas entrelinhas: se a IA está fazendo o trabalho de encontrar as respostas, os seres humanos têm a responsabilidade de entendê-las. Varshney citou um artigo recente da Quanta Magazine que levantou a ideia de matemáticos se tornarem intérpretes. "Não são os seres humanos que estão fazendo os cálculos, mas eles os interpretam, eles os entendem para o resto da humanidade", disse ele.

O outro lado da moeda: Utsav Dholakia, Engenheiro de Implementação Avançada da IBM, argumentou que os seres humanos que ficarem para trás podem não ser uma perda, apesar de tudo. "É realmente tão ruim se houver outra ferramenta, outro tipo de ser inteligente virtual, que possa nos ajudar a descobrir alguns aspectos fundamentais do mundo ao nosso redor?" ele perguntou. "Talvez nossos cérebros nem tenham sido projetados para pensar além de três ou quatro dimensões".

O que observar: até agora, a IA tem enfrentado perguntas que os matemáticos fizeram há décadas. Speakman apresentou a próxima grande pergunta: "Quando a IA poderá fazer a nova pergunta matemática"?

Assista ao episódio completo do Mixture of Experts no YouTube, Spotify ou Apple Podcasts.