AI Mulai Ngambil Alih Matematika, dan Para Matematikawan Mulai Gelisah

Bidang matematika dikenal lambat berubah. Tapi dalam setahun terakhir, para matematikawan mulai sadar kalau AI udah masuk ke wilayah yang selama ini mereka anggap sakral.

Buktinya ada. OpenAI ngaku udah nemuin solusi buat 10 soal matematika lama, beberapa di antaranya bikin akademisi nyerah selama puluhan tahun. James Maynard, profesor Oxford sekaligus peraih Fields Medal, bahkan bilang dia habiskan banyak waktu buat soul searching soal masa depan profesinya.

Medan baru buat AI

Cara kerja AI di matematika sebenernya mirip sama generative AI buat teks atau gambar. Model belajar pola dari data yang sangat banyak, terus nyoba nyusun solusi buat masalah yang belum pernah dipecahin. Bedanya, sekarang targetnya bukan tulisan atau gambar, tapi pembuktian matematis.

OpenAI ngaku berhasil ngasih solusi buat 10 soal lama, dan beberapa di antaranya udah ngepusingin akademisi selama puluhan tahun. Buat ukuran bidang yang biasanya bergerak pelan, ini lompatan yang gede banget.

Kenapa matematikawan mulai gelisah

James Maynard, profesor Oxford sekaligus peraih Fields Medal, ngaku habiskan banyak waktu buat soul searching setahun terakhir. Bidangnya selama ini dikenal tradisional dan hati-hati, tapi sekarang dipaksa adaptasi cepat.

Kekhawatirannya masuk akal. Kalau mesin bisa nemuin solusi lebih cepat, pertanyaan besarnya bukan cuma soal siapa yang nemuin jawaban, tapi gimana manusia mastiin jawaban itu bener dan gimana cara kerja kolaborasi baru antara matematikawan sama AI.

Matematika selama ini dianggap benteng terakhir pemikiran manusia, dan sekarang mulai digarap mesin. Bukan berarti matematikawan bakal punah, tapi peran mereka bakal geser dari nyari jawaban jadi nge-verifikasi dan ngarahin. Perubahan yang layak dilacak buat siapa aja yang ngikutin arah AI.

Sumber: The AI takeover of mathematics has begun