Modelos de IA Aceleram a Pesquisa Matemática e a Descoberta de Provas

O Papel Crescente da IA na Pesquisa Matemática

Os matemáticos estão usando cada vez mais modelos de IA para acelerar a pesquisa e descobrir novos resultados matemáticos. O ponto de virada ocorreu em julho de 2025, quando vários modelos de inteligência artificial resolveram cinco dos seis problemas da Olimpíada Internacional de Matemática, um desafio anual para os melhores estudantes do ensino médio.

Aplicações Práticas na Pesquisa Matemática

Os primeiros adeptos descobriram que os modelos de IA podem ajudar a abrir caminhos genuinamente novos, não apenas resolver quebra-cabeças conhecidos. Os matemáticos agora estão usando a IA para:

• Descobrir e provar novos resultados em um dia, o que teria levado semanas ou meses
• Formular conjecturas, prová-las e verificar provas com intervenção humana mínima
• Desenvolver estratégias de prova inovadoras por meio de extensos diálogos com grandes modelos de linguagem como ChatGPT, Claude ou Gemini
• Resolver milhares de problemas de uma vez e realizar estudos estatísticos

Desenvolvimentos Principais e Desafios

Terence Tao, da UCLA, observa que 2025 foi o ano em que a IA "realmente começou a ser útil para muitas tarefas diferentes" na matemática. Alguns resultados gerados por IA estão no mesmo nível das descobertas publicadas em revistas matemáticas profissionais.

O desafio "Primeira Prova" de fevereiro de 2026 deu aos participantes uma semana para que seus modelos de IA resolvessem 10 questões de nível de pesquisa em várias áreas da matemática. Os matemáticos escolheram especificamente questões que provavelmente não apareceram nos dados de treinamento dos algoritmos.

No entanto, existem preocupações sobre os matemáticos perderem a experiência direta com a compreensão matemática à medida que a IA se torna mais integrada. Akshay Venkatesh, do Instituto de Estudos Avançados, alerta que "há coisas valiosas em nossa cultura que devemos tentar preservar".

Impacto na Indústria

Os matemáticos estão deixando a academia para trabalhar em grandes empresas de tecnologia como OpenAI e Google, ou ingressando em startups de IA focadas em matemática, incluindo Harmonic, Logical Intelligence, Axiom Math e Math Inc. Jeremy Avigad, da Universidade Carnegie Mellon, explica que "a chave para a inteligência geral é combinar os insights obtidos do aprendizado de máquina e a precisão obtida da matemática".