Những người chiến thắng đầu tiên của Justin Sun Prize đã chính thức được xác nhận👏

Xin chúc mừng Wouter van Doorn, Yanyang Li và Quanyu Tang đã giải thành công các bài toán trong Erdős catalogue. Đây là một cột mốc quan trọng khác của dự án với ý tưởng rất rõ ràng: trao thưởng cho những công trình toán học có thể được chứng minh, kiểm tra và xác nhận thực sự.

Điểm thú vị của Justin Sun Prize là dự án không đặt danh tiếng, trường đại học hay địa vị của người tham gia lên hàng đầu, mà sử dụng danh sách bài toán mở và tập trung vào những công trình có thể kiểm chứng. Trong đó có cả những người giải bài toán toán học lẫn những người giúp chuyển lời giải thành Lean Proof để máy tính có thể kiểm tra.

Hiện tại, Problem Bank của dự án có hơn 1.000 bài toán, cùng thông tin công khai về các ứng viên, bằng chứng xác minh và những giải thưởng đã được xác nhận.

#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification