AI vừa đạt được điểm số hoàn hảo trong cuộc thi toán khó nhất thế giới. Cuộc thi Putnam có 12 bài toán x 10 điểm. Điểm cao nhất năm ngoái là 90. Điểm trung vị? 0. Bộ chứng minh AI của Axiom trong Lean đã đạt 120/120 và vừa chia sẻ tất cả các giải pháp. Một cột mốc lớn cho AI trong Toán học.
Nguồn:
222