92
Thủ thuật
Mô hình Astra của OpenAI giải quyết 10 bài toán toán học hóc búa tồn tại hàng thập kỷ
(giờ Việt Nam)
Tóm tắt AI
Mô hình Astra của OpenAI đã giải thành công 10 bài toán toán học khó, bao gồm các chứng minh được kiểm chứng bằng máy qua Lean 4 với chi phí chỉ 2.000 USD. Dù cần cộng đồng toán học thẩm định thêm, đây là bước tiến lớn cho thấy tiềm năng của AI trong nghiên cứu khoa học cơ bản.
Bài viết được AI dịch và tổng hợp tự động từ X: AI Notes (@AYi_AInotes). 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.