OpenAI Klaim Pecahkan Soal Matematika Milenium, Komunitas Akademisi Gelisah

Dunia akademik dan matematika global diguncang oleh pengumuman terbaru dari laboratorium kecerdasan buatan terkemuka, OpenAI. Perusahaan bernilai ratusan miliar dolar tersebut mengklaim bahwa model AI terbarunya berhasil memecahkan salah satu dari Millennium Prize Problems—tujuh teka-teki matematika paling rumit di dunia yang memiliki hadiah masing-masing senilai 1 juta dolar AS dan telah membingungkan para pakar selama beberapa dekade.

Namun, pencapaian luar biasa ini tidak disambut dengan tepuk tangan meriah oleh seluruh komunitas sains. Sebaliknya, sejumlah matematikawan terkemuka justru menyuarakan kegelisahan mendalam terkait metode yang digunakan, menyebut selebrasi tersebut sebagai bentuk arogansi komputasi yang mengaburkan esensi pemikiran matematika murni.

Kronologi dan Eskalasi AI di Ranah Matematika

Keberhasilan OpenAI memecahkan persoalan matematika berhadiah bergengsi ini merupakan puncak dari rentetan lompatan kapabilitas kecerdasan buatan dalam beberapa waktu terakhir. Garis waktu penetrasi AI ke ranah matematika murni mencakup:

1. Pencapaian Medali IMO oleh DeepMind: Sebelumnya, laboratorium AI Google DeepMind berhasil menembus batas baru dengan membuktikan model AI mampu menyelesaikan soal-soal International Mathematical Olympiad (IMO) setara peraih medali perak.
2. Penyelesaian Konjektur Paul Erdős: AI mulai memperlihatkan kemampuan menyelesaikan sebagian teka-teki kombinatorika dan teori bilangan yang ditinggalkan oleh matematikawan legendaris Paul Erdős.
3. Pengerahan 10.000 Agen Otonom OpenAI: OpenAI secara masif mengerahkan armada komputasi yang terdiri dari 10.000 agen otonom untuk menyerang struktur pembuktian masalah milenium tersebut secara simultan hingga menemukan solusinya.

Kritik Pendekatan 'Brute Force' Bernilai Fantastis

Metode yang digunakan OpenAI dianggap sangat kontras dengan cara tradisional matematikawan bekerja. Bila manusia mengandalkan intuisi mendalam, keindahan struktur, dan perenungan konseptual bertahun-tahun, OpenAI justru memanfaatkan kekuatan finansial dan infrastruktur raksasa. Pengerahan ribuan agen komputasi tersebut diperkirakan menelan biaya operasional mencapai 15 juta dolar AS (sekitar Rp240 miliar).

"Ini bukan lagi soal pemahaman mendalam tentang keindahan matematika, melainkan pamer kekuatan komputasi bernilai jutaan dolar. Bagi sebagian akademisi, klaim berlebihan ini terasa seperti kesombongan kekanak-kanakan di taman bermain," ungkap salah satu pengamat sains menanggapi klaim tersebut.

Kekhawatiran Hilangnya Esensi Pemahaman Manusia

Para peneliti menggarisbawahi beberapa dampak jangka panjang dari dominasi AI korporat dalam sains fundamental:

• Kesenjangan Riset: Universitas dan peneliti independen tidak memiliki anggaran jutaan dolar untuk bersaing dengan infrastruktur korporasi teknologi.
• Masalah 'Black Box': Solusi yang dihasilkan oleh ribuan agen AI sering kali sangat panjang, rumit, dan sulit diverifikasi secara manual oleh manusia untuk memahami mengapa teorema tersebut bekerja.
• Pergeseran Paradigma Ilmiah: Penemuan ilmiah berisiko bergeser dari pencarian wawasan fundamental menjadi sekadar perlombaan optimasi komputasi brutal.

Meskipun verifikasi formal dari lembaga matematika resmi seperti Clay Mathematics Institute masih dinantikan, peristiwa ini menegaskan bahwa batas antara kecerdasan buatan dan penalaran abstrak manusia kini kian tipis, memicu perdebatan etis mengenai masa depan penemuan ilmiah.