85
Tin ngành
Justin Sun treo thưởng giải toán qua GitHub: Mở cửa cho cả người và AI tham gia
(giờ Việt Nam)
Tóm tắt AI
Justin Sun vừa công bố quỹ giải thưởng cho 1.022 bài toán, yêu cầu chứng minh hình thức hóa qua GitHub. Hệ thống cho phép con người hoặc AI tham gia, tiền thưởng chỉ được giải ngân khi máy tính xác thực thành công.
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. 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.