Justin Sun Announces Establishment of the 'Justin Sun Prize' to Address Mathematical Challenges

September 16: Justin Sun announced the establishment of a mathematics award named after himself, and said he will shift the focus of his philanthropy to this award in the future. He stated that his wealth is rooted in mathematics and cryptography, and he hopes that by establishing the award, funds can "come from mathematics and return to mathematics." The award will focus on mathematical proofs and formal verification, and, taking advantage of the rapid development of artificial intelligence, promote more efficient machine verification of mathematical results.

The award has no age restrictions, no nominations, and no fixed award cycle. Each problem has two columns, "prover" and "formalizer," recording respectively the person who completes the mathematical proof and the person who formally moves the proof into a machine and passes verification. Only after the machine fully verifies it from the first line to the last line will the prize be triggered for payout; for problems that have already been solved by the mathematics community but have not yet been formalized, the prover's name will be retained, and the attribution of the prize money will be determined after formalization is completed.

Justin Sun stated that the first-phase prize pool for the award has already been deposited into the blockchain, the address is public, and the balance is visible to the whole world, while he himself retains only the right to continue injecting funds into the prize pool. Every winning proof and prize payout record will be made public and stored on-chain so that anyone can independently verify them. He is not a mathematician, and what he can do is provide financial support for mathematical provers: "Leave the rest to the proof."