Theo giám sát của Beating, OpenAI lần đầu tiên công bố chính thức mô hình trọng tâm tiếp theo của họ, Astra. Phiên bản nội bộ đã đạt được các kết quả mới trên 10 vấn đề toán học và khoa học máy tính lý thuyết chưa được giải quyết trong thời gian dài. Các kết luận cốt lõi của những vấn đề này ít nhất 10 năm không có tiến triển, và đa số đã đình trệ lâu hơn nữa. Một số vấn đề đã được giải quyết trực tiếp hoặc bác bỏ. Astra lần đầu tiên xây dựng được nhóm không sofic, trả lời một câu hỏi mở cốt lõi trong lý thuyết nhóm; nó cũng bác bỏ giả thuyết tính cứng của Connes và giải quyết 3 bài toán của Erdős. Các thành tựu còn lại bao gồm các giới hạn trên và dưới mới, cùng các chứng minh về độ khó liên quan đến bài toán đóng gói hình cầu, lý thuyết mã hóa, độ phức tạp lượng tử và mật mã sau lượng tử. OpenAI cho biết, số Token mà mô hình sử dụng để tìm ra 10 kết quả này, quy đổi theo giá Sol API, vào khoảng 2.000 USD. Các lập luận toán học này do Astra tạo ra. Con người sau đó hỗ trợ biên tập thành bài báo, và mô hình chuyển mỗi chứng minh thành chứng chỉ Lean để máy tính có thể kiểm tra từng bước suy luận có hợp lệ hay không. OpenAI đã công khai bài báo, chứng chỉ chứng minh và quá trình suy luận của mô hình.
Mô hình mới của OpenAI, Astra, giải quyết 10 bài toán toán học lâu năm
MarsBitChia sẻ
Tóm tắt
OpenAI đã ra mắt mô hình mới mang tên Astra, đã giải quyết được 10 bài toán toán học và khoa học máy tính lý thuyết lâu năm. Những vấn đề này đã không có tiến triển nào trong hơn 10 năm, nhiều vấn đề kéo dài suốt vài thập kỷ. Astra đã giải quyết hoặc bác bỏ các thách thức then chốt, bao gồm việc xây dựng nhóm không phải là sofic và bác bỏ giả thuyết tính cứng nhắc của Connes. Các kết quả cũng bao gồm những tiến bộ trong đóng gói hình cầu và mật mã sau lượng tử. OpenAI đã sử dụng khoảng $2.000 token thông qua Sol API. Con người đã sắp xếp các chứng minh thành các bài báo, sau đó chuyển đổi thành các chứng nhận Lean để xác minh. OpenAI đã công khai toàn bộ tài liệu. Đối với đầu tư dài hạn vào tiền điện tử, việc hiểu các điểm hỗ trợ và kháng cự này trong phát triển AI có thể định hình các chuyển động thị trường trong tương lai.
Nguồn:Hiển thị bản gốc
Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể được lấy từ bên thứ ba và không nhất thiết phản ánh quan điểm hoặc ý kiến của KuCoin. Nội dung này chỉ được cung cấp cho mục đích thông tin chung, không có bất kỳ đại diện hay bảo đảm nào dưới bất kỳ hình thức nào và cũng không được hiểu là lời khuyên tài chính hay đầu tư. KuCoin sẽ không chịu trách nhiệm về bất kỳ sai sót hoặc thiếu sót nào hoặc về bất kỳ kết quả nào phát sinh từ việc sử dụng thông tin này.
Việc đầu tư vào tài sản kỹ thuật số có thể tiềm ẩn nhiều rủi ro. Vui lòng đánh giá cẩn thận rủi ro của sản phẩm và khả năng chấp nhận rủi ro của bạn dựa trên hoàn cảnh tài chính của chính bạn. Để biết thêm thông tin, vui lòng tham khảo Điều khoản sử dụng và Tiết lộ rủi ro của chúng tôi.