95
Mô hình
OpenAI Astra tạo đột phá toán học: Chứng minh sự tồn tại của nhóm phi Sofic
(giờ Việt Nam)
Tóm tắt AI
Mô hình Astra của OpenAI vừa công bố 10 thành tựu toán học quan trọng, bao gồm việc bác bỏ giả thuyết Connes, kèm theo chứng minh chính thức bằng Lean và suy luận từng bước.
Bài viết được AI dịch và tổng hợp tự động từ X: Elvis Saravia (@omarsar0, DAIR.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.