OpenAI Salah Terjemahkan Matematika dalam Bukti Navier-Stokes

JAKARTA — Dalam upaya memakai AI untuk membantu pembuktian matematika, ketepatan menerjemahkan rumus ke bahasa pemrograman menjadi penentu. OpenAI dilaporkan keliru menerjemahkan matematika ke dalam kode saat mengerjakan bukti terkait persamaan Navier-Stokes, menurut artikel New Scientist.

Kesalahan itu penting karena kode yang tampak berjalan belum tentu mewakili pernyataan matematika yang hendak dibuktikan. Bahan yang tersedia tidak memuat rincian tentang bagian rumus yang keliru, model OpenAI yang digunakan, ataupun hasil akhir proyek tersebut. Karena itu, laporan ini hanya mendukung kesimpulan bahwa terjadi kesalahan penerjemahan matematika ke kode dalam upaya pembuktian itu.

Kesalahan penerjemahan jadi titik rawan

Persamaan Navier-Stokes digunakan untuk menggambarkan gerak fluida, seperti aliran air dan udara. Membuktikan sifat matematis persamaan ini membutuhkan penalaran yang cermat. Dalam konteks komputasi, langkah-langkah matematika dapat dituliskan sebagai kode agar dapat diperiksa atau dijalankan, tetapi proses tersebut menuntut kesesuaian antara rumus dan implementasinya.

Masalah penerjemahan muncul ketika representasi di dalam kode tidak setia pada maksud matematisnya. Program mungkin tetap menghasilkan keluaran, tetapi keluaran itu tidak otomatis membuktikan klaim yang dituju. Dengan kata lain, keberhasilan teknis menjalankan kode berbeda dari keberhasilan membangun bukti matematika yang sah.

Artikel New Scientist menyebut OpenAI salah menerjemahkan matematika menjadi kode untuk bukti Navier-Stokes. Informasi yang diberikan dalam bahan sumber tidak menjelaskan bagaimana kesalahan tersebut ditemukan atau siapa yang melakukan pemeriksaan. Maka, tidak ada dasar untuk menyatakan bahwa bukti itu telah berhasil, atau untuk menguraikan kesalahan teknis tertentu.

Bukti yang dibantu AI tetap perlu diperiksa

Kasus ini memperlihatkan batas penting penggunaan AI dalam riset: keluaran yang tampak meyakinkan tetap membutuhkan pemeriksaan atas setiap langkah.

Ketika matematika dialihkan menjadi kode, peneliti perlu memastikan bahwa definisi, asumsi, dan operasi yang ditulis program benar-benar mencerminkan pernyataan aslinya. Kekeliruan pada tahap itu dapat membuat komputasi menjawab persoalan yang berbeda.

Dampaknya terasa bagi komunitas riset dan lembaga yang menilai klaim ilmiah berbantuan AI. Mereka tidak cukup melihat bahwa sebuah program berjalan atau menghasilkan jawaban; hubungan antara kode dan argumen matematisnya juga harus dapat ditelusuri. Bagi pembaca umum, pelajarannya sederhana: bantuan AI bukan pengganti pemeriksaan ahli, terutama saat klaim bergantung pada pembuktian formal.

Bahan yang disediakan juga mencantumkan tautan diskusi Hacker News, tetapi tidak menyertakan isi komentar atau tanggapan para pembaca. Karena itu, diskusi tersebut tidak dapat dipakai untuk menambah keterangan tentang kekeliruan OpenAI. Fakta yang dapat dipastikan dari laporan New Scientist tetap terbatas pada kesalahan penerjemahan matematika ke kode dalam upaya bukti Navier-Stokes.

Rincian tentang bagian yang salah dan bagaimana perbaikannya dilakukan belum tersedia dalam bahan sumber. Sampai informasi itu dijelaskan, klaim spesifik mengenai penyebab maupun dampak teknisnya tidak dapat dipastikan.