95
Thủ thuật
OpenAI Astra: Bước tiến đột phá trong giải quyết các bài toán toán học hóc búa
(giờ Việt Nam)
Tóm tắt AI
Mô hình Astra của OpenAI đã giải quyết thành công 10 bài toán khó trong toán học và khoa học máy tính lý thuyết, với các chứng minh được xác thực qua Lean chỉ với chi phí 2.000 USD.
Bài viết được AI dịch và tổng hợp tự động từ X: Kim (@kimmonismus). 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.