95
Tin ngành
Model Astra của OpenAI giải mã thành công 10 bài toán hóc búa hàng thập kỷ
(giờ Việt Nam)
Tóm tắt AI
Model Astra chưa ra mắt của OpenAI đã giải quyết 10 bài toán toán học phức tạp với chi phí chỉ 200 USD mỗi bài. Mọi lập luận đều được kiểm chứng nghiêm ngặt qua ngôn ngữ Lean, đánh dấu bước tiến lớn trong khả năng suy luận logic của AI.
Bài viết được AI dịch và tổng hợp tự động từ X: Rohan Paul (@rohanpaul_ai). 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.