Bukti Navier-Stokes: OpenAI dan Kesalahan Terjemahan

TEKNOLOGI

✍ Oleh: adhitia permana
| JurnalArta
🕐 13 menit yang lalu
📂 Teknologi

JAKARTA — Dalam upaya memanfaatkan AI untuk membantu pembuktian matematis, keakuratan penerjemahan rumus ke dalam bahasa pemrograman sangatlah penting. OpenAI dilaporkan salah menerjemahkan matematika ke dalam kode saat mengerjakan bukti terkait persamaan Navier-Stokes, menurut artikel New Scientist.

Kesalahan penting karena kode yang tampak berfungsi belum tentu mewakili pernyataan matematis yang ingin dibuktikan. Materi yang tersedia tidak memuat rincian tentang bagian formula yang salah, model OpenAI yang digunakan, atau hasil akhir proyek. Oleh karena itu, laporan ini hanya mendukung kesimpulan bahwa terdapat kesalahan dalam menerjemahkan matematika ke dalam kode dalam upaya pembuktian.

Kesalahan penerjemahan menjadi titik rawannya

Persamaan Navier-Stokes digunakan untuk menggambarkan gerakan fluida, seperti aliran air dan udara. Membuktikan sifat matematis persamaan ini memerlukan penalaran yang cermat. Dalam konteks komputasi, langkah-langkah matematika dapat ditulis sebagai kode sehingga dapat diperiksa atau dieksekusi, namun prosesnya menuntut kesesuaian antara rumus dan implementasinya.

Masalah penerjemahan muncul ketika representasi dalam kode tidak sesuai dengan maksud matematisnya. Program mungkin masih menghasilkan keluaran, namun keluaran tersebut tidak secara otomatis membuktikan klaim yang dimaksudkan. Dengan kata lain, keberhasilan teknis dalam menjalankan kode berbeda dengan keberhasilan membangun bukti matematis yang valid.

Artikel New Scientist mengatakan OpenAI salah menerjemahkan matematika ke dalam kode untuk bukti Navier-Stokes. Informasi yang diberikan dalam materi sumber tidak menjelaskan bagaimana kesalahan ditemukan atau siapa yang melakukan pemeriksaan. Dengan demikian, tidak ada dasar untuk menyatakan bahwa pembuktian berhasil, atau untuk menyebutkan kesalahan teknis tertentu.

Bukti yang dibantu AI masih perlu diperiksa

Kasus ini menunjukkan keterbatasan penting dalam penggunaan AI dalam penelitian: hasil yang tampak meyakinkan masih memerlukan pemeriksaan pada setiap langkah.

Ketika matematika ditransfer ke kode, peneliti perlu memastikan bahwa definisi tertulis, asumsi, dan operasi program benar-benar mencerminkan pernyataan aslinya. Kesalahan pada tahap tersebut dapat membuat perhitungan menjawab permasalahan yang berbeda.

Dampaknya dirasakan oleh komunitas riset dan lembaga yang menilai klaim ilmiah yang dibantu AI. Mereka tidak begitu paham bahwa suatu program berjalan atau menghasilkan jawaban; hubungan antara kode dan argumen matematisnya juga harus dapat dilacak. Bagi pembaca umum, pelajaran yang dapat diambil sangatlah sederhana: bantuan AI bukanlah pengganti pemeriksaan ahli, terutama ketika klaim bergantung pada pembuktian formal.

Materi yang disediakan juga menyertakan link diskusi Hacker News, namun tidak menyertakan komentar atau tanggapan pembaca. Oleh karena itu, pembahasan ini tidak dapat digunakan untuk menambah informasi mengenai kesalahan OpenAI. Fakta-fakta yang dapat dipastikan dari laporan New Scientist masih terbatas pada kesalahan penerjemahan matematika ke dalam kode dalam upaya pembuktian Navier-Stokes.

Detail tentang bagian yang rusak dan cara perbaikannya dilakukan belum tersedia di materi sumber. Sampai informasi tersebut diberikan, klaim spesifik mengenai penyebab atau dampak teknis tidak dapat dikonfirmasi.

📲

💬 Ikuti @journaltanews →