IA na Matemática: A IA Trabalha para os Humanos, e sobre Eles

Em maio de 2026, a OpenAI publicou um contraexemplo à "Conjectura da Distância Unitária", refutando uma conjectura da teoria geométrica dos grafos que estava em aberto desde 1946. Isso se seguiu a outras soluções assistidas por IA para problemas de longa data, marcando um ponto de virada. Matemáticos como Abhishek Saha agora usam modelos de IA para lidar com trabalho rotineiro, descrevendo seu papel como o de um maestro, e não o da orquestra inteira. Alguns, como Trefor Bazett, veem o potencial para uma nova era de ouro, referenciando um artigo da Carnegie Mellon que resolveu um problema da teoria de Ramsey usando resolvedores SAT, código gerado por LLM e verificação formal de provas. Timothy Gowers, que previu essa era em 2000, tem sentimentos mistos, tendo visto a IA resolver seus próprios problemas de pesquisa. Ele teme a destruição da cultura matemática se os humanos pararem de construir conhecimento especializado. A Declaração de Leiden sobre IA e Matemática, assinada por mais de 3000 matemáticos, busca estabelecer diretrizes. A Epoch AI relatou progresso, mas observou que as categorias mais difíceis dos benchmarks permanecem sem solução. Terence Tao compara a situação à crise dos fundamentos do início do século XX, vendo-a como uma oportunidade para fortalecer a matemática, enquanto o ensaio de Kirwin Hampshire, "A Noite Escura da Matemática", oferece uma visão mais pessimista, sugerindo que as consolações são autoengano.