Tantangan Terbaru A.I.: Olimpiade Matematika
Selama empat tahun terakhir, ilmuwan komputer Trieu Trinh telah sibuk dengan sesuatu yang bisa disebut sebagai permasalahan meta-matematika: bagaimana membangun model kecerdasan buatan yang dapat menyelesaikan masalah geometri dari Olimpiade Matematika Internasional, kompetisi tahunan untuk siswa sekolah menengah paling berbakat dalam matematika di dunia. Minggu lalu, Dr. Trinh berhasil mempertahankan disertasinya tentang topik ini di … Baca Selengkapnya