Tiga tahun lalu, AI tidak bisa menjumlahkan dua angka. Setahun lalu, model di Open AI dan Deep Mind meraih level medali emas di IMO. Kini mereka secara otonom menyelesaikan pertanyaan terbuka utama. Tren ini kemungkinan berlanjut, menuntut pemikiran ulang radikal tentang matematika.

Sebuah ceramah berjudul Akhir Matematika memperingatkan masa depan suram di mana AI superhuman tetapi institusi menghambat pemahaman manusia. Saya percaya kita dapat menghindarinya jika matematika akademik beradaptasi.

Tidak ada konsensus tentang tujuan: memecahkan masalah, bermain, menembus alam platonik, atau menularkan cinta matematika. Jawaban saya: menghasilkan dan memahami matematika berkualitas tinggi, dan menghasilkan matematikawan berkualitas tinggi.

Kami mengoperasionalkan tujuan melalui pembuktian teorema. Tetapi jika itu tujuannya, akan sepele untuk mengotomatiskan—komputer dapat menghitung bukti ZFC. Tujuannya bukan membuktikan teorema; melainkan memahami.

Entitas Kunci: Perusahaan: Open AI, Deep Mind