Coloque seu chapéu de matemática por um minuto e vamos dar uma olhada no que foi essa briga de meados de outubro. É um exemplo perfeito do que há de errado com a IA no momento.
Bubeck estava entusiasmado com o fato de o GPT-5 parecer ter resolvido de alguma forma uma série de quebra-cabeças conhecidos como problemas de Erdős.
Paul Erdős, um dos matemáticos mais prolíficos do século XX século, deixou para trás centenas de quebra-cabeças quando morreu. Para ajudar a acompanhar quais foram resolvidos, Thomas Bloom, matemático da Universidade de Manchester, no Reino Unido, criou o erdosproblems.com, que lista mais de 1.100 problemas e observa que cerca de 430 deles vêm com soluções.
Quando Bubeck comemorou a descoberta do GPT-5, Bloom foi rápido em denunciá-lo. “Esta é uma deturpação dramática”, escreveu ele no X. Bloom explicou que um problema não está necessariamente sem solução se este site não listar uma solução. Isso significa simplesmente que Bloom não tinha conhecimento de nenhum. Existem milhões de artigos de matemática por aí e ninguém leu todos eles. Mas o GPT-5 provavelmente sim.
Descobriu-se que, em vez de apresentar novas soluções para 10 problemas não resolvidos, o GPT-5 vasculhou a Internet em busca de 10 soluções existentes que Bloom não tinha visto antes. Ops!
Existem duas lições aqui. Uma delas é que afirmações ofegantes sobre grandes avanços não deveriam ser feitas através das mídias sociais: menos reflexos e mais testes instintivos.
A segunda é que a capacidade do GPT-5 de encontrar referências a trabalhos anteriores dos quais Bloom não tinha conhecimento também é incrível. O hype ofuscou algo que deveria ser bem legal por si só.
Os matemáticos estão muito interessados em usar LLMs para vasculhar um grande número de resultados existentes, disse-me François Charton, um cientista pesquisador que estuda a aplicação de LLMs à matemática na startup de IA Axiom Math, quando conversei com ele sobre essa pegadinha de Erdős.
