OpenAI Astra Klaim Pecahkan 10 Soal Matematika Terbuka Cuma $2.000
Model riset internal bernama Astra disebut OpenAI berhasil membuktikan sepuluh soal matematika yang mandek puluhan tahun, lengkap dengan sertifikat Lean yang bisa diverifikasi otomatis—tapi kritikus menilai klaim itu digembungkan sebelum ada tinjauan matematikawan independen secara luas.
4 min read