#trợ lý chứng minh lean

AI giải toán olympic và chứng minh định lý: làm được gì, con người còn cần ở đâu

AI đạt mức huy chương ở Olympic Toán quốc tế, chứng minh được kiểm bằng máy, tìm cấu trúc mới; nhưng đặt câu hỏi hay và hiểu vì sao đúng vẫn là việc của người.