Openai tung tin về bài toán thiên niên kỷ: AI dùng nghìn đặc vụ tìm lời giải

OpenAI gần đây đã gây xôn xao khi một số tài khoản liên kết với công ty này tuyên bố đã đạt được kết quả liên quan đến bài toán Navier-Stokes, một trong bảy Bài toán Thiên niên kỷ (Millennium Prize Problems). Cụ thể, thông tin xoay quanh khả năng xuất hiện điểm kỳ dị (finite-time singularity/blow-up) trong phương trình này. Theo Ethan Knight, người có liên hệ với OpenAI, đây là thành quả của một sự hợp tác giữa khoảng 10.000 tác nhân (agents) AI làm việc cùng nhau. Các hệ thống này đã được huấn luyện trong khoảng một năm bằng phương pháp học tăng cường đa tác nhân (multi-agent reinforcement learning). Triết lý đằng sau là sử dụng một lượng lớn năng lực tính toán song song, không cấu trúc trong thời gian chạy (parallel test-time compute), cho phép các mô hình tự tổ chức và phân chia công việc. Một bài viết châm biếm có nhắc tới con số 88 giờ để hoàn thành, dù chi tiết này chưa được xác nhận chính thức từ OpenAI. Tuy nhiên, cộng đồng khoa học và giới chuyên gia đang đặt ra nhiều câu hỏi về tuyên bố này. Hiện tại, chưa có bất kỳ tuyên bố định lý, bản thảo sơ bộ, phác thảo chứng minh, hay đánh giá chính thức nào được công bố. Khái niệm "lời giải" trong toán học rất cụ thể, có thể là một chứng minh hoàn chỉnh, một chiến lược giải, hay một phản ví dụ; nhưng các thông tin ban đầu không làm rõ điều này. Vai trò chính xác của con người so với các mô hình AI trong quá trình cũng chưa được xác định. Nhiều chi tiết kỹ thuật quan trọng còn thiếu, ví dụ như việc tích hợp công cụ chứng minh định lý (theorem prover), hệ thống kiểm tra hình thức (formal verification), hay các thành phần mô phỏng chất lỏng. Điều này tạo nên sự mơ hồ, đặc biệt khi bài toán Navier-Stokes yêu cầu sự chính xác và kiểm tra gắt gao. Dù tính xác thực của "lời giải" còn bỏ ngỏ, tuyên bố này vẫn cực kỳ quan trọng vì nó hé lộ một sự dịch chuyển trong cách các phòng thí nghiệm AI tiếp cận những bài toán khó. Thứ nhất, trọng tâm không còn là những mô hình đơn lẻ khổng lồ mà là hệ thống tác nhân AI quy mô lớn, ho