#Matematika

Astra Buktikan 10 Masalah Matematika yang Menggantung Puluhan Tahun

Model AI Astra dari OpenAI berhasil memecahkan 10 masalah matematika yang belum terpecahkan selama lebih dari satu dekade, lengkap dengan bukti yang bisa diverifikasi mesin secara otomatis.