OpenAI Salah Terjemahkan Matematika dalam Bukti Navier-Stokes

OpenAI dilaporkan melakukan kesalahan penerjemahan matematika ke dalam kode saat mengerjakan pembuktian terkait persamaan Navier-Stokes, menurut artikel New Scientist. Kesalahan ini penting karena kode yang tampak berjalan belum tentu mewakili pernyataan matematika yang hendak dibuktikan. Bahan sumber tidak memuat rincian tentang bagian rumus yang keliru, model yang digunakan, maupun hasil akhir proyek, sehingga hanya mendukung kesimpulan bahwa terjadi kesalahan penerjemahan. Persamaan Navier-Stokes menggambarkan gerak fluida dan pembuktian sifat matematisnya membutuhkan penalaran cermat, sementara proses konversi ke kode menuntut kesesuaian antara rumus dan implementasinya. Kasus ini menyoroti bahwa keluaran AI yang tampak meyakinkan tetap membutuhkan pemeriksaan ahli, terutama saat klaim bergantung pada pembuktian formal, karena keberhasilan teknis menjalankan kode berbeda dari keberhasilan membangun bukti matematika yang sah.