AI có thể giải quyết bài toán giải thưởng thiên niên kỷ vào năm 2026?

Traders đang đổ xô vào một thị trường dự đoán trên Manifold, nơi họ đặt cược liệu AI có thể giải quyết một bài toán trong số bảy bài toán giải thưởng thiên niên kỷ vào năm 2026 hay không. Tính đến ngày 5 tháng 9 năm 2026, xác suất ngầm cho câu trả lời "Có" là 38%. Sự gia tăng hoạt động giao dịch trong 24 giờ qua đã tạo ra một làn sóng mới trong thị trường này, với khối lượng giao dịch trong một ngày gần bằng toàn bộ lịch sử giao dịch của thị trường.

Bảy bài toán giải thưởng thiên niên kỷ được Viện Toán học Clay công bố vào năm 2000, mỗi bài toán đều có phần thưởng trị giá 1 triệu USD. Trong số đó, có sáu bài toán vẫn chưa được giải quyết, bao gồm Giả thuyết Riemann, bài toán tồn tại và độ mượt của Navier-Stokes, và bài toán P so với NP.

Thị trường này yêu cầu rằng công việc phải được thực hiện chủ yếu bởi một hệ thống AI. Mặc dù sự hỗ trợ từ con người cho AI là cho phép, nhưng AI chỉ hỗ trợ con người thì không được tính. Điều này rất quan trọng vì hầu hết các kết quả nổi bật của năm 2026 đều là sự hợp tác, nơi con người vẫn cung cấp khung và xác minh cuối cùng.

Tính đến ngày 5 tháng 9 năm 2026, hợp đồng trên Manifold đang giao dịch với xác suất 38% cho câu trả lời "Có", điều này có nghĩa là đám đông tin rằng có hơn một trong ba khả năng rằng một hệ thống AI sẽ đạt được thành tựu này trước cuối năm. Tuy nhiên, xác suất này cũng cho thấy rằng có khoảng ba trong năm khả năng là nó sẽ không xảy ra. Đối với một bài toán đã chống lại những nhà toán học xuất sắc nhất trong nhiều thập kỷ, một tỷ lệ 38% được coi là khá mạnh bạo, phản ánh động lực và câu chuyện hơn là bất kỳ bằng chứng nào đã được xác nhận.

Trong vài tuần qua, ba sự phát triển đã làm thay đổi kỳ vọng về khả năng của các mô hình ngôn ngữ lớn trong toán học thuần túy. Mặc dù không có sự phát triển nào giải quyết một bài toán giải thưởng thiên niên kỷ, nhưng tất cả đều khiến ý tưởng này trở nên gần gũi hơn.

Đầu tiên, Anthropic đã báo cáo vào tháng 8 năm 2026 rằng một phiên bản nghiên cứu chưa phát hành của Claude đã cải thiện một giới hạn lâu dài liên quan đến Giả thuyết Riemann. Thứ hai, OpenAI cho biết mô hình Astra chưa phát hành của họ đã tạo ra các chứng minh cho mười bài toán mở. Cuối cùng, Google DeepMind đã công bố công việc sử dụng mạng nơ-ron để phát hiện các điểm kỳ dị không ổn định mới trong các phương trình chất lỏng, bao gồm cả Navier-Stokes. Những phát triển này đã giải thích lý do tại sao hợp đồng đầu cơ này đột nhiên thu hút được nguồn vốn mới.

Kết quả của Claude về Giả thuyết Riemann, được công bố vào ngày 10 tháng 8 và cập nhật vào ngày 13 tháng 8 năm 2026, cho thấy rằng một phiên bản nghiên cứu của Claude đã nâng cao giới hạn dưới cho phần trăm các số zeta Riemann thỏa mãn giả thuyết từ 41,6% lên 67,2%. Đây là một bước tiến thực sự trong một vấn đề con kỹ thuật, và Anthropic cho biết mô hình đã tạo ra một chứng minh có thể xác minh chính thức cho kết quả này, được kiểm tra bởi các nhà toán học trong đội ngũ.

Tuy nhiên, công ty cũng đã chỉ ra rõ ràng về những giới hạn của nó. Cải thiện giới hạn này chỉ là một sản phẩm phụ không mong muốn sau khi Claude tạo ra hàng trăm ý tưởng không thành công, sau đó phối hợp khoảng 60 tác nhân phụ thực hiện hàng ngàn kiểm tra số và khoảng 2.400 lệnh shell. Anthropic đã tuyên bố rõ ràng rằng họ không kỳ vọng những kỹ thuật này sẽ dẫn đến một chứng minh đầy đủ cho Giả thuyết Riemann.

OpenAI đã công bố vào tháng 8 năm 2026 rằng mô hình Astra của họ đã tạo ra các giải pháp cho mười bài toán trong toán học và khoa học máy tính lý thuyết, mỗi bài toán đã mở trong hơn một thập kỷ, với tổng chi phí tính toán gần 2.000 USD. Công ty đã phát hành một bản thảo dài 249 trang với các chứng nhận chứng minh Lean 4 trên GitHub, và số lượng các bước chưa được xác minh là không có.

Các kết quả được nêu tên bao gồm một cấu trúc rõ ràng của một nhóm không-sofic, một sự bác bỏ giả thuyết cứng nhắc của Connes, một chứng minh cho giả thuyết thể tích Ehrhart, và các giải pháp cho một số bài toán trong danh mục của Paul Erdős. Tuy nhiên, không có bài nào trong số này là bài toán giải thưởng thiên niên kỷ.

Google DeepMind, làm việc với các nhà nghiên cứu tại NYU, Stanford và Brown, đã sử dụng mạng nơ-ron thông tin vật lý để phát hiện hệ thống các điểm kỳ dị không ổn định mới trong ba phương trình chất lỏng. Việc tìm thấy một kỳ dị trong các phương trình Navier-Stokes có liên quan trực tiếp đến một trong sáu bài toán giải thưởng thiên niên kỷ chưa được giải quyết. Đây là AI chỉ ra cho các chuyên gia con người hướng tới các giải pháp ứng viên mà sau đó sẽ được chứng minh một cách nghiêm ngặt, một mô hình hợp tác thay vì một giải pháp tự động.

Khoảng thời gian AI trong toán học năm 2026 cho thấy:

• Đầu năm 2026: Google DeepMind, NYU, Stanford, Brown phát hiện các kỳ dị không ổn định mới trong các phương trình chất lỏng (họ không giải quyết được bài toán).
• Ngày 2 tháng 8 năm 2026: OpenAI (Astra) giải quyết mười bài toán mở với chứng minh Lean 4, chi phí khoảng 2.000 USD (không bài nào đủ điều kiện).
• Ngày 10-13 tháng 8 năm 2026: Anthropic (Claude) nâng cao giới hạn dưới cho giả thuyết Riemann từ 41,6% lên 67,2% (không phải một chứng minh).
• Ngày 5 tháng 9 năm 2026: Các nhà giao dịch trên Manifold định giá 38% khả năng AI giải quyết một bài toán giải thưởng thiên niên kỷ vào năm 2026 (vẫn chưa giải quyết).

Khoảng cách giữa "AI đã giúp với một chứng minh" và "AI đã giải quyết vấn đề" là nơi có tiền. Xác suất 38% là một cược rằng ranh giới định nghĩa sẽ được vượt qua trong chưa đầy bốn tháng, điều này sẽ yêu cầu một giải pháp đủ điều kiện, được xác minh bởi con người, do AI dẫn dắt xuất hiện và được công nhận trước ngày 31 tháng 12. Hiện tại, không có gì công khai đáp ứng tiêu chí đó.

Đối với các nhà đầu tư theo dõi các phòng thí nghiệm AI, những kết quả toán học này cũng là tín hiệu về khả năng và tiếp thị. Việc tạo ra chứng minh chính thức, được xác minh trong Lean, là một minh chứng cụ thể về khả năng lý luận mà khó có thể giả mạo hơn so với một điểm chuẩn. Đó là lý do tại sao những cái tên tương tự lại xuất hiện trong các báo cáo dự đoán của chúng tôi, từ tỷ lệ ARC-AGI-3 trên Manifold cho đến thị trường Chỉ số Phân tích Nhân tạo.

Có ba điều cần theo dõi tiếp theo. Thứ nhất, bất kỳ tuyên bố nào về một giải pháp đầy đủ cho Giải thưởng Thiên niên kỷ sẽ cần được Viện Toán học Clay và kiểm duyệt đồng nghiệp xác nhận, điều này thường mất nhiều năm, không phải vài tháng. Thứ hai, theo dõi xem các phòng thí nghiệm có định hình các kết quả tương lai là do AI dẫn dắt hay do con người dẫn dắt, vì cách diễn đạt sẽ quyết định liệu thị trường này có thể giải quyết "Có" hay không. Thứ ba, theo dõi khối lượng giao dịch: nếu khối lượng giao dịch tiếp tục tăng mà không có yếu tố kích thích nào được nêu tên, thì giá cả là động lực, không phải thông tin. Để cảm nhận cách mà các hợp đồng AI đầu cơ này hoạt động, hãy so sánh quỹ đạo của thị trường ngày phát hành GTA 6 và sự gia tăng tham gia lực lượng lao động Kalshi.

Tóm lại, thị trường Manifold định giá 38% khả năng AI giải quyết một bài toán giải thưởng thiên niên kỷ vào năm 2026 đang dựa vào câu chuyện, không phải vào sự giải quyết. Những kết quả thực sự của mùa hè, giới hạn Riemann của Claude, mười chứng minh của Astra, và các kỳ dị chất lỏng của DeepMind, đều là những bước tiến đáng kể nhưng không đủ điều kiện theo tiêu chí nghiêm ngặt của thị trường này. Hãy coi 38% như một cược vào động lực và một ranh giới định nghĩa mờ nhạt, không phải là tín hiệu rằng một chứng minh sắp xảy ra.

TH (phapluatxahoi.kinhtedothi.vn)