ChatGPT 5.2 Lahirkan Metode Baru Pembuktian Matematika 'Vibe-Proving'

KABARMEGAPOLITAN.com - Dunia AI kembali mencatat terobosan besar.

Peneliti dari Vrije Universiteit Brussel (VUB), Belgia, mengungkap bahwa model bahasa skala besar (LLM) kini tidak hanya membantu menulis atau coding, tapi juga mampu menyusun bukti matematika orisinal secara mandiri.

Dalam riset terbaru, ChatGPT-5.2 (Thinking) dilaporkan berhasil menyelesaikan sebuah dugaan matematika yang sebelumnya belum terbukti. Temuan ini dipublikasikan dalam bentuk preprint di arXiv pada 21 Februari 2026.

Dugaan yang menjadi fokus penelitian ini merupakan masalah matematika yang diajukan oleh matematikawan Ran dan Teng pada 2024.

Dalam dunia matematika, dugaan (conjecture) adalah pernyataan yang diyakini benar, namun belum memiliki pembuktian formal. Jika berhasil dibuktikan secara logis dan lengkap, statusnya akan naik menjadi teorema.

Kolaborasi Manusia dan AI

Proses pembuktian ini tidak terjadi dalam sekali jalan. Tim peneliti mengungkap bahwa mereka melakukan tujuh kali sesi interaksi dengan ChatGPT, yang menghasilkan empat versi pembuktian dengan kualitas yang terus disempurnakan.

Dalam proses tersebut, AI berperan besar dalam menjelajahi jalur pembuktian dan membangun kerangka logika utama, sementara peneliti manusia bertugas memastikan akurasi serta konsistensi logika di setiap tahap.

Pendekatan ini kemudian diberi nama “vibe-proving”, sebuah metode baru yang menggambarkan kolaborasi antara intuisi manusia dan eksplorasi cepat dari AI dalam menyelesaikan masalah teoretis kompleks.

Lebih dari Sekadar Mengulang Data

Profesor Vincent Ginis dari VUB menyebut temuan ini mematahkan anggapan lama bahwa AI hanya mampu “menggabungkan ulang” data yang sudah ada.

“Banyak yang mengira kreativitas AI terbatas pada rekombinasi data pelatihan. Penelitian kami membuktikan sebaliknya,” ujarnya.

Peneliti lain, Brecht Verbeken, juga mengaku terkejut dengan performa AI. Meski sebelumnya sudah menduga ChatGPT bisa membantu pembuktian matematika, hasil yang didapat ternyata jauh melampaui ekspektasi.

Peran Manusia Tetap Krusial

Meski AI memainkan peran penting, tim peneliti menegaskan bahwa keterlibatan manusia tetap tidak tergantikan. Terutama dalam hal memverifikasi hasil akhir, menutup celah logika, dan memastikan pembuktian benar-benar valid secara matematis.

Profesor Andres Algaba menambahkan bahwa ke depan, AI akan mempercepat proses menghasilkan kandidat pembuktian. Namun, tantangan utama justru akan bergeser ke tahap verifikasi oleh manusia—meski AI juga berpotensi membantu di area ini.

Era Baru AI di Dunia Sains

Pencapaian ini menandai langkah besar dalam evolusi AI. Dari yang awalnya fokus pada teks dan coding, kini model bahasa seperti ChatGPT mulai masuk ke ranah riset matematika teoretis yang membutuhkan penalaran mendalam.

Jika tren ini berlanjut, bukan tidak mungkin AI akan menjadi partner penting dalam penemuan ilmiah di masa depan—bukan sekadar alat bantu, tapi juga kontributor aktif dalam menghasilkan ide dan solusi baru.***