Os Feitos Matemáticos da IA: Crise ou Nova Era de Descobertas?

O cenário da ciência fundamental está mudando sob nossos pés, especialmente na matemática, onde os recentes avanços da IA estão fazendo mais do que apenas resolver problemas; eles estão provocando uma 'crise existencial' entre as próprias mentes humanas que antes detinham o domínio exclusivo sobre o pensamento abstrato. Por décadas, a IA na matemática foi em grande parte relegada à assistência computacional, uma calculadora poderosa. Agora, modelos não comercializados de grandes players não estão apenas auxiliando, mas gerando de forma independente provas para enigmas que confundiram a humanidade por gerações, obrigando-nos a reavaliar nosso papel na busca pelo conhecimento.

Os últimos meses foram nada menos que um turbilhão, principalmente para os matemáticos. Em uma série vertiginosa de anúncios, modelos de IA enfrentaram alguns dos desafios mais formidáveis do campo. Notavelmente, a OpenAI anunciou, em 8 de setembro de 2026, a resolução de um dos cobiçados Problemas do Prêmio do Milênio, a equação de Navier-Stokes, que descreve o fluxo de fluidos. Essa descoberta, que ainda está em processo de confirmação, teria envolvido dezenas de milhões de dólares, 10.000 agentes trabalhando por 88 horas e 17 horas de verificação, produzindo uma solução que demonstra um resultado 'explosivo' para a equação sciencesetavenir.fr.

Este não foi um evento isolado. Anteriormente, em 20 de maio de 2026, a OpenAI revelou uma refutação gerada por IA da conjectura da distância unitária de Erdős, um problema de geometria combinatória que havia iludido os matemáticos desde 1946. Segundo especialistas, a IA realmente ofereceu uma ideia inovadora para encontrar este contraexemplo sciencesetavenir.fr. A empresa continuou sua série em 1º de agosto de 2026, publicando 'Dez avanços em matemática e ciência da computação teórica' alcançados por seu modelo Astra, incluindo a refutação da conjectura de rigidez de Connes openai.com. Para não ficar para trás, concorrentes como a Anthropic também anunciaram progressos significativos, com seu matemático Levent Alpöge descobrindo um contraexemplo para a conjectura Jacobiana (em aberto desde 1939) em 19 de julho de 2026, e posteriormente demonstrando a existência de uma estrutura complexa para a esfera de 6 dimensões em 23 de agosto de 2026 sciencesetavenir.fr. O volume impressionante dessas conquistas, incluindo soluções de IA para mais de 300 problemas em vários campos, foi descrito como uma