Justin Sun is building a new reward system for mathematics.
The idea goes beyond rewarding people who solve problems. It rewards turning mathematical proofs into something machines can verify.
There are two roles: Provers create the proof, while Formalizers translate it into machine-checkable form. A reward is only unlocked once the formalized proof passes machine verification.
What makes this interesting is the bigger idea: Mathematics + AI + Formal Verification + Blockchain.
Instead of simply saying “humans proved it,” the goal becomes: “machines can verify it.”
@TRON DAO @justinsuntron
#TRONGlobalFriends #TFG
The idea goes beyond rewarding people who solve problems. It rewards turning mathematical proofs into something machines can verify.
There are two roles: Provers create the proof, while Formalizers translate it into machine-checkable form. A reward is only unlocked once the formalized proof passes machine verification.
What makes this interesting is the bigger idea: Mathematics + AI + Formal Verification + Blockchain.
Instead of simply saying “humans proved it,” the goal becomes: “machines can verify it.”
@TRON DAO @justinsuntron
#TRONGlobalFriends #TFG
