The Justin Sun Prize (@JustinSunPrize) header
The Justin Sun Prize (@JustinSunPrize) profile picture

Official X Account of the #JustinSunPrize

Joined September 2026
Photo by The Justin Sun Prize (@JustinSunPrize)Photo by The Justin Sun Prize (@JustinSunPrize)Photo by The Justin Sun Prize (@JustinSunPrize)Photo by The Justin Sun Prize (@JustinSunPrize)Photo by The Justin Sun Prize (@JustinSunPrize)Photo by The Justin Sun Prize (@JustinSunPrize)Photo by The Justin Sun Prize (@JustinSunPrize)Photo by The Justin Sun Prize (@JustinSunPrize)Photo by The Justin Sun Prize (@JustinSunPrize)
Introducing the #JustinSunPrize. Rewarding Breakthroughs in Classic Mathematical Challenges Learn more 👇 hejustinsun.com/prize
37
23
24
104
444,769
Congratulations to Quanyu Tang (@Vieta__jumping), recognized for Mathematical Solution contributions to three problems in the Justin Sun Prize problem bank.
55
The Justin Sun Prize retweeted
Our partnership rewards mathematical discovery backed by machine verification, paving the way for a more open, decentralized and verifiable future of mathematical research 🚀
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 👇 cointelegraph.com/press-rele…
1
4
5
25
2,956
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 👇 github.com/TheJustinSunPrize…
🤖 Made with AI
3
1
3
10
21,816
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 👇 github.com/TheJustinSunPrize…
🤖 Made with AI
1
6
13
27,311
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 🚀
2
2
4
11
879
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.
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 👇 cointelegraph.com/press-rele…
There's a new version of this post
46
20
7
85
55,525
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 👇 cointelegraph.com/press-rele…
6
11
18
36
6,547
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.
3
4
5
15
39,009
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. 🧵
4
4
14
24
37,119
The SYZ Conjecture proposes that mirror symmetry can be understood through special geometric structures called special Lagrangian torus fibrations. Nearly three decades later, it continues to inspire research in geometry and mathematical physics. Despite major advances, the conjecture remains unresolved in its full generality.
1
298
Now, the Strominger–Yau–Zaslow Conjecture joins the challenges featured with an award of up to $65,537. Explore the problem and learn more about the prize: 🔗hejustinsun.com/prize/about
249
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 👇
8
4
12
18
52,426
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 👇 hejustinsun.com/prize/faq
1
3
8
10
83,341
.@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 👇 hejustinsun.com/prize
9
2
2
24
3,316
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 👇
70
19
5
201
157,611