OpenAI anuncia avanços em 377 problemas matemáticos; comunidade científica reage com espanto

A OpenAI fez um anúncio que atravessou a comunidade matemática como uma onda de choque. A empresa, criadora do ChatGPT, revelou que sua inteligência artificial havia resolvido 377 problemas matemáticos — alguns deles entre os mais desafiadores que a disciplina conhece. O número exato flutua entre relatos: 372 em alguns, 377 em outros, mas a magnitude é o que importa. Não se trata de problemas de exercício. Estão incluídos questões de complexidade genuína, como o famoso problema de Navier-Stokes, que permaneceu sem solução por séculos e integra a lista dos Problemas do Milênio do Clay Mathematics Institute.

O que torna o anúncio particularmente notável é a escala e a velocidade. A OpenAI não resolveu esses problemas um por um, ao longo de anos de pesquisa incremental. Usou sua IA para fazer 372 avanços matemáticos simultaneamente, em um único esforço coordenado. Para uma comunidade acostumada ao ritmo deliberado da prova matemática — onde uma única descoberta pode ocupar décadas de trabalho — a notícia funcionou como um ponto de inflexão.

Matemáticos reagiram com uma mistura de espanto e preocupação. As descrições que emergiram foram intensas: devastador, de tirar o fôlego. Essas não são palavras que a comunidade científica usa levianamente. Elas sugerem que algo fundamental sobre como a pesquisa matemática funciona, e quem a conduz, está sendo reconfigurado em tempo real. O anúncio não apenas demonstrou capacidades técnicas impressionantes. Levantou questões profundas sobre o futuro da disciplina, sobre o papel que máquinas treinadas em padrões de dados assumirão na descoberta matemática, e sobre o que significa ser um matemático em um mundo onde a IA pode resolver centenas de problemas que resistiram ao esforço humano.

O caso Navier-Stokes merece atenção particular. Essa equação diferencial parcial descreve o movimento de fluidos e é fundamental para a física, a engenharia e a meteorologia. Sua solução — ou a prova de que não existe — é um dos sete Problemas do Milênio, cada um com um prêmio de um milhão de dólares oferecido pelo Clay Institute. Que a IA da OpenAI tenha contribuído para avanços nessa direção não é um detalhe técnico. É um símbolo de uma mudança de regime.

O que permanece em aberto é como a comunidade matemática integrará essa capacidade. Haverá ceticismo sobre a validade de algumas soluções, sobre se a IA realmente compreende a matemática ou apenas manipula símbolos de forma convincente. Haverá também questões práticas: como essas descobertas são verificadas? Quem recebe crédito? Como as universidades e instituições de pesquisa adaptam seus programas e suas expectativas? O anúncio da OpenAI não encerra essas conversas. Ele as inaugura, com urgência.