📁 Terence Tao, pemenang Fields Medal, mengatakan AI sudah dapat menghasilkan banyak bukti matematis. Kemacetan sebenarnya adalah verifikasi. Menciptakan ide menjadi murah. Mengetahui mana yang benar-benar benar tetaplah pekerjaan manusia.