"Làm thế nào để ăn một con voi? Ăn từng miếng một."

Trong những năm gần đây, các mô hình học máy đã đạt được sự phát triển vượt bậc với tốc độ đáng kinh ngạc. Khi khả năng của mô hình được cải thiện, độ phức tạp của chúng cũng tăng lên đồng thời - các mô hình tiên tiến ngày nay thường chứa hàng triệu thậm chí hàng tỉ tham số.

Để đối phó với những thách thức quy mô này, nhiều hệ thống chứng minh không kiến thức đã xuất hiện, các hệ thống này luôn nỗ lực đạt được sự cân bằng động giữa thời gian chứng minh, thời gian xác minh và kích thước chứng minh.

Sự gia tăng theo cấp số nhân của quy mô tham số mô hình

Mặc dù phần lớn công việc trong lĩnh vực chứng minh không biết hiện nay tập trung vào việc tối ưu hóa chính hệ thống chứng minh, nhưng một chiều kích quan trọng thường bị bỏ qua - đó là cách hợp lý để phân tách các mô hình quy mô lớn thành các mô-đun con nhỏ hơn, dễ xử lý hơn để tiến hành chứng minh. Bạn có thể tự hỏi, tại sao điều này lại quan trọng đến vậy?