🧠✨ Giải thưởng Justin Sun không chỉ là một giải thưởng toán học.
Ý tưởng sâu xa của nó là tôn vinh tri thức có thể được xác minh một cách hình thức và lưu giữ.

Mô hình tách ra hai vai trò:
① Người Chứng minh giải quyết bài toán.
② Người Chuyển đổi hình thức chuyển chứng minh sang Lean để máy có thể kiểm tra.
Cách chia phần thưởng được công bố là 70% / 30%.

Trong kỷ nguyên AI, điều này rất quan trọng. AI có thể tạo ra ý tưởng, nhưng ý tưởng không tự động trở thành các định lý đã được xác minh.
Việc hình thức hóa tạo ra một cầu nối tới tri thức bền vững, có thể kiểm chứng bằng máy. 🔬🤖

@Justin Sun孙宇晨 @TRON DAO #TRONGlobalFriends #TGF #TRON