Lời giải: Sàng có trọng số và nguyên lý chuyển đổi của Chen: mọi số chẵn lớn đều là (1966/1973)
Giả thuyết Goldbach đòi hỏi với cả đều nguyên tố. Một cách tấn công tự nhiên là sàng dãy để tìm các phần tử không có thừa số nguyên tố nhỏ, hy vọng cô lập được số nguyên tố trong các . Nhưng mọi sàng đã biết — Selberg, Brun, sàng tổ hợp tổng quát — đều mắc phải 'vấn đề chẵn lẻ': chặn dưới của một sàng thuần túy không thể phân biệt một số có đúng một thừa số nguyên tố với một số có, chẳng hạn, đúng ba thừa số, vì sàng chỉ 'thấy' tính chia hết, không thấy tính chẵn lẻ của số thừa số. Cách Chen vượt qua rào cản này không phải là đối đầu trực diện với vấn đề chẵn lẻ, mà là nới lỏng mục tiêu: chứng minh phát biểu yếu hơn nhưng vẫn rất không tầm thường rằng có nhiều nhất hai thừa số nguyên tố, với ít nhất một số nguyên tố .
Biểu diễn cộng tính , trong đó là số nguyên tố và hoặc có nhiều nhất hai thừa số nguyên tố (ký hiệu ), là xấp xỉ vô điều kiện sâu sắc nhất đã biết cho giả thuyết Goldbach. Hướng tiếp cận lý thuyết sàng chuẩn mực xét . Các sàng tổ hợp chuẩn gán trọng số cho các ước số , với , nhằm loại bỏ các bội của số nguyên tố nhỏ dưới . Tuy nhiên, hiện tượng chẵn lẻ của Selberg tạo thành một rào cản căn bản: các trọng số sàng chỉ dựa trên việc cắt cụt hàm Möbius không thể phân biệt số có số lẻ thừa số nguyên tố với số có số chẵn thừa số nguyên tố. Đối với một sàng tuyến tính chiều 1 có mức phân bố , hàm chặn dưới tối ưu , với , triệt tiêu đồng nhất khi . Đặt để cô lập số nguyên tố trong các sẽ buộc khi , khiến chặn dưới của sàng biến mất hoàn toàn.
Vì trở ngại này, các nhà toán học đã tìm kiếm các xấp xỉ hầu nguyên tố . Alfréd Rényi (1947) lần đầu tiên chứng minh với một hằng số lớn nhờ các ý tưởng sơ khai về sàng lớn. Theodor Estermann đã chứng minh dưới GRH năm 1932, và Vương Nguyên đã chứng minh năm 1956 cùng năm 1962 dưới GRH bằng sàng có trọng số của Kuhn. Bước đột phá xuất hiện cùng định lý Bombieri–Vinogradov (1965), vốn thiết lập mức phân bố trung bình vô điều kiện cho số nguyên tố trong cấp số cộng, cho phép A. I. Vinogradov, M. B. Barban và Phan Thừa Động đưa thành kết quả vô điều kiện.
Việc vươn tới từng tưởng như bị chặn bởi tính chẵn lẻ, bởi sàng tuyến tính không thể khử các ứng viên có ba thừa số nguyên tố mà không triệt tiêu chặn dưới. Trần Cảnh Nhuận đã vượt qua rào cản này không phải bằng cách phá vỡ trực diện hiện tượng chẵn lẻ, mà bằng việc thiết lập một bộ phát hiện có trọng số cho . Thay vì chỉ dựa vào một sàng chặn dưới, Chen đã kết hợp sàng tuyến tính chặn dưới với một đánh giá chặn trên khéo léo cho các ngoại lệ có ba thừa số nguyên tố, đi vòng qua hoàn toàn vật cản chẵn lẻ.
- Vấn đề chẵn lẻ (lý thuyết sàng)
- Một rào cản nền tảng, do Selberg chỉ ra, ngăn các phương pháp sàng tổ hợp một mình không bao giờ chứng minh được một dãy chứa vô hạn số nguyên tố (số có đúng một thừa số nguyên tố), trái với số có một số thừa số nguyên tố nhỏ nhưng không xác định.