Bài báo này chứng minh rằng mạng nơ-ron lan truyền thuận sử dụng hàm kích hoạt ReLU có thể khái quát hóa thành dữ liệu được xác định rõ, có độ phức tạp thấp. Với dữ liệu iid được tạo bằng ngôn ngữ lập trình đơn giản, mạng nơ-ron lan truyền thuận có độ dài kỹ năng tối thiểu (MDL) nội suy dữ liệu sẽ khái quát hóa với xác suất cao. Bài báo định nghĩa ngôn ngữ lập trình đơn giản này và khái niệm độ dài kỹ năng cho mạng nơ-ron như vậy. Bài báo cung cấp một số ví dụ về các tác vụ tính toán cơ bản, chẳng hạn như phát hiện tính nguyên tố. Đối với phát hiện tính nguyên tố, định lý phát biểu như sau: Xét một mẫu iid gồm n số được rút ngẫu nhiên đều đặn từ 1 đến N. Với mỗi số xi, nếu xi là số nguyên tố, yi = 1; ngược lại, yi = 0. Sau đó, mạng MDL nội suy sẽ trả lời chính xác xem một số mới rút ra từ 1 đến N có phải là số nguyên tố hay không với xác suất lỗi là 1-O(ln N)/n). Lưu ý rằng mạng không được thiết kế để phát hiện số nguyên tố; quá trình học kỹ năng tối thiểu sẽ phát hiện ra các mạng có khả năng phát hiện. Phần mở rộng cho dữ liệu nhiễu cũng được thảo luận, cho thấy rằng các bộ nội suy mạng nơ-ron MDL có thể biểu hiện tình trạng quá khớp nhẹ.