Justin Sun Launches $1M Mathematics Prize for Machine-Verified Proofs
Justin Sun has launched a new mathematics reward designed to lead machine verification of mathematical proofs. This initiative will represent his most crucial potential contribution to humanity. In a lengthy statement, Sun explained that his wealth was built in mathematics, and the new reward is a way of giving back to mathematical foundations.
The Justin Sun Prize will focus on mathematical problems and identify between the person who proves the problem and the person who formulates the proof in a machine-verifiable format. Sun said the prize will focus on the outcome rather than the identity of the contributor, allowing humans, AI, or combinations of both to be a part.
How the Justin Sun Mathematical Prize Will be Awarded
The prize has been created around a simple principle where the solution is rewarded, not the person. He said that this initiative will not have annual galas, bureaucratic nominations, or awards. Each challenge can identify two contributors, which is the prover, who establishes the mathematical proof, and the formalizer, who translates the proof into a machine verification format.
The roles can be the same individual or different people from different parts of the world. Sun also said the system will not bifurcate between human contributors, AI, or combination of both, with the outcome being the key focus.
Prize payment will have one main trigger: the machine must verify the proof from its first line to the last line without an error. Once the verification is completed, the people listed in the prover and the formalizer columns become the prize owners for that specific problem.
Sun also described a separate status for mathematical work that has already been accepted by the mathematical community but has not yet been formalized. The proof or recognition, while the funds remain locked and the problem is marked proof pending formalization.
The problem was already solved before being added to the official registry. The original prover’s name will still be recorded. The prize will go to the person who simultaneously formalizes the proof for machine verification. The prize will therefore also create a mathematical problem list that has been accepted by humans but still requires machine verification.
Sun described the waiting period as the most crucial features of the initiative. He said that once a proof is accepted, the formalization column could remain blank until someone completes the work and a machine verifies it. Rather than treating this timeline as administrative downtime, Sun sees this as an open inventory of mathematical tasks that remain to be completed.
The resulting problem list could be a public map of mathematical knowledge that humanity has accepted but machines have not yet verified. He said that the current formalization work is spread across different platforms and that the reward would provide a unified list with financial bounties attached.
Why Is Justin Sun Connecting the Prize to Blockchain and AI?
Sun said his personal wealth was built on mathematics and pointed to the mathematical blockchain foundation. This included elliptic curve cryptography, hash functions, and the difficulty of factoring large numbers. He said that these mathematical foundations enabled blockchain technology and what he described as permissionless monetary sovereignty. He also emphasized the growing role of artificial intelligence in mathematical reasoning.
AI may not be able to conduct physical experiments in the same way as a scientist, but it can explore large numbers of logical pathways. He argued that this could accelerate the process between proposing a mathematical conjecture and proving it.
Sun contrasted the new reward with established awards such as the Nobel Prize, the Fields Medal, and the Abel Prize. He said that the Nobel tradition has focused on work with tangible real-world applications. But his own philosophy is focused on theoretical structures and logical accuracy.
He cited Dario Amodei’s Machine of Loving Grace as an influence on his ambition, and said he believes humanity’s important structures could exist in digital realms. This is where reasoning and mathematics provide the foundation. He described blockchain as an abstract field built around mathematics, and said his work in AI represents another way of expanding that niche.
Sun also explained why the prize carries his name. He said naming a prize after an individual can allow it to outlast institutions and companies. He also wanted to direct his accumulated wealth towards mathematics while he’s capable of doing so, arguing that his wealth came from mathematics and should go back to mathematics itself.
The initiative will focus on mathematics, with Sun saying he is clustering his philanthropic efforts in the prize. He highlighted that he will have autonomy over which challenges are added and what bounties they carry. He will not have a vote in verification, payout, or attribution.
Once a bounty is distributed, he said it will be logged with problems added but not removed and funds paid out rather than withdrawn by the funder. Sun said the initial prize pool has been already transferred to the blockchain and that its address is public.
Winning proofs will be made public, while payments will remain on-chain and verifiable. He concluded by saying that he is not a mathematician but an observer, leaving the final judgment to the proofs themselves.
