Matematika di Era AI: Ceramah Publik Terence Tao di ICM 2026
Ceramah Terence Tao di International Congress of Mathematicians 2026 membahas bagaimana komunitas matematika harus merespons kemampuan AI yang semakin meningkat. Ia memperkenalkan "Hipotesis Kemampuan AI" dan mengusulkan hipotesis kerja bahwa alat AI akan segera menangani sebagian besar tugas matematika tingkat penelitian. Tao berargumen bahwa meskipun hipotesis ini benar, komunitas harus mempertimbangkan kembali tujuan dan nilainya dengan hati-hati untuk menghindari hukum Goodhart.
Terence Tao menyampaikan kuliah umum berjudul "Matematika di Era AI" pada 24 Juli 2026 di Kongres Matematikawan Internasional. Ia menarik paralel dengan krisis fondasional awal abad ke-20 yang disebabkan oleh paradoks Russell dan teorema ketidaklengkapan Gödel, dengan menyiratkan bahwa AI kini menghadirkan tantangan serupa. Tao merumuskan "Hipotesis Kemampuan AI" dalam bentuk lemah dan kuat, namun memilih untuk fokus pada pertanyaan ortogonal tentang tujuan dan nilai. Ia mengadopsi hipotesis kerja bahwa versi hipotesis kemampuan AI yang cukup kuat adalah benar: alat AI akan segera mampu melakukan sebagian besar tugas matematika tingkat penelitian dengan keberhasilan, kualitas, kendali, dan biaya yang wajar. Dengan asumsi ini, ia berargumen bahwa komunitas matematika harus mengkaji tujuan sejatinya—memecahkan masalah, membangun teori, mendidik, menciptakan karya estetis—dan memperingatkan bahwa mengoptimalkan solusi yang dihasilkan AI berisiko menjauhkan tujuan-tujuan tersebut. Ia mengutip hasil dari tantangan Proof Pertama (firstproof.org), di mana tujuh dari sepuluh masalah tingkat penelitian berhasil dipecahkan oleh tim AI dengan biaya $10–$1000 per masalah pada 28 Mei 2026. Tao mencatat bahwa bukti yang dihasilkan AI di situs seperti Erdős Problems menimbulkan kekhawatiran verifikasi, karena pakar manusia sering kali kekurangan waktu atau kualifikasi untuk memvalidasinya.
Sumber: Habr — хаб ML —
asli