According to CoinMeta, Justin Sun has established a mathematics award with the same name as himself – the Justin Sun Prize. The highest prize for a single problem is $1 million, of which the solver receives 70%, and the formalizer verifier receives 30%. The operation of this award emphasizes simplicity and efficiency; once the problem is made public, it is locked, and there are no nominations. Solvers who meet the rules and pass verification can receive the prize money. In addition, 30% of the prize money is allocated for formal verification, with the aim of encouraging the transformation of mathematical proofs into a form that machines can verify.