A “Olimpíada da Matemática” reuniu milhares de mentes em Filadélfia — e a conversa foi muito além de números: IA, Lean e colaboração global entraram no centro do palco. 🧮🌍🧵

Imagem indisponível

Realizado a cada quatro anos pela União Matemática Internacional, o Congresso Internacional de Matemáticos (ICM) é onde pesquisadores apresentam descobertas, criam pontes e celebram a disciplina que sustenta boa parte da ciência moderna.

O ICM 2026 durou oito dias, com palestras, oficinas e encontros improváveis. Foi a primeira edição nos EUA desde 1986 — um retorno simbólico em um período no qual a cooperação internacional enfrenta barreiras crescentes.

Imagem indisponível

Na abertura, o presidente da IMU, Hiraku Nakajima, resumiu o desafio: matemáticos precisam conseguir se encontrar, conversar e trabalhar juntos. Parece simples, mas exige confiança, esforço contínuo e compromisso compartilhado.

Para Sonya Farr, pesquisadora do Instituto Max Planck, a escala muda tudo: em congressos de sua área, ela costuma conhecer 49 das 50 pessoas presentes. No ICM, cruzou com especialistas que dificilmente encontraria em sua rotina.

Imagem indisponível

É nessas colisões entre áreas que surgem perguntas novas. Pesquisadores de campos distintos passaram a discutir como ferramentas como IA e Lean — linguagem de prova formal — podem transformar a forma de construir e verificar teoremas.

A tecnologia não elimina a criatividade matemática, mas pode ampliar o que é possível explorar. O desafio é fazer essa transformação circular por universidades e países diversos, sem concentrar recursos e conhecimento em poucos centros.

Imagem indisponível

Entre fórmulas, debates e futuras Medalhas Fields, o ICM 2026 deixou uma lembrança poderosa: ciência avança mais longe quando ideias — e pessoas — conseguem atravessar fronteiras. ✨