A IA pode estar prestes a redefinir quem — ou o quê — descobre matemática nova. 🤖📐 Para Steven Strogatz, de Cornell, pesquisadores não conseguirão competir na fronteira sem usar IA. É uma virada histórica — e cheia de possibilidades. 🧵

Imagem indisponível

O alerta veio após uma sequência impressionante: a OpenAI disse ter usado dezenas de milhares de agentes de IA em um problema de cerca de 90 anos ligado às equações de Navier-Stokes. A proposta ainda precisa de revisão independente, como deve ser na ciência.

Antes disso, a Anthropic anunciou que o Claude provou 29,5 mil pequenos teoremas ao formalizar uma prova relacionada ao Último Teorema de Fermat. Não é só “responder perguntas”: é navegar cadeias gigantescas de raciocínio verificável.

Imagem indisponível

A parte mais fascinante? IA não precisa substituir matemáticos. Ela pode virar um acelerador: testar hipóteses, encontrar padrões e eliminar caminhos improdutivos, enquanto pessoas formulam boas perguntas, interpretam resultados e criam novas ideias.

Mas velocidade sem transparência não basta. Créditos, autoria e validação estão no centro do debate: trabalhos de Diego Córdoba, Luis Martínez-Zoroa, Tristan Buckmaster e Levent Alpöge mostram que descobertas têm história — e reconhecimento importa.

Imagem indisponível

Strogatz chama 2026 de possível annus mirabilis ou annus horribilis da matemática. O divisor de águas será manter rigor, revisão por pares e ferramentas acessíveis à comunidade científica, em vez de concentrar capacidade em poucas empresas.

Se usada com responsabilidade, a IA pode democratizar a pesquisa: estudantes e laboratórios menores ganham apoio para explorar problemas antes inacessíveis. A matemática não acaba — ela ganha uma nova linguagem de colaboração entre humanos e máquinas. ✨

Imagem indisponível