OPENAI NÓI MỘT KHÔNG ĐIỂM ĐÁNG SỢ KHÔNG HỀ TỒN TẠI — MỘT NHÀ TOÁN HỌC KIỂM TRA

Xung đột lợi ích. Bài báo nêu rõ mô hình ngôn ngữ lớn Claude, do Anthropic phát triển, đã được sử dụng trong suốt quá trình chuẩn bị: nó viết một báo cáo về bản thảo của OpenAI và một bản nháp mở rộng của chứng minh làm nền tảng cho văn bản, tính ra các hằng số tường minh, và giúp kiểm tra chứng minh. Bài viết này cũng do Claude viết. Kết quả gốc được ghi công cho OpenAI, một đối thủ của Anthropic. Không điều nào trong số đó làm cho chứng minh đúng hay sai; việc đó là để các nhà toán học độc lập phán xét.

Các nhà lý thuyết số nghiên cứu cách các số nguyên tố phân bố bằng những công cụ gọi là hàm L Dirichlet, L(s, χ), mỗi hàm gắn với một “đặc trưng” χ có một “conductor” q. Những điểm mà các hàm này triệt tiêu là các không điểm của chúng.

Với các đặc trưng thực, có một khả năng khó chịu chưa bao giờ bị loại trừ: một không điểm thực duy nhất β nằm cực kỳ gần 1. Nó được gọi là không điểm Landau–Siegel. Bài báo lưu ý rằng việc những không điểm như vậy có tồn tại hay không là một trong những bài toán trung tâm của lý thuyết số giải tích, vì chúng cản trở các ước lượng đều cho số nguyên tố trong cấp số cộng và các cận dưới hiệu dụng cho “số lớp” của các trường bậc hai.

Các câu trả lời từng phần đã biết đều bỏ sót một điều gì đó. Năm 1935, Siegel chứng minh rằng một không điểm như vậy không thể nằm quá gần 1, nhưng phương pháp này không cho cách nào để tính xem nó gần đến mức nào. Page chứng minh rằng, cho đến một kích thước bất kỳ cho trước, nhiều nhất chỉ có một đặc trưng thực có thể có không điểm như vậy. Các công trình sau này của Goldfeld, và của Gross và Zagier, đã đưa ra các cận hiệu dụng cho số lớp — nhưng, theo bài báo, yếu hơn nhiều so với những gì có được nếu loại trừ được các không điểm này.

Tuyên bố của OpenAI

Một bản thảo của OpenAI, đề ngày 1/10/2026, khẳng định rằng không điểm Landau–Siegel không tồn tại: có một hằng số cố định c > 0 sao cho (1 − β) log q ≥ c với mọi không điểm thực, trong đó q là “conductor” của đặc trưng. Theo William Banks ở Đại học Missouri, chứng minh của nó khá ngắn, dùng một định thức nội suy — một công cụ quen thuộc trong lý thuyết số siêu việt — và chỉ cần một bất đẳng thức cổ điển về các hàm L. Nhưng nó lập luận bằng phản chứng và không đưa ra giá trị số cho bất kỳ hằng số nào.

Một chứng minh được viết ra đầy đủ

Banks không nhận mình có bất kỳ ý tưởng độc đáo nào. Mục tiêu là làm cho lập luận dễ tiếp cận và xác nhận nó, dưới dạng một chứng minh trực tiếp trong đó mọi bước đều được viết ra. Điểm mới là các con số tường minh:

(1 − β) log q ≥ 0,003 với mọi conductor q ≥ 10¹⁰

Kết hợp với một tìm kiếm bằng máy tính của Lu, Zaman và Zhao cho các conductor nhỏ hơn — mà Banks cho biết chưa tự kiểm chứng — cận này sẽ đúng với mọi conductor từ 3 trở lên.

Cái bẫy sập lại như thế nào

Chứng minh đặt một số nguyên đối đầu với chính nó.

• Một phép đếm số nguyên tố bị lệch. Nếu một không điểm thực nằm rất gần 1, thì χ(p) = −1 với hầu hết mọi số nguyên tố p. Đây là kết quả cổ điển, và là chỗ duy nhất không điểm xuất hiện.
• Một định thức. Trong một hệ số được xây dựng từ căn bậc hai của 2 và căn bậc hai gắn với χ, Banks lắp ráp một định thức khổng lồ Δ từ lũy thừa của những số được chọn cẩn thận. “Chuẩn” của nó là một số nguyên khác không.
• Vừa quá lớn vừa quá nhỏ. Một cận về độ lớn cho biết số nguyên này không thể quá lớn. Nhưng tại mọi số nguyên tố p có χ(p) = −1, một quy tắc đại số gọi là đồng dư Frobenius khiến Δ chia hết cho lũy thừa bậc cao của p. Nếu hầu hết mọi số nguyên tố đều như vậy — như một không điểm gần 1 sẽ buộc phải xảy ra — số nguyên đó sẽ cần nhiều thừa số nguyên tố hơn mức mà độ lớn của nó cho phép.

Mâu thuẫn chỉ biến mất nếu không điểm giữ một khoảng cách tối thiểu với 1. Theo lời Banks, mẹo then chốt là số phụ trợ 2 nâng hạng của mạng (lattice) lên bốn trong khi vẫn chỉ giữ ba biến.

Giờ là lúc kiểm tra

Cái giá đặt cược rất lớn, và Banks nói rõ điều đó: “Xét tầm quan trọng của mệnh đề, việc thẩm định độc lập là thiết yếu; bài báo này được viết ra để việc thẩm định đó dễ dàng nhất có thể.” Banks viết rằng ông đã đích thân kiểm tra từng dòng và tin rằng lập luận là đúng. Kết quả này chưa được các nhà toán học khác thẩm định, và phần lớn bản trình bày này được chuẩn bị với sự trợ giúp của một hệ thống AI. Bước tiếp theo thuộc về cộng đồng lý thuyết số.