'É incrível': como a IA está transformando a matemática

Um jovem inglês sem diploma, Liam Price, resolveu um dos famosos problemas de Erdős — o número 1196 — usando o ChatGPT. Não se trata de um cálculo monstruoso, mas de uma solução que surpreendeu até mesmo os especialistas, porque o ChatGPT encontrou um novo caminho, fora dos padrões humanos. A tese aqui é que a inteligência artificial já está mudando a matemática, não apenas acelerando os cálculos, mas chegando a intuições que nem mesmo os matemáticos jamais tinham visto. Até agora, pensava-se que a IA só poderia reorganizar técnicas conhecidas, mas agora a surpresa é que ela está começando a gerar ideias verdadeiramente originais — e a conectar diferentes campos com uma intuição que quase parece "pensamento". Veja Jared Duker Lichtman, matemático de Stanford: ele disse que é como se a IA tivesse encontrado uma nova abertura no xadrez, do tipo que nenhum ser humano jamais imaginou, porque estava preso a convenções e ao gosto estético. A história de Liam Price é perfeita: de sua casa na Inglaterra, junto com Kevin Barreto, um estudante de Cambridge, ele obtém do ChatGPT uma solução que não parte da probabilidade — o caminho clássico — mas permanece na linguagem original do problema, e ainda assim conecta números e probabilidades de uma maneira inédita. Terence Tao, um dos matemáticos mais brilhantes da atualidade, diz que essa reviravolta era impensável há um ano: naquela época, pensava-se que os modelos linguísticos nunca iriam além do que tinham "lido" nos livros. Mas agora vemos algo que foge do comum, tanto que Sébastien Bubeck, da OpenAI, fala em algo "incrível". Há quem relativize: Daniel Litt, da Universidade de Toronto, diz que os resultados ainda são modestos, mas adverte que o ceticismo é despropositado — o verdadeiro mistério é por que a IA, com seu conhecimento sobre-humano e sua resistência sem esforço, ainda não fez descobertas revolucionárias. Talvez, diz Litt, não entendamos o que realmente é o "toque secreto" humano na matemática, aquela criatividade que ninguém consegue explicar. Outro dado: os modelos de hoje conseguem produzir demonstrações de 3 a 4 páginas, os do Google estão mirando em 10, mas levará tempo para chegar a 100. Enquanto isso, Lauren Williams, de Harvard, alerta: mais IA significa mais "slop", ou seja, demonstrações que parecem perfeitas, mas estão cheias de erros — e ninguém tem tempo para verificar todas elas. A perspectiva que falta é o esforço humano: a matemática, durante séculos, foi um exercício de resistência e solidão mental. Se a IA elimina o esforço, a maravilha permanece, mas talvez também se perca um pedaço do que realmente torna um matemático um matemático. A frase que resume tudo: a IA não está apenas resolvendo problemas, está mudando as regras do jogo da matemática. Se você acha que esta história diz respeito a você, no Lara Notes você pode clicar em I'm In — é a sua maneira de dizer: esta ideia agora é sua. E se amanhã você contar a alguém que um rapaz sem diploma usou o ChatGPT para resolver um problema de Erdős, no Lara Notes você pode marcar isso: Shared Offline é a maneira de dizer que aquela conversa importava. Isso veio da Nature e economiza 2 minutos do seu tempo.