Do análise de gatos até os teoremas de Erdős: a inteligência artificial ataca cada vez mais as cimas da matemática

Modelos de IA estão migrando de tarefas humanísticas para resolver matemática complexa

*Atualmente, a maioria dos inteligências artificiais foi originalmente desenvolvida para trabalhar com texto e imagens, mas seus criadores cada vez mais reconhecem o potencial de aplicá‑los na matemática. Isso abre duas direções importantes:*

1. Progresso científico – novos modelos permitem encontrar soluções rapidamente que antes eram consideradas insolúveis.

2. Demonstração das capacidades da IA – sucessos em matemática servem como prova vívida da eficácia das tecnologias.

Exemplos de conquistas
- Um estudante de Cambridge usou o modelo OpenAI e resolveu o problema de Erdős, anteriormente considerado inatingível.
- Modelos apresentam resultados elevados na Olimpíada Internacional de Matemática e em outros concursos especializados.
- A ex‑membro do conselho diretor Helen Tuner observa: “Já ultrapassamos tarefas simples como distinguir gatos de cães; agora a IA resolve problemas de alto nível”.

Desenvolvimentos especializados
EmpresaModeloTarefaDeepMind (Google)AlphaProofMatemáticaDeepMind (Google)AlphaGeometryGeometria
Esses modelos ganharam reconhecimento em benchmarks Epoch AI, que medem velocidade e precisão das soluções. Inicialmente, grandes modelos de linguagem eram considerados inadequados, pois geram texto “baseado na probabilidade” e frequentemente “alucinam”. Contudo, a introdução do aprendizado por reforço e arquiteturas racionais aumentou significativamente sua confiabilidade.

Fortalecimento da equipe científica
OpenAI recrutou dois matemáticos de destaque:

- Ernest Ryu – Universidade da Califórnia, Los Angeles
- Mehtaab Sawhney – Universidade Columbia

Esses especialistas ajudam a aprimorar os modelos e suas capacidades de resolver problemas complexos.

Matemática como teste “verificável”
Provas matemáticas podem ser verificadas automaticamente, tornando-a uma área ideal para experimentos com IA. Isso também impulsiona o desenvolvimento de software:

- Anthropic investe no Claude Code – assistente que gera código de programação.

O que vem a seguir?
Para resolver questões científicas realmente complexas, a IA deve se basear em resultados já existentes e não depender de uma única “sessão intermediária”. Atualmente, os modelos conseguem agregar informações de diferentes disciplinas de forma eficaz, acelerando a descoberta de novas ideias. Especialistas acreditam que, em breve, isso será o principal motor do progresso científico.

> *Na matemática, a IA já provou sua eficácia.*