Terence Tao Paparkan Perspektif Matematika Era AI: Manusia Harus Fokus pada Pemahaman, Bukan Sekadar Membuat Bukti
Terence Tao, matematikawan peraih Fields Medal, menerbitkan artikel analisis mengenai arah bidang matematika di tengah peran penting AI.
Topik hangat di kalangan akademisi dan situs Hacker News saat ini sedang membahas artikel berjudul "Mathematics in the age of AI" (nomor arXiv:2608.16753) karya Terence Tao, seorang matematikawan peraih Fields Medal, yang dikembangkan dari ceramah umumnya di International Congress of Mathematicians (ICM 2026).
Dalam artikel tersebut, Tao menyajikan pergeseran kerangka berpikir dari perdebatan apakah AI akan setara dengan manusia, menuju pertanyaan mendalam tentang tujuan dan nilai sebenarnya dari riset matematika ketika perangkat kecerdasan buatan mulai mampu memecahkan masalah tingkat penelitian.
Usulan utamanya adalah komunitas matematika harus mengalihkan fokus dari "Proof Generation" (pembuatan bukti yang mungkin dapat dilakukan AI dengan cepat) ke "Proof Digestion" (pemahaman, kejelasan penjelasan, dan verifikasi oleh manusia). Ia juga mengusulkan praktik bahwa karya penelitian tidak boleh diterima atau diterbitkan jika penulisnya tidak dapat menjelaskan bukti tersebut pada tingkat ahli agar dapat dipahami manusia, meskipun bukti tersebut telah diverifikasi melalui sistem otomatis (Formal Verification).
Mencerminkan sudut pandang pakar global dalam adaptasi dunia akademis dan pendidikan ketika teknologi AI mengubah proses kerja dasar, yang bermanfaat untuk mempersiapkan sumber daya manusia di bidang sains dan teknologi.