Alguns matemáticos pedem boicote à OpenAI após inundação de seu campo com provas geradas por IA
decoder ·
A Associação de Matemática Humana, liderada pelo Fields Medalist Terence Tao, pediu um boicote à OpenAI após a empresa lançar centenas de manuscritos matemáticos gerados por IA. Críticos argumentam que essas provas são frequentemente densas e mal escritas, obrigando especialistas humanos a usar ferramentas de IA apenas para decifrá-las, o que viola normas fundamentais da erudição científica. Tao e outros matemáticos proeminentes alertam que essa era do 'Math 2.0' prioriza a resolução rápida de problemas em detrimento da compreensão conceitual, podendo destruir o terreno fértil necessário para insights matemáticos profundos. A controvérsia destaca uma tensão entre o lançamento em lote de rascunhos brutos pela OpenAI e modelos alternativos, como os da Anthropic, que compensam pesquisadores por criar explicações legíveis por humanos. Enquanto alguns veem a medida como uma demonstração de poder em vez de erudição, outros questionam se um problema pode ser considerado realmente resolvido se sua prova permanecer incompreensível sem assistência artificial. Apesar da reação negativa, as opiniões dentro do campo permanecem divididas quanto à eficácia e ao realismo de um boicote.
decoder