OpenAI baru saja merilis 722 manuskrip matematika yang mengklaim bahwa sebuah model rahasia menyelesaikannya hanya dengan satu prompt. Saat euforia melaju kencang, para matematikawan sungguhan menuntut bukti, bukan sekadar unggahan blog yang bombastis. Ini menyoroti dilema klasik AI: lompatan luar biasa ke depan versus minimnya verifikasi yang transparan. Jika benar, pembuktian teorema otomatis bisa segera meningkatkan kemampuan kriptografi kripto dan verifikasi kontrak pintar secara signifikan. Namun, sampai kode mentah dan bukti pendukungnya tersedia untuk publik, saya akan tetap sangat skeptis. $FET $AGIX #OpenAI #ArtificialIntelligence #CryptoSecurity