AI & ML · 10 Sep
Berkas Navier-Stokes dari OpenAI membuat pembuktian dapat diperiksa, bukan hanya dapat dipanggil
Pelajaran sebenarnya adalah peralihan dari klaim saat konferensi pers ke artefak Lean, karena sains membutuhkan bukti nyata dan pembukti teorema tidak peduli pada kesan semata.
- Perlakukan klaim sains AI sebagai masalah artefak: cari berkas bukti, pemeriksaan, dan jalur tinjauan independen.
- Gunakan loop verifikasi dalam alur kerja AI Anda sendiri, terutama ketika output bersifat kompleks atau berisiko tinggi.
- Pisahkan kebenaran dari provenans: artefak yang valid tetap memerlukan catatan kredit, data, dan proses yang transparan.