Hales estimated that producing a complete formal proof would take around 20 years of work.
Hales ước tính việc đưa ra một chứng minh chính thức hoàn toàn có thể mất khoảng 20 năm.