Ba ngày đổi ngôi trong cuộc đua thu hẹp khoảng cách số nguyên tố
Cuối tháng 8/2026, Julia Stadlmann đưa cận khoảng cách nhỏ giữa các số nguyên tố từ 246 xuống 240, phá kỷ lục tồn tại khoảng 12 năm. Ba ngày sau, Axiom Math công bố mức 212; chỉ hai giờ tiếp theo, OpenAI đưa ra con số 186. Thành tích đổi chủ nhanh đến mức dễ tạo cảm giác bài toán số nguyên tố sinh đôi sắp được giải. Thực tế, các kỷ lục này mới thu hẹp một giới hạn, chưa chứng minh có vô hạn cặp số nguyên tố cách nhau đúng 2. [1]
Điều đáng chú ý vì thế không chỉ nằm ở ba chữ số. Cuộc đua cho thấy AI có thể tiếp nhận một ý tưởng toán học mới, kết hợp nó với công trình cũ và thử nhiều hướng với tốc độ rất cao. Đồng thời, nó đặt ra câu hỏi về giá trị của một kỷ lục: toán học tiến bộ nhờ con số cuối cùng, nhờ chứng minh kiểm tra được hay nhờ những ý tưởng giúp con người hiểu vì sao chứng minh ấy đúng? [1]
Bài toán thực sự hỏi điều gì?
Số nguyên tố là số tự nhiên lớn hơn 1 chỉ chia hết cho 1 và chính nó. Hai số như 3 và 5, hoặc 17 và 19, tạo thành cặp số nguyên tố sinh đôi vì chênh nhau 2. Giả thuyết số nguyên tố sinh đôi cho rằng có vô hạn cặp như vậy. Mệnh đề đã được nghiên cứu ít nhất từ thế kỷ 19 và được nhiều nhà lý thuyết số tin là đúng, nhưng đến nay vẫn chưa có chứng minh hoàn chỉnh. [1]
Yêu cầu khó nhất nằm ở chữ “vô hạn”. Việc tìm thêm một cặp sinh đôi, dù các số lớn đến đâu, chỉ xác nhận một trường hợp. Chứng minh phải cho thấy hiện tượng tiếp tục xảy ra trên toàn bộ trục số, vượt xa mọi phạm vi có thể kiểm tra trực tiếp. Bởi vậy, tìm ví dụ bằng máy tính và chứng minh một quy luật không bao giờ chấm dứt là hai nhiệm vụ khác nhau. [1]
Cận 186 nói được điều gì?
Năm 2013, Yitang Zhang tạo bước ngoặt khi chứng minh có một khoảng cách hữu hạn nhỏ hơn 70 triệu xuất hiện vô hạn lần giữa các cặp số nguyên tố. Kết quả chưa xác định khoảng cách đó là 2, nhưng lần đầu tiên đặt được một cận hữu hạn cho bài toán. Đến giữa năm 2014, một nỗ lực cộng tác lớn đã hạ cận xuống 246, nơi kỷ lục đứng yên cho đến công trình của Stadlmann. [1]
Mức 186 cũng phải được hiểu theo cấu trúc ấy: có một độ chênh nào đó không vượt quá 186 lặp lại vô hạn lần. Kết quả không nói độ chênh ấy nhất thiết bằng 186, càng chưa chỉ ra nó bằng 2. Có thể hình dung người tìm kiếm đã thu hẹp một vùng rộng xuống còn 186 vị trí nhưng chưa xác định mục tiêu nằm ở đâu. Vùng nhỏ hơn là tiến bộ thực sự, song không thể thay thế bước chứng minh cuối cùng. [1]
Phương pháp sàng thu hẹp giới hạn ra sao?
Các hướng tiếp cận của Zhang và Stadlmann đều dựa vào phương pháp sàng. Ở dạng quen thuộc, sàng loại các hợp số bằng cách nhận diện bội của những số nhỏ. Trong bài toán này, cách lọc tinh tế hơn: các ứng viên được gán trọng số khác nhau nhằm hỗ trợ việc ước lượng phân bố số nguyên tố. Mục tiêu không phải nhận diện hoàn hảo từng số, mà là thu đủ thông tin để chứng minh một kiểu khoảng cách phải xuất hiện vô hạn lần. [1]
Điểm tưởng như nghịch lý là bộ lọc không hoàn toàn có thể hữu ích hơn một phép phân loại tuyệt đối. Khi xem xét phạm vi rất lớn, nhà toán học khó kiểm soát từng trường hợp nhưng vẫn có thể cộng gộp các trọng số và chặn kết quả bằng bất đẳng thức. Một lựa chọn trọng số tốt sẽ làm tín hiệu cần tìm nổi bật hơn phần sai số, từ đó hạ con số ở cận trên. [1]
Stadlmann kết hợp các kỹ thuật gần đây với phương pháp trước đó của Zhang. Bà tìm trọng số phù hợp bằng cách chia một không gian nhiều chiều thành các miền mà mỗi phương pháp hoạt động hiệu quả hơn, rồi tính thể tích của những miền chỉ mới biết gần đúng về hình dạng. Công việc này cho thấy hạ cận không đơn thuần là cho máy tính chạy lâu hơn; cách biểu diễn bài toán và phối hợp các ước lượng vẫn quyết định kết quả. [1]
Vì sao ba kỷ lục xuất hiện liên tiếp?
Sau khoảng hai năm tập trung vào bài toán, Stadlmann đạt cận 240 vào đầu mùa hè 2026 và công bố kết quả vào ngày cuối tháng 8. Khi đó, Axiom Math đang kiểm tra các chứng minh từ giai đoạn 2013–2014. Nhóm này chuyển sang đưa ý tưởng mới của Stadlmann vào hệ thống chứng minh định lý và mất ba ngày để đạt mức 212. [1]
OpenAI đồng thời nghiên cứu một bài toán liên quan về khoảng cách lớn giữa các số nguyên tố để đánh giá năng lực giải toán của GPT-6 Astra. Nhóm cũng thử bài toán khoảng cách nhỏ và báo cáo cận 186 trong tài liệu đi kèm lần giới thiệu mô hình ngày 3/9/2026. OpenAI cho biết không định tiếp tục đẩy kỷ lục này và xác định mục tiêu của công cụ là hỗ trợ nhà toán học. [1]
Tốc độ ấy phản ánh một lợi thế rõ ràng của AI: đọc nhiều tài liệu, phát hiện hướng cụt và thử các tổ hợp ý tưởng nhanh hơn lao động thủ công. Tuy nhiên, máy không khởi hành từ khoảng trống. Axiom dựa trên các chứng minh trước đó cùng cách tiếp cận Stadlmann vừa công bố; công việc của OpenAI cũng diễn ra trong một chương trình có các nhà toán học tham gia. Kỷ lục mới là kết quả của một chuỗi kiến thức tích lũy, không chỉ của tốc độ tính toán. [1]
Kỷ lục có đồng nghĩa với hiểu biết?
Các nhà toán học được Science News dẫn lời nhìn nhận AI có thể rút ngắn đáng kể thời gian tìm chứng minh, rà tài liệu và thử hướng giải. Nhưng họ cũng đặt câu hỏi về chi phí, quyền tiếp cận và khả năng đọc hiểu các chứng minh do máy tạo ra. Một kết quả được tạo rất nhanh vẫn cần được trình bày đủ rõ để con người kiểm tra, nhận ra phần nào là ý tưởng chủ đạo và biết kỹ thuật ấy có thể áp dụng ở đâu khác. [1]
Cuộc đua còn chạm đến chuẩn mực cộng tác. Một số nhà toán học chỉ trích việc OpenAI cùng nghiên cứu bài toán mà không liên hệ trực tiếp với Stadlmann, dù công ty nói đã trao đổi với James Maynard, người từng hướng dẫn tiến sĩ cho bà. Stadlmann cho biết bà không cảm thấy bị đối xử bất công và quan tâm đến các ý tưởng đứng sau kết quả hơn bản thân con số kỷ lục. [1]
Vì vậy, chặng đường từ 240 xuống 186 cho thấy ba thước đo cần được tách biệt: cận số học tốt hơn, chứng minh mà cộng đồng có thể kiểm tra và ý tưởng làm sâu thêm hiểu biết. AI đã tăng tốc mạnh thước đo đầu tiên và có thể hỗ trợ thước đo thứ hai. Giá trị lâu dài sẽ phụ thuộc vào việc nó có giúp con người tiếp cận thước đo thứ ba hay không. Còn khoảng cách đúng bằng 2 vẫn là cánh cửa chưa được mở. [1]