OpenAI vừa đưa ra một tuyên bố nghiêm túc.
Nghiên cứu AI mới nhất của họ liên quan đến khoảng 10.000 tác nhân phối hợp với nhau để giải bài toán Navier–Stokes, một trong những thách thức nổi tiếng chưa có lời giải trong toán học.
Thay vì để một mô hình duy nhất tấn công bài toán theo một hướng, hệ thống đã khám phá nhiều cách tiếp cận song song. OpenAI cho biết một bài toán Euler trước đó, đơn giản hơn, đã giúp các tác nhân phát triển những ý tưởng sau đó được áp dụng vào Navier–Stokes.
Theo thông tin, bước đột phá xuất hiện sau khoảng 88 giờ.
Kết quả được đề xuất chỉ ra một kịch bản trong đó một xoáy tiếp tục tập trung và giãn nở cho đến khi hình thành một kỳ dị trong thời gian hữu hạn, dù năng lượng tổng thể vẫn hữu hạn.
Sau đó, OpenAI đã chuyển lập luận đó sang Lean để có thể kiểm tra chứng minh một cách tự động.
Phần này rất quan trọng. Một lập luận ngoạn mục do AI tạo ra là một chuyện. Một chứng minh đã được xác minh một cách hình thức lại là chuyện khác.
Tuy vậy, vẫn có một lưu ý quan trọng: Kết quả của OpenAI vẫn chưa trở thành một lời giải được cộng đồng toán học chấp nhận.
Bài toán này mang “Giải thưởng Millennium” trị giá 1 triệu USD, nhưng OpenAI cho biết họ không có ý định nhận giải đó.
Ngoài ra, con số khoảng ~$15M đang lan truyền trên mạng là ước tính bên ngoài về chi phí token, không phải một con số chính thức từ OpenAI. Và cũng không có bằng chứng rằng $WLD đã được dùng để thanh toán cho việc đó.
$SUI $4Stock
Nghiên cứu AI mới nhất của họ liên quan đến khoảng 10.000 tác nhân phối hợp với nhau để giải bài toán Navier–Stokes, một trong những thách thức nổi tiếng chưa có lời giải trong toán học.
Thay vì để một mô hình duy nhất tấn công bài toán theo một hướng, hệ thống đã khám phá nhiều cách tiếp cận song song. OpenAI cho biết một bài toán Euler trước đó, đơn giản hơn, đã giúp các tác nhân phát triển những ý tưởng sau đó được áp dụng vào Navier–Stokes.
Theo thông tin, bước đột phá xuất hiện sau khoảng 88 giờ.
Kết quả được đề xuất chỉ ra một kịch bản trong đó một xoáy tiếp tục tập trung và giãn nở cho đến khi hình thành một kỳ dị trong thời gian hữu hạn, dù năng lượng tổng thể vẫn hữu hạn.
Sau đó, OpenAI đã chuyển lập luận đó sang Lean để có thể kiểm tra chứng minh một cách tự động.
Phần này rất quan trọng. Một lập luận ngoạn mục do AI tạo ra là một chuyện. Một chứng minh đã được xác minh một cách hình thức lại là chuyện khác.
Tuy vậy, vẫn có một lưu ý quan trọng: Kết quả của OpenAI vẫn chưa trở thành một lời giải được cộng đồng toán học chấp nhận.
Bài toán này mang “Giải thưởng Millennium” trị giá 1 triệu USD, nhưng OpenAI cho biết họ không có ý định nhận giải đó.
Ngoài ra, con số khoảng ~$15M đang lan truyền trên mạng là ước tính bên ngoài về chi phí token, không phải một con số chính thức từ OpenAI. Và cũng không có bằng chứng rằng $WLD đã được dùng để thanh toán cho việc đó.
$SUI $4Stock
