MỘT GIẢ THUYẾT TỪ 1959, MỘT CHỨNG MINH TỪ OPENAI, VÀ MỘT NHÀ TOÁN HỌC ĐÃ ĐỌC NÓ
Bài viết này nói về những ghi chú mà một nhà toán học viết ra để giải thích chứng minh của người khác. Mọi điều nói ở đây về chứng minh của OpenAI đều lấy từ những ghi chú đó, tức là thông tin gián tiếp.
Những đường cong đi qua các điểm
Bài toán bắt nguồn từ một bài tập ở trường gọi là nội suy: chọn vài giá trị của x, quyết định giá trị mà một hàm phải nhận ở mỗi điểm đó, và luôn có một đa thức làm được điều ấy. Trên mặt phẳng, cũng chính trò chơi ấy đòi một đường cong đi qua một tập hợp điểm, và nó làm được nếu bậc của nó đủ cao. Một đường cong bậc d — được vẽ bởi một phương trình đa thức theo x và y có lũy thừa cao nhất là d: đường thẳng có bậc 1, đường tròn bậc 2 — có (d+1)(d+2)/2 hệ số, và yêu cầu nó đi qua một điểm là một phương trình.
Giờ hãy đòi hỏi nhiều hơn: đường cong phải đi qua mỗi điểm với bội m — nhiều lần, giống như một nút thắt nơi các nhánh cắt nhau. Mỗi điểm như vậy áp đặt m(m+1)/2 phương trình. Với d và m lớn, phép đếm cho khoảng d²/2 hệ số so với r m²/2 điều kiện, nên, với r điểm, phép đếm bảo đảm có một đường cong ngay khi d/m lớn hơn √r một chút — chính xác là ngay khi số hệ số nhiều hơn số điều kiện.
Giả thuyết Nagata (1959) phát biểu chính xác điều này: với r ≥ 10 điểm đặt ở vị trí “rất tổng quát” — không có sự trùng hợp đặc biệt nào giữa chúng, như các điểm được chọn ngẫu nhiên —, mọi đường cong như vậy đều có bậc lớn hơn m√r. Điều kiện r ≥ 10 là cần thiết: chín điểm luôn nằm trên một đường cong bậc ba, và đường bậc ba ấy lấy m lần là một đường cong bậc 3m đi qua mỗi điểm đó m lần — đúng bằng m√9, chính đẳng thức mà giả thuyết loại trừ. Nagata đã chứng minh nó khi r là một số chính phương.
Hai ví dụ từ các ghi chú: không có đường cong bậc 9 nào đi qua ba lần mỗi điểm trong 10 điểm tổng quát (chỉ có 55 hệ số cho 60 điều kiện — riêng điều này chưa đủ để kết luận, vì các điều kiện có thể chồng lên nhau; điều loại trừ nó là cận của Nagata, vì 9 nhỏ hơn 3√10 ≈ 9,5), và không có đường cong bậc 12 nào đi qua ba lần 16 điểm tổng quát — trường hợp đẳng thức 12 = 3√16.
Chứng minh, theo lời kể của Tevelev
Tài liệu tham chiếu là “OpenAI, Nagata’s conjecture for plane curves”, một bản tiền ấn phẩm OpenAI Math Release đề ngày 23 tháng 9 năm 2026, cùng các bản thảo đi kèm về những câu hỏi liên quan được công bố ngày 23 tháng 9 và 5 tháng 10. Jenia Tevelev, ở UMass Amherst, đã nghiên cứu nó để chuẩn bị một bài nói chuyện và chuyển phần trình bày đó thành các ghi chú này, với hy vọng chúng “sẽ hữu ích, đặc biệt với người không chuyên”. Tevelev không nhận mình có tính độc đáo và đã sắp xếp lại lập luận.
Các bước đầu tiên tiêu chuẩn ép mặt phẳng xuống một đường cong bậc ba trơn và gộp r điểm thành một. Theo phần trình bày này, ý tưởng mới là để đường cong bậc ba hình thành một điểm nút — một điểm nơi đường cong tự cắt chính mình, thắt lại một vòng — và theo dõi các hàm theta của nó, cách tiêu chuẩn để viết ra những hàm sống trên một đường cong như vậy, trong khi chỗ thắt ấy khép lại. Sau đó một đối ngẫu đổi câu hỏi “những đường cong nào triệt tiêu tại các điểm đó?” thành hình ảnh phản chiếu của nó, “những giá trị nào có thể quy định ở đó?”, và phần còn lại là nội suy trên một tam giác các điểm lưới nguyên — một bảng giá trị hữu hạn cần điền, “điều này thì đơn giản”.
Trường hợp mười sáu điểm bội ba: 91 điểm lưới của tam giác (trái) và 96 đơn thức, những số hạng cơ bản như x²y dùng để dựng nên các đa thức (phải). Chứng minh rằng 96 số hạng này có thể nhận bất kỳ giá trị nào trên 91 điểm — ma trận 96 × 91 có “hạng đầy đủ” — sẽ loại trừ đường cong đó. — Hình 3, Tevelev (2026), arXiv:2610.30050, CC BY 4.0.
Cùng phép tính đó cũng giải quyết một câu hỏi liên quan, mang tính kỹ thuật hơn, trong đó mặt phẳng được phóng to quanh một điểm theo những mức khác nhau ở hai hướng (“phép nổ có trọng số”, weighted blow-ups), khi tỉ số giữa các mức đó vượt quá chín — một trường hợp của giả thuyết do Dumnicki, Harbourne, Küronya, Roé và Szemberg đưa ra.
Các ghi chú trình bày lập luận như một chứng minh. Chúng không nhắc đến bất kỳ sự kiểm tra hình thức độc lập nào, chẳng hạn bình duyệt hay một chứng minh được máy tính kiểm chứng.
“Người đọc đầu tiên là con người của chúng”
Các ghi chú cũng mang ý kiến của tác giả. Khi đọc các bản thảo được công bố, Tevelev “tự hỏi liệu tôi có thể là người đọc đầu tiên là con người của chúng hay không. Chúng dường như gần như hoàn toàn chưa được biên tập.” Tevelev ngờ rằng công ty đã trông đợi các nhà toán học sắp xếp chúng lại, một công việc biên tập “đòi hỏi chuyên môn và thời gian, nhưng lại mang về rất ít sự ghi nhận vốn gắn với nghiên cứu độc đáo”. Giống như nhiều người khác, Tevelev tin rằng cách làm này gây hại cho nghề, “đặc biệt là động lực và việc đào tạo người trẻ”.
“Đồng thời, tôi nghĩ những bản thảo này là một thành tựu kinh ngạc,” Tevelev viết: mô hình đã giải những bài toán mà nhiều chuyên gia cho là ngoài tầm với, và “đám bụi rậm cũ của các giả thuyết toán học” đang “nhanh chóng bị thiêu rụi trong ngọn lửa AI”.
Đề xuất: một quỹ độc lập do các công ty AI tài trợ, cấp kinh phí, học bổng nghiên cứu và quyền truy cập các mô hình tốt nhất cho các nhà nghiên cứu trẻ, với cơ chế bình duyệt theo mô hình của Quỹ Khoa học Quốc gia Hoa Kỳ.
Các ghi chú cho biết chúng đã được “biên tập và minh họa bằng ChatGPT Astra”.