95
Nghiên cứu
OpenAI Astra giải quyết 10 bài toán toán học hóc búa với chi phí chỉ 2.000 USD
(giờ Việt Nam)
Tóm tắt AI
Mô hình Astra thế hệ mới của OpenAI đã chứng minh thành công 10 bài toán toán học và khoa học máy tính lý thuyết phức tạp. Kết quả này được xác thực bằng Lean, đánh dấu bước tiến lớn trong khả năng suy luận logic của AI với chi phí vận hành cực thấp.
Bài viết được AI dịch và tổng hợp tự động từ X: Greg Brockman (@gdb). 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.