Câu ví dụ托马斯·黑尔斯在2005年出版了一份超过一百页的文档以说明其证明的非电脑部份的细节。Sau đó, vào năm 2005, Hales đã xuất bản tài liệu gồm 100 trang mô tả chi tiết phần không được thực hiện bằng máy tính của chứng minh của ông.
