Lời giải được công bố, kết quả chờ kiểm chứng

Theo công bố chính thức của OpenAI và kho lưu trữ chứng minh trên Lean, tuyên bố này đã được nhiều hãng thông tấn độc lập đưa tin. Điều đó cho thấy sự kiện OpenAI công bố lời giải là chính xác về cơ bản.

Tuy vậy, việc "tìm ra lời giải" khác với việc lời giải đó đúng. Ở thời điểm hiện tại, lời giải chưa được kiểm chứng độc lập và chưa được CMI công nhận, do đó việc khẳng định OpenAI đã "giải quyết được" bài toán Navier–Stokes vẫn chưa có đủ căn cứ.

Ý nghĩa

Navier–Stokes là bài toán mô tả chuyển động của chất lỏng, nằm trong danh sách bảy bài toán thiên niên kỷ do CMI thiết lập. Nếu lời giải của OpenAI được xác nhận, đây sẽ là kết quả đáng chú ý đối với khả năng nghiên cứu toán học của AI.

Verdict: Đúng phần lớn