Justin Sun’s $1 million mathematics prize puts AI and humans on equal footing

Tron founder Justin Sun is stepping into a debate that has rattled the mathematics world this month, announcing a new mathematics prize that will hand out up to $1 million to anyone, human or machine, who can crack some of the field’s toughest open problems. The Justin Sun mathematics prize arrives at an unusually tense moment for mathematicians, just days after OpenAI claimed one of its models had solved a Millennium Prize Problem, an achievement that left researchers questioning what role they will play if artificial intelligence keeps closing in on unsolved puzzles.

Key takeaways

• Justin Sun, founder of Tron, announced the “Justin Sun Prize” on X on September 16, offering awards of up to $1 million for solving hard mathematical problems.
• Winners are split into two roles: the “prover,” who solves the problem, and the “formalizer,” who turns the proof into code a computer can verify.
• The prize treats human and AI-generated proofs equally, with no distinction made between the two.
• Top-tier “Pinnacle” problems carry a $1 million award each, and all prize funds and payment records will sit on a public blockchain.
• Sun says he will only pick the problem list and set prize amounts, staying out of proof verification, winner selection and payment.

Justin Sun launches $1 million mathematics prize

Sun made the announcement directly on X, framing the initiative as a way of giving something back to a discipline he credits with his own fortune. Because blockchain technology is built on cryptographic and mathematical foundations, he said, he wants to funnel some of that wealth toward the mathematics community itself. The pitch is unusual for a crypto entrepreneur: a prize designed to reward the act of solving a problem, not the reputation, credentials or age of whoever solves it.

Overview of the Justin Sun Prize

At its core, the Justin Sun mathematics prize is structured around difficulty tiers, with the most demanding “Pinnacle” problems each carrying a $1 million reward. Lower-tier problems presumably carry smaller amounts, though Sun has said the exact list of problems and their prize sizes will be his call alone. That detail matters, since it puts him in charge of shaping which mathematical questions get chased and how much they’re worth, even as he insists he won’t touch the actual judging process.

Prize award categories and eligibility

Winners will be chosen across two distinct categories: prover and formalizer. The prover is whoever first presents a working solution to a difficult mathematical problem. The formalizer takes that solution and converts it into code that a computer can independently verify. It’s a two-step structure that separates the creative leap of solving a problem from the technical work of proving, beyond doubt, that the solution holds up.

Perhaps the most striking detail is that the prize makes no distinction between humans and artificial intelligence. A machine-generated proof carries the same standing as one written by a person, at least on paper. That single design choice puts the Justin Sun Prize squarely in the middle of an argument that mathematicians have been having in public for the better part of a week.

Prize process and governance

Once a proof clears review by the mathematics community, the prover’s name gets registered first, and the problem’s status shifts to “proof completed, awaiting formalization.” Only after the formalized version is checked by a machine and comes back error-free does the payment process actually begin. It’s a sequencing meant to keep human judgment and machine verification as two separate checkpoints, rather than collapsing them into one step.

Verification status and payment flow

The flow is deliberately sequential: community acceptance first, formal code conversion second, machine verification third, payment last. That order gives the mathematics community a say in whether a proof is valid before any code-level formalization even starts, which in theory keeps the human review step meaningful even in a system open to AI submissions.

Governance roles of Justin Sun

Sun has been explicit about where his own involvement stops. He will decide the list of problems and how much each is worth, full stop. He says he won’t be involved in verifying proofs, picking winners, or handling payment. Whether that separation holds up in practice, since he’s still the one setting both the questions and the money attached to them, is something only time and the prize’s early cycles will show.

Blockchain transparency and prize funding

The prize funds themselves will sit on a blockchain, with records of every proof and every payment made public. That’s the transparency mechanism Sun is leaning on to answer the obvious question anyone hands out a $1 million prize invites: who got paid, for what, and when. Putting that ledger on-chain means anyone can, in principle, audit the entire history of the Justin Sun Prize without relying on a company’s internal books.

Public records of proofs and payments

Every accepted proof and every disbursement will be traceable on-chain, tying the prize’s credibility directly to blockchain’s own selling point: an open, tamper-resistant record. It’s a natural fit for someone whose career is built inside crypto infrastructure, and it underscores the connection Sun draws between blockchain’s cryptographic roots and pure mathematics.

Top-tier ‘Pinnacle’ problems with $1 million awards

The Pinnacle tier is where the headline number lives: $1 million per problem, reserved for the hardest questions on Sun’s list. No other award levels have been detailed yet, but the structure signals that the biggest payouts will be tied to the biggest mathematical challenges, mirroring how other major math prizes have historically worked.

Why the timing matters

This launch doesn’t land in a vacuum. Just days earlier, OpenAI announced that one of its models had solved a Millennium Prize Problem, a category of puzzle carrying its own $1m reward that had resisted human mathematicians for decades, according to the Guardian. The company reportedly set 10,000 AI agents loose on the Navier-Stokes problem, one of seven Millennium Prize Problems published by the Clay Mathematics Institute in 2000, at an estimated cost of $15 million.

The reaction from the mathematics community was not celebratory. “I feel slightly shell-shocked,” Prof Colva Roney-Dougal, head of pure mathematics at the University of St Andrews, told the Guardian, adding that she had recently told a public audience AI was unlikely to do anything remarkable soon. “Three months later, I’m totally wrong,” she said. “We’re all just waiting to see what happens. It’s coming so fast.”

Prof David Silvester of the University of Manchester described the field as feeling “very unstable,” warning that “all the open maths problems could fall with enough resources,” and calling the shift “irreversible.” Prof James Robinson of the University of Warwick was blunter still, telling the Guardian it was “frustrating to see these big tech companies burning this fuel up just so that they can show off about how great their latest model is,” calling it “immature playground boasting writ large.”

Not everyone sees the ground shifting the same way. Prof Alexander Paseau, who studies the philosophy of mathematics at the University of Oxford, told the Guardian that maths would keep its appeal regardless of how capable AI becomes: “The challenge still remains, even if AI is eventually better than humans at research… the sheer enjoyment and the beauty of a mathematical proof will always be there. AI is not going to take any of that away.” Some mathematicians are also growing guarded about sharing unfinished work; Prof Tristan Buckmaster of New York University told the Guardian, “The big story now in mathematics is that nobody wants to share anything. Mathematics is different today than it was only a few days ago. We have to decide what to do about that.”

Set against that backdrop, Sun’s decision to treat AI and human provers as equals in the Justin Sun mathematics prize reads less like a neutral design choice and more like a bet on where the field is headed. Whether the mathematics community embraces that framing, or pushes back the way it has against OpenAI’s approach, will likely shape how much weight the prize actually carries once the first problems start getting solved.

FAQ

What is the Justin Sun Prize?

The Justin Sun Prize is a mathematics award launched by Justin Sun offering prizes up to $1 million for solving difficult mathematical problems.

How are winners chosen in the Justin Sun Prize?

Winners are chosen in two categories: “prover,” who solves the problem, and “formalizer,” who converts the proof into computer-verifiable code.

Does the Justin Sun Prize accept AI-generated proofs?

Yes, the prize does not distinguish between humans and AI for submitting proofs.

How is prize funding handled and made transparent?

Prize funds are deposited on a blockchain with public records of proofs and payments disclosed publicly.

Article produced with the assistance of artificial intelligence and reviewed by the editorial team.