95
Nghiên cứu
GPT 5.6 Sol giải toán không sai sót, Astra chứng minh 10 định lý toán học mới
(giờ Việt Nam)
Tóm tắt AI
Emad Mostaque khẳng định GPT 5.6 Sol là mô hình đầu tiên giải toán không lỗi. Đồng thời, OpenAI công bố Astra đã chứng minh thành công 10 định lý mới, bao gồm phản ví dụ cho giả thuyết độ cứng Connes, kèm theo chứng chỉ Lean và quy trình suy luận từng bước.
Bài viết được AI dịch và tổng hợp tự động từ X: Emad Mostaque (@EMostaque). 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.