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.
Nguồn này chưa có thân bài hiển thị được, trang chỉ có tóm tắt.
Xem trên X (mở trong thẻ mới)
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.