IA da OpenAI e Anthropic já provaram milhares de teoremas e resolveram problemas matemáticos antigos, acelerando descobertas além da capacidade humana. Matemáticos como Alex Townsend relatam frustração ao ver suas décadas de pesquisa superadas por máquinas, questionando o futuro da profissão.
Matemático teme que IA torne humanos obsoletos na pesquisa matemática em 2026
Pesquisadores enfrentam crise de identidade profissional e possível obsolescência de carreiras acadêmicas em matemática.