Justin Sun vừa công bố Justin Sun Prize, một sáng kiến tập trung vào toán học, AI và khả năng kiểm chứng bằng máy.

Điểm đặc biệt của giải thưởng không nằm ở việc trao danh hiệu cho một cá nhân, mà nằm ở chính bài toán và lời giải.

🔹
Prover — người tìm ra và chứng minh lời giải.

🔹
Formalizer — người chuyển chứng minh đó thành dạng mà máy có thể kiểm chứng.

🔹
Human, AI or hybrid — nguồn gốc của lời giải không phải yếu tố quyết định.

🔹
Machine verification — phần thưởng chỉ được giải ngân khi toàn bộ chứng minh được máy xác minh chính xác.

Justin Sun cho rằng điều này đặc biệt phù hợp với thời đại AI, khi khoảng cách giữa một conjecture và một proof có thể được rút ngắn đáng kể.

Blockchain được sử dụng để tạo ra một cơ chế minh bạch và có thể kiểm chứng cho quỹ giải thưởng nên tiền thưởng được khóa on-chain và chỉ được giải ngân khi các điều kiện xác minh được đáp ứng.

Đây cũng là một câu chuyện khá thú vị với crypto khi mà từ Mathematics → Cryptography → Blockchain → Wealth → Mathematics.

Những nền tảng toán học từng góp phần tạo nên ngành blockchain, giờ đây lại trở thành nơi dòng giá trị được quay trở lại.

@justinsuntron cũng nhấn mạnh rằng đây mới chỉ là khởi đầu — hiện tại là một giải thưởng dành cho toán học.

Một ý tưởng đáng chú ý khi AI, mathematics và blockchain đang ngày càng giao nhau.
🤖🔗🧠