Durante séculos, a matemática avançou no ritmo do pensamento humano. Alguns problemas exigiram décadas de tentativas até que alguém encontrasse uma resposta. Outros seguem sem solução.
Agora, a inteligência artificial desafia essa lógica. A OpenAI, dona do ChatGPT, revelou este mês que um modelo de IA foi submetido a 4 mil problemas matemáticos e conseguiu resolver 377 deles, incluindo questões que especialistas tentavam desvendar há anos.
A companhia divulgou os resultados num repositório no GitHub, com descobertas em áreas como teoria dos números, topologia, lógica matemática, álgebra e ciência da computação teórica. De acordo com a empresa, cada um dos 377 resultados consumiu, em média, recursos computacionais equivalentes a três horas de processamento do ChatGPT Pro.
Parte da comunidade científica reagiu mal ao anúncio. Isso por conta do que esse processo representa para a matemática, uma atividade que, historicamente, dependeu de anos de trabalho, intuição e investigação humana.
A inteligência artificial já demonstra capacidade de avançar em questões que desafiam especialistas com anos de experiência, levantando uma pergunta sobre o futuro do próprio campo de estudo: se as máquinas conseguem encontrar soluções em uma escala inigualável para os humanos, o que sobra para a matemática?
