Durante anos, a comunidade matemática encarou os grandes modelos de linguagem com uma dose saudável de ceticismo. Num campo definido pelo rigor absoluto, as "alucinações" e os lapsos lógicos da IA generativa eram vistos como desqualificantes. Mas essa postura de desdém está se transformando rapidamente em colaboração. O que começou como experimento com quebra-cabeças matemáticos se converteu em ferramenta legítima para abrir novos caminhos, reduzindo meses de trabalho manual a dias de processamento algorítmico.
Terence Tao, medalhista Fields na UCLA, identificou 2025 como o ano em que a IA cruzou o limiar da utilidade genuína para a disciplina. A mudança não se caracteriza por uma única descoberta capaz de abalar o mundo, mas por um fluxo constante de resultados em nível profissional. Matemáticos agora constatam que esses modelos podem ajudar a navegar provas complexas e sugerir estratégias inéditas que a intuição humana talvez não alcançasse.
A integração da IA ao campo assume diversas formas. Em alguns casos, matemáticos travam diálogos iterativos com modelos como ChatGPT ou Gemini para refinar estratégias de demonstração. Em situações mais autônomas, algoritmos especializados já são capazes de formular conjecturas, executar provas e verificar a própria lógica com supervisão humana mínima. Embora o elemento humano continue central na definição das perguntas que valem a pena ser feitas, a maquinaria da resposta é cada vez mais digital.
Com reportagem de 3 Quarks Daily.
Source · 3 Quarks Daily
