Phương pháp chứng minh phương trình Navier-Stokes của OpenAI vấp phải nghi vấn về phương pháp luận và đóng góp của AI

Các nhà toán học và nghiên cứu đã bày tỏ hoài nghi về bản chứng minh dài 166 trang do AI thực hiện đối với phương trình Navier-Stokes mà OpenAI công bố, đồng thời đặt câu hỏi về phương pháp luận, mối liên hệ với các hướng nghiên cứu có sẵn của Tây Ban Nha và mức độ đóng góp thực sự của các tác nhân AI. Cuộc tranh cãi này làm nổi bật sự mâu thuẫn ngày càng tăng giữa các tuyên bố khoa học do AI tạo ra với tốc độ nhanh chóng và tiêu chuẩn kiểm định nghiêm ngặt, mất nhiều thời gian của cộng đồng toán học hàn lâm. Nó nhấn mạnh các cuộc tranh luận đang diễn ra về việc liệu kiến trúc AI đa tác nhân thực sự tạo ra bước đột phá hay chỉ đơn giản là thúc đẩy quá trình khám phá vét cạn dưới các mô hình nền tảng mạnh mẽ. OpenAI tuyên bố hệ thống của họ đã sử dụng khoảng 10.000 tác nhân AI trong 88 giờ để tìm ra lời giải và 17 giờ để chính thức hóa bằng ngôn ngữ Lean, nhưng các nhà nghiên cứu ước tính sự cộng tác đa tác nhân này đóng góp chưa đến 10% vào thành công. Hơn nữa, các nhà toán học lưu ý rằng bản chứng minh giải quyết một trường hợp có các số hạng ngoại lực chứ không phải là bài toán không có ngoại lực trơn tru hơn mà hầu hết các nhà nghiên cứu ưu tiên.