How do you repair a proof when the main strategy works, but one special case still has a gap?
Tang (@Vieta__jumping) breaks down Problem #650#, including how the proof was repaired, formalized in Lean, and rewritten for human readers.
Explore the official problem list and participation guidelines:
Show more
How a #JustinSunPrize# award is shared in the MathDB pilot:
50% Solution
30% Lean formalization
20% Exposition
Each is reviewed separately. Solution and Exposition awards wait for a complete, verified Lean formalization of the problem.
Pilot problems 👇
Show more
Looking for an open problem to work on?
The #JustinSunPrize# problem bank lists 1,072 problems, 677 currently marked Open. Justin Sun Prize problem IDs are not Erdős numbers, so read the statement and sources in each entry.
Problem index 👇
Show more
Building the future of mathematical research means working with the people pushing it forward.
Excited to work with Professor @tonyyueyu and MathDB.
Our partnership rewards mathematical discovery backed by machine verification, paving the way for a more open, decentralized and verifiable future of mathematical research 🚀
Excited to see the @JustinSunPrize collaborate with MathDB and @CalTech Professor @tonyyueyu.
The #JustinSunPrize# was established to become the “Nobel Prize of the AI Era” and I am looking forward to the breakthroughs ahead.
Show more
The Justin Sun Prize is launching a new pilot program with MathDB, the mathematical research platform developed by @Caltech Professor Tony Yue Yu (@tonyyueyu) and his team.
The collaboration introduces a formal submission and review process for AI assisted mathematical research, covering 50 problems across four award levels with prize pools of up to $1M.
More details from @Cointelegraph below 👇
Show more
The Justin Sun Prize is launching a new pilot program with MathDB, the mathematical research platform developed by @Caltech Professor Tony Yue Yu (@tonyyueyu) and his team.
The collaboration introduces a formal submission and review process for AI assisted mathematical research, covering 50 problems across four award levels with problem level prize pools of up to $1M.
More details from @Cointelegraph below 👇
Show more
The next mathematical breakthrough could come from you.
The #JustinSunPrize# is calling on mathematicians, researchers, and bold thinkers to take on the legendary Erdős problems and push the boundaries of what's possible.
Every great discovery begins with someone willing to challenge the unsolved.
Show more
A new mathematical challenge has been added to the Justin Sun Prize: the Strominger–Yau–Zaslow (SYZ) Conjecture.
First proposed in 1996, the conjecture has shaped decades of research at the intersection of mathematics and theoretical physics.
Here's the story behind it. 🧵
Show more
How is AI changing mathematical research?
@justinsuntron discusses AI’s role in solving problems and how Lean checks the logic of a proof, both central to the thinking behind #JustinSunPrize#.
From his conversation with @TheBonnieChang 👇
Show more
Which contributions qualify for #JustinSunPrize#? 🔍
Work completed on or after January 1, 2026 may be eligible. Mathematical solutions and Lean formalizations are assessed separately, and payment requires completion of the full award process.
Full details 👇
Show more
.@justinsuntron founded and personally funds #JustinSunPrize# to support mathematical research and the formal verification of proofs.
It is his way of giving back to the field that helped build his career.
Learn more 👇
Show more
Mathematics made crypto possible. @JustinSunPrize is one way to give back.
Bitcoin, TRON and Ethereum all rely on mathematics.
Speaking with @TheBonnieChang, @justinsuntron explains why he wants to give back to the field through #JustinSunPrize#.
Watch the clip 👇
Show more
New winner confirmed for the #JustinSunPrize#!
Another step in our mission to push the boundaries of mathematics and inspire breakthroughs in some of the world's toughest challenges.
Congratulations to Neel Somani on successfully solving two problems.
Show more
Turning value into a language machines can understand. That’s what TRON does.🔻
AI is opening new opportunities for young people across industries.
#JustinSunPrize# focuses on mathematics. Its problem list is public, and it aims to recognize new results promptly, including those from human–AI collaboration.
Hear more from @justinsuntron 👇
Show more
How do you turn a mathematical proof into something a computer can check?
@justinsuntron explains the role of Lean and why #JustinSunPrize# recognizes both complete mathematical solutions and the work of formally verifying them. 👇
Show more
What are the Erdős problems? 🧮
Some of mathematics’ most challenging questions have remained unsolved for decades.
With the first #JustinSunPrize# winners now announced, let’s explore the history behind these problems and why solving them matters. 🧵
Show more
The Office of Justin Sun today announced the newest recipients of the #JustinSunPrize#:
Independent researcher Wouter van Doorn, mathematics Ph.D. student Quanyu Tang, and mathematics researcher Yanyang Li from Nanjing’s Southeast University, recognized for contributions spanning six Erdős problems.
These are the program’s first confirmed awards, recognizing both mathematical discovery and the work needed to make proofs independently checkable.
More details on @Cointelegraph ⤵️
Show more
