A game-changer for the math world: The "Justin Sun Prize" has launched! 🧮✨
“Proved, then paid.”
No academic endorsements or age limits. AI collaboration is welcome, and rewards are paid immediately upon machine verification.
💡 Key Highlights:
1️⃣ 70:30 Reward Split (Prover : Formalizer)
2️⃣ On-Chain Transparency via TRON
3️⃣ 66 problems live now (out of ~1,022)
Why this matters 🧵👇
Historically, formalizing proofs (e.g., in Lean) has been crucial but uncompensated behind-the-scenes work. By guaranteeing a 30% reward for Formalizers, this prize assigns true economic value to these unsung heroes.
This is a brilliant mechanism using Web3 incentives to accelerate the math community and academic research！
@Justin Sun孙宇晨 @TRON DAO
#TRONGlobalFriends #TGF
“Proved, then paid.”
No academic endorsements or age limits. AI collaboration is welcome, and rewards are paid immediately upon machine verification.
💡 Key Highlights:
1️⃣ 70:30 Reward Split (Prover : Formalizer)
2️⃣ On-Chain Transparency via TRON
3️⃣ 66 problems live now (out of ~1,022)
Why this matters 🧵👇
Historically, formalizing proofs (e.g., in Lean) has been crucial but uncompensated behind-the-scenes work. By guaranteeing a 30% reward for Formalizers, this prize assigns true economic value to these unsung heroes.
This is a brilliant mechanism using Web3 incentives to accelerate the math community and academic research！
@Justin Sun孙宇晨 @TRON DAO
#TRONGlobalFriends #TGF
