Tóm tắt Một loại tiến bộ toán học mới đang xuất hiện: Các hệ thống AI đang bắt đầu đưa ra những ý tưởng chứng minh...
