Claude nâng tỷ lệ nghiệm zeta được chứng minh nằm trên đường tới hạn lên 67.2% — và phương pháp quan trọng hơn con số

Ngày 10/8, Anthropic công bố một ghi chú nghiên cứu có tác giả là một mô hình ngôn ngữ lớn. Kết quả: ít nhất 67.2% nghiệm không tầm thường của hàm zeta Riemann nằm trên đường tới hạn Re(s) = 1/2. Vô điều kiện. Kỷ lục được chứng minh trước đó là 41.6% (5/12) — con số đã sống sót qua bốn thập kỷ cải tiến của phương pháp Levinson.

Claude không chứng minh được Giả thuyết Riemann. Chính bài báo nói điều đó, hai lần. Điều nó làm — phần đáng đọc chậm lại — là biến 67% có điều kiện thành 67% vô điều kiện bằng một phương pháp thực sự mới: không ước lượng mật độ nghiệm, không miền không nghiệm, không hàm làm trơn. Đầu vào số học chính xác là phép đánh giá phía số nguyên tố của Montgomery cho mô-men bậc hai tương quan cặp tại băng thông ≤ 1, vốn là vô điều kiện từ 1973. Mọi thứ từng cần RH để đọc đều được thay bằng đại số tuyến tính trên một ma trận hữu hạn.

Vì sao con số này có trọng lượng

Giả thuyết Riemann phát biểu rằng mọi nghiệm không tầm thường đều có phần thực đúng bằng 1/2. Chưa ai chứng minh được kể từ 1859; đây là một Bài toán Thiên niên kỷ của Clay với phần thưởng một triệu đô la Mỹ. Các kết quả bộ phận là cận dưới cho tỷ lệ nghiệm nằm trên đường, và dòng dõi này đáng được liệt kê đầy đủ:

Hardy (1914): vô hạn nghiệm trên đường.
Selberg (1942): một tỷ lệ dương.
Levinson (1974): ít nhất 1/3, qua phương pháp hàm làm trơn.
Conrey (1989): 2/5, tinh chỉnh Levinson.
Bui–Conrey–Young, Feng, Pratt–Robles–Zaharescu–Zeindler: 5/12, kỷ lục đứng vững cho tới tuần này.

Mọi con số trong danh sách này đều đến từ cùng một họ kỹ thuật — phương pháp Levinson và các hậu duệ của nó. Con số 2/3 mới thì không. Nó đến từ vòng ý tưởng tương quan cặp của Montgomery, thứ trước đây chỉ dùng được khi giả định RH. Đây là một đứt gãy cấu trúc, không phải một bước tăng: lần đầu tiên “các hệ quả tương quan cặp có điều kiện theo RH” được tách khỏi chính RH ở độ mạnh này.

Con số 2/3 tự nó có lịch sử. Montgomery chứng minh năm 1973 rằng, dưới RH, ít nhất 2/3 số nghiệm là nghiệm đơn (sau này được Goldston và những người khác sắc hóa thành 67.9%). 2/3 ở đây là cùng một hằng số, giờ là vô điều kiện — nhưng cho nghiệm trên đường, và đếm như nghiệm phân biệt, chứ không phải “nghiệm đơn” theo nghĩa của Montgomery. Sự khác biệt ấy có nghĩa: N₀* đếm các nghiệm phân biệt trên đường tới hạn, nên bội số không bị tính chống lại bạn. Bài báo cũng chứng minh ít nhất 5/6 tổng số nghiệm là phân biệt, hệ quả từ cùng bộ máy.

Hai điểm cấu trúc nữa. Thứ nhất, định lý nói về khoảng nhị phân [T, 2T] với sai số o(1); liminf khi T→∞ ít nhất là 2/3, và bài báo báo cáo tỷ lệ ở T hữu hạn nằm dưới giới hạn vì hội tụ chậm (Remark 5.9 của họ). Thứ hai, phương pháp không dừng ở 2/3: với cửa sổ Montgomery–Taylor tối ưu, hằng số trở thành 0.67250…, chính xác là hằng số Montgomery–Taylor có điều kiện theo RH. 2/3 là phát biểu gọn; phương pháp làm tốt hơn một chút mà không mất gì.

Một cỗ máy khác

Đến đây, kết quả không còn là kỷ lục nữa mà trở thành kỹ thuật. Công thức tường minh Weil biến một phát biểu về tính dương trên các hàm thử thành một khẳng định về nghiệm: phiếm hàm toàn phương liên quan là nửa xác định dương khi và chỉ khi RH đúng. Sự tương đương đó vừa là sức mạnh vừa là cái bẫy — mọi lối “chứng minh RH bằng tính dương” ngây thơ đều chết ở đó, và tác tử điều phối của Claude báo cáo rằng trong phiên nghìn tác tử trước đó, bước thực chất đầu tiên của mọi lộ trình được đề xuất hóa ra là tính dương Weil hoặc một dạng ngụy trang của nó.

Mẹo là ngừng hỏi về toàn bộ dạng vô hạn chiều. Claude thu hẹp phép ghép cặp vào một không gian hữu hạn chiều các hàm thử — một “hệ Gabor” gồm các cửa sổ điều chế, d ≈ λN(T,2T) cửa sổ — và phân tích ma trận đối xứng thực hữu hạn thu được. Giờ thì:

nghiệm trên đường tới hạn đóng góp các khối hạng 1 nửa xác định dương;
nghiệm ngoài đường ghép cặp thành {ρ, 1−ρ̄} theo phương trình hàm và đóng góp các khối (1,1) không xác định dấu — chữ ký kiểu không gian Kreĭn, không phải kiểu không gian Hilbert;
định luật quán tính Sylvester chặn chữ ký của toàn bộ dạng;
một bất đẳng thức hạng–vết, chứng minh qua bất đẳng thức vết von Neumann, nối chữ ký với các mô-men vết tính được;
các vết tự thân được đánh giá vô điều kiện từ các số nguyên tố tới X = (T/2π)^λ bằng Montgomery–Vaughan.

Phía nghiệm và phía số nguyên tố được nối bằng một đồng nhất thức tổng Poisson cho ra hạt nhân lấy mẫu một cách chính xác, không méo. Về số, hai phía khớp nhau tới 10⁻⁸ ở các độ cao nhỏ. Bước quan trọng nhất mang tính khái niệm: cổ điển, cần RH để đọc phía nghiệm như một tổng dương trên các tung độ thực. Ở đây, tính không xác định dấu của các cặp ngoài đường được hấp thụ bởi đại số tuyến tính — bạn không bao giờ cần biết một nghiệm cách đường bao xa, chỉ cần khối (1,1) của nó bị chặn về hạng. Chỉ số âm được xử lý bởi định lý quán tính thay vì bị triệt tiêu bởi một giả thuyết chưa chứng minh.

Đây cũng là lý do bài của Bombieri năm 2000, “Nhận xét về phiếm hàm toàn phương Weil trong lý thuyết số nguyên tố, I”, là tổ tiên đúng để trích dẫn: ông nghiên cứu các rút gọn hữu hạn của dạng Weil và chứng minh rằng nếu RH sai với chỉ hữu hạn nghiệm xấu, số trị riêng âm của một rút gọn đủ lớn bằng một nửa số nghiệm xấu. Chữ ký của phép nén hữu hạn mã hóa cách RH sai. Đóng góp của Claude là cho thấy bạn có thể trích ra số nghiệm trên đường từ chữ ký đó mà không bao giờ cần giải quyết câu hỏi nghiệm ngoài đường nào tồn tại.

Điều nó không nói, và trần nhà ở đâu

Bài báo minh bạch về giới hạn của mình một cách bất thường. Không chứng chỉ loại này nào vượt được 0.68185 — thông tin mô-men bậc một/bậc hai ở băng thông λ ≤ 1 có một trần cứng, và λ ≤ 1 là bản chất của lập luận (vượt quá đó bạn cần thông tin mà phía số nguyên tố vô điều kiện không cho). Đạt 0.70/0.80/0.90 đòi hỏi giá đỡ tương quan cặp trải ra tới khoảng 1.04/1.26/1.70, tức cần đầu vào số học thực sự mới, không phải đại số tuyến tính khôn khéo hơn.

Vậy cách đọc trung thực: đây không phải bước tiến tới chứng minh RH, và các tác giả cũng không khẳng định thế. Nó là bước tiến tới dự án cũ hơn và có lẽ dễ giải quyết hơn — chương trình “làm cho các hệ quả của RH trở thành vô điều kiện”, theo tinh thần điều Bombieri và những người khác đã làm cho các số nguyên tố trong khoảng ngắn. Và nó chứng minh bộ máy tương quan cặp, một khi thoát khỏi RH, mạnh hơn bộ máy hàm làm trơn ở chính nhiệm vụ cụ thể này.

Phiên 54 giờ đằng sau nó

Phụ lục mới là phần đọc thú vị hơn, và nên đọc nó như một bài về quy trình làm việc, không phải câu chuyện kể. Một tác tử điều phối chạy khoảng 60 tác tử con cô lập trong một ngày rưỡi: 2,400 lệnh shell, hàng trăm script Python, 31 triệu token đầu ra. Tác tử điều phối gần như không tự làm toán; vai trò của nó là chỉ đạo, phân loại và xác minh.

Hai tác tử con tạo ra các ý tưởng then chốt. E2 chứng minh lộ trình chỉ số âm là rỗng — chỉ số âm hữu hạn trung thực là đồng nhất bằng không — rồi đảo ngược ý tưởng, chặn dưới chỉ số dương từ các vết phía số nguyên tố để khẳng định ít nhất một nửa số nghiệm trên đường. E2-pairs dành 91 phút suy nghĩ, chạy các thí nghiệm số mâu thuẫn với chính nhiệm vụ của nó, và viết bổ đề hạng–vết nâng 1/2 lên 2/3. Bốn phút sau khi viết xong, một sự cố hạ tầng giết chết phiên chạy giữa câu. Tác tử điều phối đọc thư mục của tác tử đã chết, nhận ra kết quả là “điều quan trọng nhất xảy ra tối nay”, kiểm tra từng dòng chứng minh năm dòng, và tiếp tục chính tác tử đó với một danh sách kiểm tra.

Một vài điều nổi bật về cách nó vận hành. Hai dự đoán sáng tạo của riêng tác tử điều phối đều sai — nó chỉ cơ chế đi sai hướng ở bước một nửa và đưa một đòn bẩy phục hồi sai ở bước hai phần ba — trong khi kiến trúc phản biện của nó trụ vững. Các tác tử con bị cô lập có chủ đích: chúng không thấy cuộc hội thoại cũng không thấy nhau, khiến các sai lầm của chúng độc lập và khiến việc rà soát đối nghịch có ý nghĩa. Đóng góp của con người chỉ là vài lời nhắc một dòng: “Tiếp tục công việc đi”, “Đẩy lên 2/3”, “Cứ tiếp tục”. Claude ban đầu tự đánh giá thấp; sự kiên trì đến từ bên ngoài.

Giao thức xác minh mới là phát hiện thực sự

Đây là nơi kết quả có ý nghĩa vượt ngoài lý thuyết số. Vấn đề tin cậy của toán học AI không phải “mô hình có thể tìm ra một chứng minh không” — mà là “vì sao ai đó nên tin nó”. Đường ống ở đây là một khuôn mẫu để trả lời điều đó:

Các tác tử phản biện thù địch mù, mỗi tác tử được gán một lỗ hổng rời rạc và một kế hoạch tấn công, bị cấm đọc nhau. Chúng tìm ra đúng một lỗi thực — một tiền đề sai về ma trận khối lượng — và đề xuất bản sửa cuối cùng đi vào bài báo. Một vòng lặp đối nghịch bắt được một ảo giác; đó là hệ thống đang vận hành.
Một tác tử tái suy dẫn mù chứng minh lại kết quả mà không đọc chứng minh, cùng các ca đối chứng nơi RH được biết là sai. Cả hai đều là hình thức tái lập rẻ.
Một tác tử văn liệu tải về 54 bài arXiv để kiểm tra tính mới — tác tử điều phối từ chối tin trí nhớ của chính nó một cách rõ ràng.
Một bản hình thức hóa Lean 4 / Mathlib cho Định lý A–E, không có sorry, chỉ dựa trên ba tiên đề chuẩn (propext, Classical.choice, Quot.sound). Gồm công thức tường minh Weil, phép đếm nghiệm Riemann–von Mangoldt, ước lượng Stirling, Chebyshev–Mertens và Montgomery–Vaughan — cả giàn giáo giải tích cũng được hình thức hóa, không chỉ định lý chính.
Các chuyên gia con người: các nhà toán học nội bộ của Anthropic là Levent Alpöge và Ralph Furman đã xác nhận; các chuyên gia bên ngoài Brian Conrey và Dan Goldston đã xem xét trong thời gian ngắn.

Các lời né tránh của chính tác tử điều phối là phần dạy nhiều nhất. “Tôi không nói với bạn rằng một nửa số nghiệm nằm trên đường. Tôi nói rằng một tác tử đã tạo ra một lập luận với kết luận đó.” “Kết quả cần một chuyên gia con người.” Phán quyết của bản cuối: “Người đọc tiếp theo nên là một con người.”

Đó là sự phân công lao động đúng, và đáng để gọi tên: sinh và thực thi song song hóa được; xác minh có nhiều lớp và đối nghịch; hình thức hóa là nền tảng chân lý; phán đoán thuộc về con người. Lỗi mà các phản biện bắt được chính là lý do đường ống tồn tại — một mô hình sinh ra một chứng minh có vẻ hợp lý chính xác là trường hợp người đọc thiếu phản biện bị thiêu.

Các lưu ý trung thực

Đây là một sản phẩm nghiên cứu cấp preprint, phát hành cùng tuần nó được viết. Chính ghi chú của chuyên gia gắn cờ các số hạng sai số chưa khai triển (các đuôi O(T^δ log T) và O(T^{1/2−2δ}) chỉ được phác chứ chưa chi tiết đầy đủ). Bản hình thức hóa Lean là một sản phẩm nghiên cứu tĩnh, không phải thư viện được bảo trì. Và các hành vi cấp phiên — một điều phối viên đoán sai hai lần, một tác tử chỉ được chú ý sau một sự cố hạ tầng — vẫn chưa phải là một quy trình tái lập được; chúng là một điểm dữ liệu về điều quy trình này có thể tạo ra khi nó vận hành đúng.

Toán học đã được kiểm tra kỹ hơn hầu hết các preprint: một chứng minh Lean do máy kiểm tra, một vòng phản biện đối nghịch, và hai lượt đọc của chuyên gia độc lập. Phán quyết cuối cùng vẫn thuộc về cộng đồng, và đó là điều đúng đắn. Nhưng hình dạng của nó — một định lý do AI tạo ra, được xác minh hình thức, được chuyên gia rà soát, với phương pháp được ánh xạ trung thực về các tổ tiên Bombieri và Montgomery — là điều mới. Con số 67.2% là phần ít gây ngạc nhiên nhất của thông báo.