The Justin Sun Prize prize pool is now hosted on-chain. On a public address on the TRON network, $10 million has been allocated for the Justin Sun math award. The balance and fund movements are available for verification via the TRON blockchain explorer TRONSCAN.
The initiative combines fundamental mathematics, artificial intelligence, and blockchain. Rewards are provided not only for solving complex mathematical problems, but also for creating proofs whose correctness can be verified by a computer.
$10 million at a public TRON address
The main project update is the shift from announcing a prize fund to placing it on the blockchain.
Fund address: TBgGFBnqZuDeGkf4nyiaEo7mj3NodxYJBL
Public posting of funds makes it possible to independently track the balance and transactions at the address. This is an important difference from a typical cash prize announcement, when participants have to rely solely on the organizer’s statements.
At the same time, fund transparency and the award-granting procedure are different issues. Having funds at an address does not automatically mean that everyone who submits a solution will be paid. Rewards are distributed by the prize operator according to its rules.
What are the awards for?
The Justin Sun Prize is focused on solving mathematical problems and formally verifying proofs. The project provides for two key roles.
Proof provider - the author of the proof. The participant finds a solution to a mathematical problem and provides justification for why it is correct.
Formalizer - a specialist in formalization. Their task is to translate a mathematical proof into a strict form suitable for verification by a specialized computer system.
This is a crucial point: mathematical reasoning and its machine verification require different kinds of work. Even if a proof looks convincing to a person, its formalization may turn out to be a separate, challenging task.
What role does artificial intelligence play?
The initiative rules allow participation by people, AI, and mixed teams. This opens up several scenarios: a mathematician can use AI to find an approach to the problem, a developer can formalize the proof, and a research team can combine human expertise with computational tools.
Generating an AI answer is not equivalent to a mathematical proof. That is why, in the concept of the Justin Sun Prize, special attention is paid to formal verification. It allows the result to be checked according to strict rules, rather than relying solely on the author’s confidence or a language model.
According to the description of the initiative, recognition of authorship of a mathematical result and receipt of a cash reward are separate stages. For a payout, the proof must be completed with machine verification.
Why was blockchain chosen for the fund?
Blockchain makes the financial part of the prize observable for all participants. Anyone can open TRONSCAN and check the status of the published address without needing to request a report from the organizers.
This does not replace mathematical expertise, but it adds transparency to the financing question. Also, according to the project announcement, payouts will be made by the operator in two stablecoins: USDT on the TRON network (TRC-20) and USDC on the Ethereum network (ERC-20).
Thus, TRON is used not only for the public placement of the fund, but also as one of the payment networks for the prize.
What does this mean for TRON?
Typically, TRON is discussed in the context of USDT transfers, payments, exchange infrastructure, and DeFi. The Justin Sun Prize presents a different scenario: using blockchain for public accounting of funds intended for scientific research.
It’s important here to separate two functions. Mathematical proofs are verified by specialized tools, while the blockchain provides transparency for the project’s financial component.
This does not mean that the TRON network independently determines the correctness of mathematical solutions or automatically awards prizes.
Conclusion
In my view, the most interesting part of the Justin Sun Prize is the combination of two approaches to verifiability.
On the one hand, the project aims to make mathematical proofs verifiable in a machine-readable way. On the other hand, the $10 million prize fund is placed at a public blockchain address, where the funds can be tracked.
At the same time, the real effectiveness of the initiative will be shown not only by the size of the fund and its transparency, but also by specific outcomes—what problems will be solved, how many proofs will pass formal verification, and what rewards will actually be paid.
For TRON, this is yet another example of using the network beyond ordinary USDT transfers in the infrastructure of an international scientific initiative.