Tranh luận xoay quanh bản chất của bài chứng minh

Theo các nguồn đã được xem xét, bài chứng minh liên quan đến OpenAI vấp phải nghi ngờ từ giới chuyên gia: hướng tiếp cận được trình bày không giải quyết đúng bài toán Navier–Stokes mà các nhà toán học theo đuổi trong nghiên cứu chính thống.

Điểm gây tranh cãi là sự khác biệt giữa các phiên bản bài toán: bài toán thiên niên kỷ do Viện Toán Clay đặt ra yêu cầu chứng minh (hoặc bác bỏ) sự tồn tại và tính mượt của nghiệm trong không gian ba chiều với dữ kiện ban đầu mượt, trong khi một số dạng biến thể của bài toán có điều kiện và định nghĩa khác, dễ xử lý hơn.

Chưa có kết luận cuối cùng

Các đánh giá hiện tại chỉ đi đến kết luận rằng lập luận nêu trên đúng một phần: những thắc mắc về việc bài chứng minh không nhắm vào đúng bài toán là có cơ sở, song việc công trình có giá trị hay không vẫn cần sự kiểm chứng rộng rãi hơn từ cộng đồng toán học trước khi được công nhận chính thức.

Verdict: Đúng một phần