95
Mô hình
OpenAI Astra tạo đột phá: Giải mã 10 bài toán toán học hóc búa
(giờ Việt Nam)
Tóm tắt AI
Mô hình thế hệ mới Astra của OpenAI vừa chứng minh thành công 10 định lý toán học phức tạp, bao gồm giả thuyết độ cứng Connes, với độ chính xác được xác thực qua ngôn ngữ Lean và quy trình suy luận CoT.
Bài viết được AI dịch và tổng hợp tự động từ X: Tibo (@thsottiaux). 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.