95
Nghiên cứu
OpenAI Astra: Mô hình AI chưa công bố giải mã thành công 10 bài toán hóc búa của toán học
(giờ Việt Nam)
Tóm tắt AI
Mô hình Astra của OpenAI đã giải quyết 10 bài toán toán học và khoa học máy tính lý thuyết lâu đời, tạo ra bản thảo 249 trang với chứng minh được xác thực bởi máy tính, chỉ với chi phí khoảng 2.000 USD.
Bài viết được AI dịch và tổng hợp tự động từ X: Kim (@kimmonismus). Liên kết bài gốc ở phía trên. Dữ liệu đồng bộ qua API công khai được ghi nguồn tại AI HOT (canonical) ↗. AIHOT.vn luôn dẫn nguồn đầy đủ — nếu bạn thấy điểm cần chỉnh sửa, hãy gửi ý kiến tại trang phản hồi.