OpenAI tuyên bố AI đã giải xong bài toán triệu đô, giới toán học lập tức tranh cãi

OpenAI tuyên bố AI nội bộ của họ vừa giải xong một bài toán tồn tại 90 năm, nhưng giới toán học đang phản ứng vì phòng lab này quá vội vơ công.

OpenAI vừa đăng bài phân tích kèm lời giải chính thức viết bằng Lean — một ngôn ngữ kiểm chứng toán học — tuyên bố đã xử lý xong bài toán về sự tồn tại và tính nhẵn của Navier–Stokes. Lời giải chỉ ra rằng các phương trình chuyển động chất lưu có thể mất tác dụng trong một khoảng thời gian hữu hạn khi vòi xoáy cuộn vào trong và kéo giãn ra. Để tìm ra đáp án, OpenAI đã chạy một cụm khoảng 10.000 agent AI song song, dùng một mô hình chưa ra mắt mạnh hơn GPT-6 Astra.

Vì sao chuyện này quan trọng: Nếu lời giải trụ vững, nó chứng minh agent AI có thể giải các bài toán thuần túy cực khó từng làm bó tay con người suốt nhiều thập kỷ. Nhưng thông báo này lập tức châm ngòi cho một cuộc tranh cãi. Giới nghiên cứu đặt dấu hỏi liệu OpenAI có đang vội vơ thành tích trước khi cộng đồng toán học kịp thẩm định cẩn thận.

Cần biết thêm: Phương trình Navier–Stokes chi phối cách chất lỏng và khí di chuyển, từ dòng máu chảy đến luồng không khí qua cánh máy bay. Lời giải của OpenAI chỉ ra một "điểm kỳ dị" (singularity) — nơi tốc độ chất lưu chạm đến vô cực và các phương trình tiêu chuẩn không còn đúng nữa.

Dùng 10.000 agent AI giải xong bài toán động lực học chất lưu thì ấn tượng thật, nhưng sống sót qua vòng phản biện của giới toán học mới là bài kiểm tra thực sự.