Apa Artinya Menjadi Seorang Matematikawan Ketika AI Mengerjakan Matematika

Artikel ini merenungkan perubahan sifat pekerjaan matematika di era AI. Penulis, yang dulunya mahasiswa PhD matematika terapan, mengingat kembali perjuangannya sendiri dan kini memahami nilai dari perjalanan panjang menuju pemahaman, sebuah perasaan yang dihargai oleh para matematikawan murni. Pencapaian AI baru-baru ini, seperti Aletheia dari Google DeepMind yang menghasilkan penelitian yang layak publikasi dan sistem OpenAI yang menyangkal konjektur dalam geometri kombinatorial, menunjukkan bahwa AI dapat menangani tugas-tugas yang sebelumnya dianggap unik bagi manusia. Proof assistant seperti Isabelle, Lean, dan Rocq, yang digabungkan dengan LLM (Large Language Models), sedang mengotomatiskan formalisasi. Di Heidelberg Laureate Forum, diskusi berpusat pada potensi AI untuk menggantikan matematikawan, dengan beberapa seperti Yang-Hui He membayangkan manusia sebagai 'imam bagi orakel', sementara yang lain, termasuk peraih medali Fields Akshay Venkatesh dan Maia Fraser, menekankan nilai pemahaman yang berpusat pada manusia dan keindahan kecerdasan kolektif. Terence Tao menganjurkan pendekatan kolaboratif di mana manusia dan AI bekerja sama.