95
Mô hình
OpenAI Astra gây chấn động khi chứng minh thành công 10 định lý toán học mới
(giờ Việt Nam)
Tóm tắt AI
Mô hình Astra của OpenAI vừa lập kỳ tích khi chứng minh 10 kết quả toán học mới, bao gồm các bài toán hóc búa như giả thuyết Connes, đi kèm với chứng chỉ Lean và quy trình suy luận minh bạch.
Bài viết được AI dịch và tổng hợp tự động từ X: NLP (@dongxi_nlp). 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.