AI menyerang matematika 88 jam yang mengguncang dunia ilmu pengetahuan siap siap ya soalnya cerita ini lebih dramatis dari sinetron jam tayang prime time ๐ฑ๐บ
Jadi gini ceritanya selama hampir satu abad persamaan Navier Stokes itu kayak bos akhir di dunia matematika ๐ฎ๐น dia masuk daftar Millennium Prize Problems tujuh soal paling horor yang dipilih Clay Mathematics Institute buat bikin para matematikawan botak lebih cepat dari waktunya ๐งโ๐ฆฒ๐ธ
Tiba tiba plot twist pertama muncul OpenAI bilang wih sistem AI internal mereka berhasil nemuin solusinya cuma dalam 88 jam doang ๐คฏโฑ๏ธ delapan puluh delapan jam guys itu waktu yang bahkan gak cukup buat nonton semua season sinetron tapi cukup buat ngebobol soal yang bikin manusia pusing seabad ๐
Bukan satu jenius yang merenung di depan papan tulis sambil minum kopi item pahit ala film biopic โ๐ bukan juga tim manusia yang berjuang puluhan tahun sampe rambut rontok karena stress tapi ribuan agen AI kerja paralel kayak semut robot ngebangun sarang raksasa ๐๐ค ngobrol satu sama lain hasilin jutaan pesan dan sekitar 130 miliar token buat nyari jawaban ๐ตโ๐ซ๐ lalu setelah ketemu buktinya diverifikasi pake Lean biar sah kayak stempel notaris tapi versi matematika ๐โ
Nah di titik ini cerita yang tadinya wow AI makin canggih tiba tiba berubah jadi horor psikologis ๐ป soalnya masalahnya bukan cuma apakah AI bisa nemuin matematika baru masalahnya adalah siapa yang bakal ngerti matematika yang ditemuin AI itu ๐ซ โ
Terence Tao salah satu matematikawan paling legendaris di generasi kita udah dari lama teriak teriak soft warning ๐จ๐ง dia bilang AI mungkin bisa hasilin bukti yang panjang dan benar secara formal tapi manusia bisa aja udah gak ngerti lagi kenapa bukti itu bekerja alias secara teknis benar tapi secara jiwa raga bikin bingung ๐ฅด
Coba bayangin ada bukti matematika sepanjang puluhan ribu bahkan ratusan ribu baris ๐๐๐ komputer nongol santai bilang verified โ terus manusia dengan muka penuh keringat dingin nanya ya tapi sebenernya kita baru nemuin apa sih ๐ญ
Itulah jurang yang mulai terbuka bestie ๐ณ๏ธ dan makin seru lagi drama kedua muncul kayak plot twist di tengah season proyek OpenAI ini ternyata berbarengan sama riset matematikawan NYU Tristan Buckmaster dan peneliti Levent Alpรถge ๐๐ฟ Buckmaster sampe protes ngajuin pertanyaan soal proses dan siapa yang lebih dulu klaim duluan macam rebutan first comment di postingan viral ๐ค๐ฌ
OpenAI langsung buka mulut bilang tenang tenang kami udah investigasi internal dan prompt Codex punya Buckmaster gak ngaruh ke sistem yang hasilin jawaban itu jadi bukan nyontek bukan nyolong plot cuma kebetulan aja mikir barengan kayak dua orang beli baju sama di mall yang sama ๐๐
Jadi jangan buru buru bikin caption ini skandal atau kemenangan mutlak karena justru di situlah bagian paling asiknya ๐ฟโจ
Kita sedang nonton pertarungan dua budaya pengetahuan secara live ๐ฅ
Budaya lama manusia nemuin masalah terus diskusi bangun intuisi kembangin teori buktikan ajarkan ke generasi berikutnya pelan pelan tapi penuh cinta kayak masak rendang yang butuh waktu berjam jam biar bumbu meresap ๐ฒโค๏ธ
Budaya baru masalah dilempar ke ribuan agen mesin eksplor jutaan kemungkinan sekaligus nemuin pola hasilin bukti terus diverifikasi mesin lain kayak mie instan tiga menit jadi tapi kadang lupa rasanya kenapa enak ๐โก
Lebih cepet mungkin iya ๐ lebih murah belum tentu ๐ธ lebih mudah dipahami wah ini nih yang bikin drama makin panas belum tentu sama sekali ๐ฅ๐ฌ
Terus ada paradoks yang beneran nyebelin banget selama berabad abad manusia bangun matematika bukan cuma buat dapetin jawaban doang tapi buat ngerti kenapa jawaban itu bener kayak orang pacaran gak cuma pengen tau jawabannya iya tapi pengen tau kenapa dia bilang iya ๐๐ญ
Kalau AI bisa nemuin ribuan teorema baru tapi manusia udah gak ngerti sebagian besar jalur penemuannya kita mungkin masuk era baru namanya the age of proof abundance ๐๐ keren banget namanya kayak judul film Marvel tapi isinya bikin nangis di pojokan ๐๐ญ
Masalah matematika bukan lagi soal kekurangan bukti justru sebaliknya bukti bakal membanjiri manusia kayak notifikasi WhatsApp grup keluarga pas lebaran gak berhenti berhenti ๐ฒ๐
Dan kelangkaan baru bukan lagi kemampuan menghitung tapi kelangkaan kemampuan memahami alias skill paling dicari di masa depan bukan lagi jago ngitung tapi jago paham ๐งฉ๐ง
Ini kenapa kekhawatiran Terence Tao jauh lebih dalem daripada sekadar takut AI ngambil kerjaan matematikawan ๐ฎ dia nanya pertanyaan yang lebih filosofis apakah matematika itu cuma soal nyelesain sebanyak mungkin masalah atau juga soal ngebangun pemahaman manusia yang bisa diwariskan ke generasi berikutnya ๐๐
Ada analogi yang keren banget kalau kita gali situs arkeologi pake mesin berat kita mungkin nemuin artefak lebih cepet tapi sekaligus ngerusak lapisan konteks yang bikin artefak itu berharga ๐บ๐ begitu juga matematika kalau AI langsung lompatin seluruh proses manusia intuisi kegagalan percobaan diskusi dan penyederhanaan kita mungkin dapet jawabannya tapi kehilangan perjalanan menuju jawaban itu ๐ฃ๏ธ๐
Dan perjalanan itulah yang selama ini melahirkan matematikawan bukan cuma jawabannya ๐โจ
Jadi pertanyaan terbesar setelah AI menyerang Navier Stokes bukan apakah AI bakal gantiin matematikawan pertanyaan yang jauh lebih serius adalah jika mesin mulai nemuin matematika lebih cepet daripada manusia mampu memahaminya siapa sebenarnya yang sedang melakukan matematika ๐ค๐
Nah sekarang plot twist paling gede siap siap ya ๐ฌ๐จ ternyata pas beberapa peneliti nyoba nanya balik ke agen agen AI itu sendiri coba deh jelasin ke gue kenapa langkah nomor lima ribu tiga ratus di buktimu itu bener kenapa bukan langkah lain hasilnya bukan penjelasan elegan penuh insight tapi malah AI nya juga cuma bisa jawab ya karena pola yang tereksplorasi ngasih hasil yang konsisten dengan verifikasi Lean titik ๐ณ๐ค
Alias bukan cuma manusia yang bingung AI nya sendiri juga gak punya cerita yang bisa diceritain kenapa buktinya bener dia cuma tau bahwa itu bener secara formal tanpa ada narasi kenapa di baliknya ๐ซ ๐
Jadi twistnya bukan manusia versus AI dalam hal siapa yang lebih paham tapi ternyata pemahaman itu sendiri mungkin sedang menghilang dari kedua belah pihak ๐ฑ๐ kita bukan lagi kehilangan monopoli manusia atas kebenaran matematis kita mungkin kehilangan konsep pemahaman itu sendiri sebagai bagian dari proses menemukan kebenaran ๐ณ๏ธ๐ฎ
Dan kalau itu benar Navier Stokes bukan cuma soal yang lagi diselesaikan dia mungkin alarm pertama dari zaman ketika kebenaran bisa ditemukan tanpa perlu dipahami oleh siapapun sama sekali baik manusia maupun mesin yang menemukannya ๐จ๐
Selamat datang di era baru dimana jawaban banjir tapi pemahaman jadi barang langka mari kita sama sama bingung sambil ngopi bareng ๐ โ๐