Justin Sun has just announced the Justin Sun Prize, an initiative focused on mathematics, AI, and machine verifiability.
Whatโs special about the award is not that it confers a title to an individual, but that it is the problem itself and its solution that matter.
๐น
Prover โ the one who discovers and proves the solution.
๐น
Formalizer โ the one who converts that proof into a form that machines can verify.
๐น
Human, AI or hybrid โ the origin of the solution is not a deciding factor.
๐น
Machine verification โ the prize is only released when the entire proof is verified correctly by the machine.
Justin Sun believes this is especially well-suited to the AI era, when the gap between a conjecture and a proof can be significantly shortened.
Blockchain is used to create a transparent and verifiable mechanism for the prize fund, so the prize money is locked on-chain and released only when the verification conditions are met.
This is also a rather interesting crypto story: from Mathematics โ Cryptography โ Blockchain โ Wealth โ Mathematics.
The mathematical foundations that once helped shape the blockchain industry are now becoming the place where value flows back.
@justinsuntron also emphasizes that this is only the beginning โ the current award is still one for mathematics.
A notable idea as AI, mathematics, and blockchain are increasingly intersecting.
๐ค๐๐ง
Whatโs special about the award is not that it confers a title to an individual, but that it is the problem itself and its solution that matter.
๐น
Prover โ the one who discovers and proves the solution.
๐น
Formalizer โ the one who converts that proof into a form that machines can verify.
๐น
Human, AI or hybrid โ the origin of the solution is not a deciding factor.
๐น
Machine verification โ the prize is only released when the entire proof is verified correctly by the machine.
Justin Sun believes this is especially well-suited to the AI era, when the gap between a conjecture and a proof can be significantly shortened.
Blockchain is used to create a transparent and verifiable mechanism for the prize fund, so the prize money is locked on-chain and released only when the verification conditions are met.
This is also a rather interesting crypto story: from Mathematics โ Cryptography โ Blockchain โ Wealth โ Mathematics.
The mathematical foundations that once helped shape the blockchain industry are now becoming the place where value flows back.
@justinsuntron also emphasizes that this is only the beginning โ the current award is still one for mathematics.
A notable idea as AI, mathematics, and blockchain are increasingly intersecting.
๐ค๐๐ง
