Inteligência artificial redefinindo a matemática e a educação

No mês passado, a OpenAI revelou uma prova gerada por IA para o problema de Navier-Stokes, marcando um marco significativo no campo. Embora os modelos de linguagem grandes (LLMs) tivessem sido anteriormente limitados em sua capacidade de realizar tarefas matemáticas, eles agora estão a lidar com problemas complexos que têm intrigado matemáticos há décadas. Ao mesmo tempo, os educadores estão a lidar com as implicações da IA nas salas de aula, à medida que os alunos recorrem cada vez mais aos LLMs para completar tarefas. Justin Solomon, diretor associado para educação de engenharia no MIT, discute como os matemáticos, tanto os puros quanto os aplicados, estão a adaptar-se aos rápidos avanços da IA. Ele detalha as complexidades do problema de Navier-Stokes e os desafios na interpretação da prova da OpenAI. Solomon também aborda as concepções erróneas comuns sobre o trabalho dos matemáticos e compartilha a sua abordagem em evolução para a educação numa era impulsionada pela IA. O Bloomberg relata que as provas recentes da OpenAI ainda não satisfazem os rigorosos padrões estabelecidos por investigadores matemáticos.