OpenAI Lagi-Lagi Membuat Matematikawan Marah: Ribuan Masalah Tak Terpecahkan Diklaim Terselesaikan AI

Pertemuan Rahasia di Agustus: OpenAI Mengundang 40 Matematikawan Terkemuka

Pada Agustus 2026, OpenAI menggelar pertemuan tertutup dengan sekitar 40 matematikawan terkemuka dari berbagai institusi. Topik pembahasan: bagaimana merespons jika kemampuan AI dalam matematika melampaui para manusia. Menurut peserta yang berbicara dengan WIRED, OpenAI mengintipkan bahwa model terbaru mereka telah memecahkan ratusan masalah matematika terbuka (open problems) yang sudah bertahun-tahun—bahkan dekade—belum terpecahkan.

Mengapa Matematikawan Merasa Terancam?

Bidang matematika berbeda dengan pemrograman atau penulisan kreatif. Di sini, kebenaran bersifat absolut: sebuah bukti benar atau salah, tidak ada area abu-abu. Selama berabad-abad, matematikawan membangun karir dan reputasi dengan memecahkan masalah yang sulit—dari Hipotesis Riemann hingga Masalah P vs NP. Ketika sebuah perusahaan AI mengklaim model mereka menyelesaikan ratusan masalah tersebut dalam hitungan bulan, bukan tahun, hal itu mengganggu fondasi profesi mereka.

“Ada persepsi perilaku seperti mafia dari perusahaan AI terkemuka,” ujar satu matematikawan senior yang hadir dalam pertemuan itu, mengutip ungkapan yang mencerminkan kekhawatiran komunitas: kekuasaan terpusat di tangan beberapa lab besar yang mengontrol akses ke model dan data.

Apa yang Sebenarnya Dilakukan Model OpenAI?

Detail teknis tetap tertutup, namun dari narasi peserta, model OpenAI—kemungkinan besar varian dari seri o1 atau o3 yang dikembangkan untuk penalaran (reasoning)—mampu menghasilkan bukti matematis yang valid untuk masalah yang selama ini memerlukan intuisi manusia tingkat tinggi. Beberapa contoh kategori masalah yang disebutkan:

• Teori bilangan: Conjektur tentang distribusi bilangan prima dan pola aritmetika.
• Geometri aljabar: Klasifikasi varietas dan invariant topologis.
• Kombinatorika: Batas-batas struktur graf dan hipergraf.
• Analisis fungsional: Sifat-sifat ruang Banach dan operator linear.

OpenAI belum mempublikasikan daftar lengkap masalah yang diselesaikan, maupun bukti-bukti tersebut untuk diverifikasi komunitas. Inilah sumber ketegangan utama: ilmuwan menuntut verifikasi terbuka (open verification), sedangkan OpenAI memegang kendali penuh atas rilis.

Sejarah Berulang: DeepMind dan AlphaProof

Ini bukan kali pertama komunitas matematikawan bergolak. Pada 2024, Google DeepMind merilis AlphaProof dan AlphaGeometry 2, yang mencapai performa tingkat medali perak di Olimpiade Matematika Internasional (IMO). Meskipun mengagumkan, komunitas saat itu menilai AlphaProof lebih unggul pada masalah bergaya kompetisi (kontes), bukan penelitian murni yang membutuhkan kreativitas mendalam dan definisi baru.

Perbedaan kali ini: OpenAI mengklaim menyelesaikan research-level open problems, bukan soal olimpiade. Jika benar, ini menandai pergeseran dari “AI bantu menghitung” ke “AI menemukan matematika baru”.

Tiga Skenario yang Dibahas di Pertemuan

Menurut sumber WIRED, pertemuan Agustus membahas tiga skenario masa depan:

1. Kolaborasi terbuka: OpenAI membuka akses model ke matematikawan untuk verifikasi bersama, mirip model open science.
2. Rilis terbatas: Hasil dipublikasikan secara bertahap melalui jurnal berperingkat tinggi dengan OpenAI sebagai co-author.
3. Komersialisasi penuh: Kemampuan matematika dikemas sebagai fitur langganan (mis. ChatGPT Pro/Enterprise) tanpa transparansi penuh.

Kebanyakan matematikawan mendorong skenario 1. Mereka menunjuk risiko skenario 3: jika bukti-bukti penting terkunci di balik paywall atau API proprietary, kemajuan ilmu pengetahuan terhambat dan ketergantungan pada satu vendor menjadi absolut.

Tantangan Verifikasi: Bukti vs. “Hallucination” Matematis

Masalah teknis fundamental: LLM bisa menghasilkan teks yang terlihat seperti bukti matematis yang valid, tapi mengandung kesalahan logis halus (subtle logical gaps). Berbeda dengan kode yang bisa dijalankan dan diuji, verifikasi bukti matematis memerlukan pemeriksaan manusia ahli atau proof assistants seperti Lean, Coq, atau Isabelle.

Beberapa matematikawan di pertemuan menyarankan OpenAI menerjemahkan bukti model ke bahasa formal (Lean 4 misalnya) agar bisa diverifikasi mesin. Hingga saat ini, tidak ada konfirmasi OpenAI akan melakukannya.

Dampak ke Pendidikan dan Riset

Jika AI benar-benar bisa memecahkan masalah terbuka secara massal:

• Program doktorat di matematika murni mungkin perlu redefinisi: mahasiswa tidak lagi dibebani bukti rutin, tapi difokuskan pada pemilihan masalah, intuisi, dan verifikasi hasil AI.
• Penerbitan jurnal akan banjir naskah. Butuh standar baru: apakah bukti AI-generated layak publikasi tanpa kontribusi konseptual manusia?
• Pendanaan riset bisa bergeser dari “membayar manusia membuktikan” ke “membayar komputasi untuk AI mencari bukti”.

Reaksi Komunitas: Dari Skeptis hingga Protes

Di forum seperti MathOverflow dan mailing list Internal Mathematical Union (IMU), diskusi memanas. Beberapa suara:

“Jika OpenAI benar-benar punya ratusan bukti, kenapa tidak rilis satu saja untuk diverifikasi publik? Ini terlihat seperti marketing stunt.” — Profesor Geometri Aljabar, Eropa

“Saya tidak takut digantikan. Saya takut matematika jadi properti rahasia perusahaan.” — Peneliti Muda Teori Bilangan, AS

“Ini momen seperti AlphaGo untuk matematika. Tapi AlphaGo dibuka (paper + kode). OpenAI belum membuktikan transparansi.” — Peneliti AI untuk Matematika, Kanada

Langkah Selanjutnya: Apa yang Harus Dilakukan Matematikawan?

Para ahli menyarankan tiga langkah konkret:

1. Mendesakan open benchmark: Komunitas harus membuat seperangkat masalah standar (mirip FrontierMath tapi lebih luas) untuk menguji kemampuan matematika AI secara independen.
2. Mengadopsi proof assistants: Belajar Lean/Coq jadi keterampilan wajib. Bukti yang terverifikasi mesin jadi mata uang baru kepercayaan.
3. Advokasi kebijakan: Mendorong regulator dan pendana riset (NSF, ERC, Kemenristek RI) mewajibkan transparansi model AI yang diklaim memajukan ilmu pengetahuan fundamental.

Kesimpulan: Titik Balik Bagi Matematika dan AI

Pertemuan OpenAI dengan 40 matematikawan bukan sekadar konsultasi—itu tanda pengakuan bahwa bidang ini memasuki era baru. Jika klaim OpenAI benar, kita menyaksikan otomatisasi penemuan matematika skala besar pertama dalam sejarah. Jika tidak, ini pelajaran tentang hype cycle AI yang berulang.

Yang pasti: matematikawan tidak akan diam. Mereka menuntut bukti—bukan sekadar klaim pers release. Dan dalam matematika, seperti yang dikatakan Paul Erdős: “Bukti itu milik Tuhan, tapi verifikasi itu milik kita semua.”

Referensi dan Bacaan Lanjutan

• Artikel asli WIRED: “OpenAI Is Pissing Off a Bunch of Mathematicians—Again” (6 Oktober 2026)
• Paper DeepMind: “AlphaProof: Formal Math Reasoning with Language Models” (2024)
• FrontierMath Benchmark: frontiermath.org
• Komunitas Lean 4 untuk verifikasi bukti: leanprover.github.io