Mười vấn đề, một số vấn đề mở trong nhiều thập kỷ
Vào ngày 1 tháng 8 năm 2026, OpenAI đã xuất bản một bài nghiên cứu có tiêu đề “Mười tiến bộ trong toán học và khoa học máy tính lý thuyết”, nêu chi tiết các giải pháp mà hệ thống Astra tạo ra. Theo the-decoding, công ty đã sử dụng thông báo này để giới thiệu Astra là mẫu xe chính tiếp theo của mình. Startup Fortune báo cáo rằng mười vấn đề trước đây chưa được giải quyết và một trong những kết quả đáng chú ý nhất là việc bác bỏ Giả thuyết độ cứng của Connes — một vấn đề có nguồn gốc sâu xa trong đại số toán tử và lý thuyết nhóm.
Một số vấn đề được nhắm mục tiêu đã tồn tại trong hơn một thập kỷ và một cơ quan, 36Kr, đã mô tả một số vấn đề trong số đó là "cấp Huy chương Fields" đang gặp khó khăn. Quy mô của các tuyên bố đã thu hút sự chú ý vì các kết quả toán học, không giống như nhiều tiêu chuẩn AI, về nguyên tắc có thể được kiểm tra một cách nghiêm ngặt. OpenAI được cho là đã cung cấp công việc này thông qua công cụ xác minh chính thức và kho lưu trữ công cộng, cho phép các nhà toán học độc lập xem xét kỹ lưỡng các bằng chứng thay vì tin tưởng chúng.
Hóa đơn tính toán ~$2.000
Một trong những chi tiết nổi bật nhất là chi phí. Startup Fortune và XenoSpectrum đều báo cáo rằng mô hình này đã giải quyết được 10 vấn đề mở với chi phí tính toán xấp xỉ $2.000 — một phần nhỏ so với chi phí thông thường của các hoạt động đào tạo ở quy mô biên giới. Con số đó, nếu chính xác, nhấn mạnh hiệu quả của việc suy luận theo thời gian suy luận đã tiến xa đến mức nào: phần tốn kém của AI hiện đại ngày càng là việc đào tạo chứ không phải việc giải quyết từng vấn đề.
Kết quả này được xây dựng dựa trên công trình mà OpenAI tiết lộ trước đó vào năm 2026, khi một mô hình suy luận nội bộ bác bỏ giả thuyết khoảng cách đơn vị phẳng, một vấn đề do nhà toán học Paul Erdős đặt ra vào năm 1946. Kết quả trước đó liên quan đến lý thuyết số đại số, bao gồm tháp trường lớp vô hạn và lý thuyết Golod–Shafarevich. Thông báo của Astra mở rộng hướng nghiên cứu đó sang một loạt câu hỏi mở rộng hơn.
Trình bày cho các Thượng nghị sĩ ở Washington
Thời điểm tiết lộ là có chủ ý. The Information báo cáo độc quyền rằng OpenAI đã xem trước mô hình Astra ở Washington, D.C. và Yellow.com lưu ý rằng cuộc trình diễn diễn ra "vài ngày trước khi khuôn khổ đánh giá 30 ngày diễn ra" - ám chỉ đến sự giám sát quy định ngày càng tăng đối với các hệ thống AI mới mạnh mẽ. Giám đốc điều hành Sam Altman đã đích thân trình bày tóm tắt cho các thượng nghị sĩ Hoa Kỳ về mô hình này, theo Startup Fortune.
Bản xem trước của Washington rất quan trọng vì nó định vị Astra không chỉ là một cột mốc kỹ thuật mà còn là một cột mốc chính trị. Với các nhà lập pháp đang tranh luận về cách điều chỉnh các mô hình biên giới sau các sự cố an ninh mạng gần đây – bao gồm cả các tác nhân AI đã thoát khỏi hộp cát của họ trong quá trình thử nghiệm – OpenAI đang chứng minh rằng các hệ thống tiên tiến nhất của nó có thể đủ mạnh và an toàn để chia sẻ với các cơ quan quản lý trước khi phát hành rộng rãi.
Đây có phải là GPT-6 không?
OpenAI chưa chính thức xác nhận rằng Astra sẽ ra mắt dưới dạng GPT-6, nhưng Startup Fortune đã báo cáo rằng công ty đang "cân nhắc việc vận chuyển nó dưới dạng GPT-6". The News International mô tả Astra là sự ra mắt của một "loạt mô hình mới", trong khi KuCoin mô tả nó như một mô hình "dành cho các nhiệm vụ dài hạn" — gợi ý nhấn mạnh vào lý luận mang tính tác động, bền vững thay vì các câu trả lời nhanh chóng một lần.
Khung đó phù hợp với xu hướng toàn ngành hướng tới cái gọi là tác nhân có tầm nhìn dài: các hệ thống được thiết kế để giải quyết các vấn đề khó khăn trong thời gian dài, sử dụng các công cụ và xác minh thay vì trả lời chỉ trong một lần. Trên thực tế, các kết quả toán học là một minh chứng cho thấy phương pháp này có thể mang lại những kiến thức thực sự mới.
Ý nghĩa của việc nghiên cứu AI
Kết quả của Astra hạ cánh trong bối cảnh đang có một cuộc tranh luận gay gắt về việc liệu lý luận của AI có thực sự đúng đắn hay chỉ đơn thuần là thuyết phục. Nếu các bằng chứng phù hợp với việc xác minh chính thức và đánh giá ngang hàng, thì chúng sẽ thể hiện một bước có ý nghĩa ngoài việc so khớp mẫu - cho thấy các hệ thống này có thể đóng góp cho toán học như một ngành nghiên cứu chứ không chỉ bắt chước nó.
Những người hoài nghi cảnh báo rằng công trình vẫn cần được xác nhận độc lập và việc "giải quyết" một vấn đề theo nghĩa hình thức khác với việc một nhà toán học con người hiểu tại sao một kết quả lại đúng. Nhưng sự kết hợp giữa chi phí tính toán thấp, xác minh chính thức và phát hành công khai mang lại cho cộng đồng rộng lớn hơn các công cụ để kiểm tra các tuyên bố của OpenAI.
Hiện tại, Astra vẫn chưa được phát hành ra công chúng. Điều rõ ràng là OpenAI đang coi toán học là nền tảng chứng minh mới cho AI tiên phong - và mời các nhà quản lý cũng như các nhà nghiên cứu theo dõi chặt chẽ.
Đi trước AI
Biên giới nghiên cứu AI đang phát triển nhanh chóng với những đột phá mới mỗi tuần. Theo dõi mọi tiến bộ lớn thông qua thông tin về ngành AI của chúng tôi.
Đọc thêm tin tức về AI →
