Justin Sun: Establish the Justin Sun Prize to reward mathematically verified proofs
The founder of TRON, Justin Sun, announced the establishment of the "Justin Sun Award," which currently focuses only on mathematics. He stated that the award follows the problem rather than the individual, with no annual meeting, nominations, or age restrictions; each problem has two columns for signatures, one for the prover and one for the person who formalizes the proof and writes it into the machine. Both can be the same person, or they can be a person, AI, or a person using AI. The condition for triggering the prize is that the machine verifies the proof from the first line to the last line without error. Once verification is passed, the names in the two columns become the prize owners for that problem.The rules also include: before machine verification, if the mathematical community has accepted a human proof, it can be listed first, with the prize remaining unchanged, and the status being "Proven, awaiting formalization." The prize in the proof column is only awarded to problems that are solved after being listed; for problems that were already solved at the time of listing, the prover is still credited, but the prize is only awarded to the person who completes the formalization, not retroactively for the history of mathematics. The list of problems is determined by Justin Sun's signature for the listed problems and pricing; once listed, the price can only increase, and money can only be exchanged, not refunded. Mistakes in the problems will still be paid, and they will be re-listed afterward; beyond pricing, verification, payment, and naming, he does not participate in voting.Justin Sun stated that the focus of public welfare will shift to this award, with the initial prize pool already deposited into the blockchain, with the address and balance made public. He only retains the right to continue injecting funds; the award proof and prize distribution will also be made public on the chain. He mentioned that naming it after a person is to avoid name changes due to institutional changes and expressed that wealth comes from mathematics, hoping to "come from mathematics and return to mathematics."