OpenAI Nói Đã Giải Bài Toán Navier-Stokes

Juspreet Singh Sandhu, nhà toán học tại Colorado State University, nói rằng nghệ sĩ và nhạc sĩ đã đi qua chuyện này rồi.

Nguồn viết rằng nhà toán học không chỉ tìm câu trả lời nhanh nhất. Việc hình thành ý tưởng mới thường giống một cuộc khám phá nghệ thuật, như tự tạo ra một trò chơi hay một câu đố.

OpenAI tiếp cận chứng minh bằng sức mạnh thô, và cách làm đó rút ngắn quy trình theo cách có thể làm suy giảm hiểu biết của con người.

Trong một tiểu luận năm 1940, G. H. Hardy viết rằng nhà toán học giống họa sĩ hay nhà thơ: đều là người tạo ra các mẫu hình. Ông viết tiểu luận này trong Thế chiến II để bênh vực toán học vì chính nó, tách khỏi ứng dụng, nhất là ứng dụng thời chiến.

Nguồn cũng nhắc tới Carl Friedrich Gauss và số học, nhánh toán học nghiên cứu các số nguyên. Hardy xem đó là dạng toán đẹp nhưng vô ích, nhưng nguồn nói ông đã sai ở một điểm: sau nhiều thế kỷ được xem là vô ích, số học trở nên có giá trị trong các giao thức mã hóa đang được dùng rộng rãi để bảo vệ thư điện tử và tài khoản ngân hàng.

Tên của bài toán lấy từ các phương trình Navier-Stokes, do các nhà khoa học thế kỷ 19 phát triển để mô tả dòng chảy của chất lỏng nhớt. Kỹ sư dùng các phương trình này để mô hình hóa luồng khí khi thiết kế máy bay, nhưng giới toán học lại bị cuốn hút bởi chính các phương trình, chứ không phải ứng dụng của chúng.

Jared Speck, nhà toán học tại Vanderbilt University, nói mối quan tâm chính của họ chắc chắn không phải là kỹ thuật. Ông cho biết họ theo đuổi lời giải vì sự phong phú về toán học và khía cạnh câu đố của nó, và lời giải sẽ không giúp ai thiết kế được cánh máy bay khí động học hơn.