Giải quyết 10 vấn đề chưa được giải quyết trong toán học và khoa học máy tính
Công bố tài liệu giải và xác minh... chi phí sử dụng khoảng 2.000 đô la
Nhiều AI hợp tác giải quyết vấn đề trong thời gian dài... thời điểm ra mắt chưa xác định
Vào ngày 1 tháng 8 (theo giờ địa phương), OpenAI thông báo rằng "Astra đã giải quyết các vấn đề liên quan đến hình học nghiên cứu không gian nhiều chiều, cấu trúc đối xứng toán học trong lý thuyết nhóm, và phân tích độ khó tính toán của máy tính lượng tử".
Astra đã phát hiện ra rằng một số giả thuyết trong giới học thuật là sai hoặc đưa ra những giải pháp mới cho các vấn đề. Đối với những vấn đề khác, nó đã tìm ra kết quả phát triển hơn so với các nghiên cứu trước đây và các phương pháp giải quyết mới.
OpenAI cũng đã công bố tài liệu để xác minh các giải pháp mà Astra tạo ra bằng chương trình xác minh chứng minh tự động có tên 'Lean'. Họ đã công bố cả quá trình nghiên cứu AI và bản nháp bài báo do con người biên soạn.
OpenAI cho biết, nếu quy đổi lượng tính toán AI được sử dụng để giải quyết 10 vấn đề này sang phí dịch vụ của họ, thì khoảng 2.000 đô la (khoảng 290 triệu đồng).
Giám đốc điều hành OpenAI Sam Altman được cho là đã trình diễn Astra cho các quan chức chính phủ và cơ quan quản lý tại Washington DC gần đây.
Astra được thiết kế để nhiều AI có thể phân chia vai trò và hợp tác giải quyết vấn đề trong thời gian dài. Thay vì một AI đưa ra câu trả lời ngay lập tức, nhiều AI sẽ tìm kiếm các giải pháp riêng và xem xét kết quả của nhau.
Thời điểm ra mắt chính thức của Astra và tên sản phẩm cuối cùng vẫn chưa được công bố. Hiện vẫn chưa xác định liệu OpenAI sẽ phát hành nó như một mô hình kế nhiệm của dòng GPT-5 hay như một mô hình chủ lực mới như GPT-6.
* Bài viết này được dịch tự động bằng AI.
© Bản quyền thuộc về Thời báo Kinh tế AJU & www.ajunews.com: Việc sử dụng các nội dung đăng tải trên vietnam. kyungjeilbo.com phải có sự đồng ý bằng văn bản của Aju News Corporation.