85
Nghiên cứu
Đại học Thanh Hoa giới thiệu phương pháp 'Xác thực bi quan' giúp LLM giải toán chính xác hơn
(giờ Việt Nam)
Tóm tắt AI
Nhóm NLP của Đại học Thanh Hoa phát triển phương pháp 'Xác thực bi quan' giúp tăng độ chính xác khi chứng minh toán học. Phiên bản cải tiến giúp giảm 75% chi phí và thời gian tính toán, đồng thời nâng điểm số của Gemini 3 Pro tại kỳ thi IMO 2025.
Bài viết được AI dịch và tổng hợp tự động từ X: OpenBMB (@OpenBMB). 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.