O Que Significa Ser Matemático Quando a IA Faz a Matemática

O artigo reflete sobre a natureza mutável do trabalho matemático na era da IA. O autor, um ex-estudante de doutorado em matemática aplicada, relembra suas próprias dificuldades e agora compreende o valor da longa jornada em direção ao entendimento, um sentimento apreciado por matemáticos puros. As recentes conquistas da IA, como o sistema Aletheia, do Google DeepMind, que produziu pesquisa publicável, e o sistema da OpenAI que refutou uma conjectura em geometria combinatória, sugerem que a IA pode lidar com tarefas anteriormente consideradas exclusivamente humanas. Assistentes de prova como Isabelle, Lean e Rocq, combinados com LLMs, estão automatizando a formalização. No Fórum Laureado de Heidelberg, as discussões giraram em torno do potencial da IA para substituir matemáticos, com alguns, como Yang-Hui He, imaginando os humanos como 'sacerdotes de oráculos', enquanto outros, incluindo o medalhista Fields Akshay Venkatesh e Maia Fraser, enfatizam o valor centrado no humano do entendimento e a beleza da inteligência coletiva. Terence Tao defende abordagens colaborativas em que humanos e IA trabalham juntos.