Justin Sun: Establishes the Justin Sun Prize, Rewarding Machine-Verified Mathematical Proofs

Justin Sun, founder of TRON, announced the establishment of the "Justin Sun Prize," which currently focuses solely on mathematics. He stated that the prize follows problems rather than individuals, with no annual meetings, nominations, or age restrictions. Each problem is listed with two columns for attribution: one for the prover and one for the individual who formalizes the proof and writes it into a machine. These can be the same person, or can be a human, an AI, or a human using AI. The prize is triggered when a machine verifies the proof from the first line to the last without error; upon successful verification, the names in both columns become the prize recipients for that problem.

The rules also include: before machine verification, if the mathematical community has accepted a human proof, names can be listed first, with the prize funds held, marked as "proven, pending formalization." Prize funds for the prover column are only awarded to problems solved after they are listed; for problems already solved at the time of listing, the prover is still credited, but the prize is only paid to the individual who completes the formalization, with no retroactive awards for mathematical history. The problem list is determined by Justin Sun's signature for which problems are listed and their pricing; once posted, problems can only be added, not removed, and funds are only paid out, not refunded. If a problem is written incorrectly, it is paid in full and then re-listed. Beyond pricing, he does not participate in voting on verification, payment, or name listing.

Justin Sun stated that the focus of his philanthropic efforts will shift to this prize, with the initial prize pool already deposited on the blockchain, with the address and balance made public, and he retains only the right to continue injecting funds. Winning proofs and prize distributions will both be publicly recorded on-chain. He said naming it after a person is to avoid name changes due to institutional turnover, and he noted that his wealth originates from mathematics, hoping to "come from mathematics, and return to mathematics."