A inteligência artificial já começa a influenciar diretamente a resolução de problemas matemáticos que desafiaram pesquisadores por décadas. Pouco depois de um modelo da OpenAI derrubar uma conjectura de 80 anos, um novo avanço mostrou que a mesma linha de raciocínio também pode ser usada por matemáticos humanos para refutar outra hipótese clássica formulada por Paul Erdős em 1976.
O caso mais recente foi conduzido por Thomas Bloom, da Universidade de Manchester, e sua equipe. Os pesquisadores recorreram a um truque matemático em dimensões muito altas, semelhante ao método que havia chamado atenção na refutação anterior, para mostrar que a chamada conjectura da soma-produto não se sustentava da forma como Erdős havia proposto. A descoberta sugere que a IA não está apenas resolvendo problemas, mas também abrindo caminhos conceituais que passam a ser explorados por especialistas humanos.
O impacto vai além de um resultado isolado. A rapidez com que conjecturas históricas começaram a cair reforça a sensação de mudança profunda no campo da matemática. A própria edição da revista destaca que pesquisadores já discutem se a área vive uma crise existencial ou o início de uma nova era, impulsionada por ferramentas capazes de propor ideias, atalhos e estruturas que antes escapavam ao repertório humano tradicional.
A leitura que começa a ganhar força é que o futuro da matemática pode ser menos sobre substituição e mais sobre colaboração. Mesmo quando a IA encontra uma pista decisiva, ainda são os matemáticos que validam, interpretam e consolidam o resultado. Isso transforma a tecnologia em aceleradora de descobertas, mas mantém os especialistas no centro da construção do conhecimento.
