MathLabs
Bước 1 trên 5: Từ một ngưỡng lớn kiểu thiên văn tới một ngưỡng tính được
Hiểu nôm na

Vinogradov chứng minh năm 1937, dùng phương pháp vòng tròn, rằng mọi số lẻ đủ lớn đều là tổng ba số nguyên tố — nhưng chứng minh của ông không cho một chặn tường minh nào cho 'đủ lớn'. Nhiều thập kỷ nghiên cứu đã làm cho ngưỡng trở nên hiệu quả rồi nhỏ dần: tới năm 2002, Liu và Wang đã đưa nó xuống cỡ C≈e3100≈101342C\approx e^{3100}\approx 10^{1342}, một con số lớn tới mức việc kiểm tra từng số lẻ nhỏ hơn bằng máy tính là bất khả thi về mặt vật lý (nhiều hơn số picô giây kể từ Vụ Nổ Lớn). Mục tiêu của Helfgott không phải chứng minh một phát biểu định tính mới — điều đó đã được giải quyết từ 1937 — mà là thu nhỏ ngưỡng CC đủ để tính toán trực tiếp có thể tiếp quản bên dưới nó, cuối cùng làm cho phát biểu đầy đủ đúng vô điều kiện với từng số lẻ n>5n>5.

∀ n>5 odd:n=p1+p2+p3,Vinogradov (1937): true for n>C (ineffective, later C≈101300)\forall\, n>5 \text{ odd}: \quad n = p_1+p_2+p_3, \qquad \text{Vinogradov (1937): true for } n > C \ (\text{ineffective, later } C\approx 10^{1300})
Phân tích chi tiết

Chính các bài báo của Helfgott (arXiv:1305.2897 cho cung chính, arXiv:1205.5252 và 1305.3062 cho cung phụ và phần đồng hành số học) phát biểu chính xác mục tiêu: rút gọn 'đủ lớn' không hiệu quả của Vinogradov xuống một CC tường minh đủ nhỏ để việc xác minh bằng máy tính mọi nn lẻ còn lại ≤C\le C trở nên khả thi trong phạm vi tài nguyên tính toán sẵn có — một ngưỡng cỡ 102710^{27}–103010^{30}, không phải 10130010^{1300}. Ba bước tiếp theo thực hiện nửa giải tích của chương trình này (phương pháp vòng tròn với mọi hằng số hoàn toàn tường minh); bước cuối cung cấp nửa tính toán tương ứng.

Thuật ngữ trong bước này
Chặn không hiệu quả và chặn hiệu quả
Một chứng minh 'không hiệu quả' chỉ ra ngưỡng CC tồn tại nhưng không cho thuật toán tính nó; một chứng minh 'hiệu quả' cho một giá trị số tường minh, dù lớn tới mức bất khả thi, mà về nguyên tắc có thể kiểm tra bằng tính toán hữu hạn.