The Justin Sun Prize
@JustinSunPrize
Official X Account of the #JustinSunPrize#
12 Following 2.2K Followers
The first #JustinSunPrize# candidates are in a 14-day public review that began Sept 19.
Contributions span mathematical solutions and Lean formalization for problems 305, 371, 381, 526, 866 and 1001.
Details and formal challenge procedures👇
Show more
Wealth comes from mathematics and should return to mathematics.
#JustinSunPrize# Q&A series begins with the purpose behind the prize: supporting mathematical research and the formal verification of proofs.
Discover why it was established. 👇
Show more
Mathematical breakthroughs can come from anywhere. 🌍
The #JustinSunPrize# is advancing fundamental mathematics and machine-verified proofs, with challenges open to anyone ready to contribute.
Read more from @BSCNews 👇
Show more
The #JustinSunPrize# was established to advance fundamental mathematics, with 66 open problems and a $1 million award for each accepted proof, whether contributed by humans or AI.
More details from @BlockTempo 👇
Show more
Introducing the inaugural 66 prize problems of the #JustinSunPrize#.
Reward the solution, not the person. Human, AI, or both. Let the proofs speak for themselves.
Quod probatur, solvitur.
Proved, then paid.
Show more
Introducing the #JustinSunPrize#.
Rewarding Breakthroughs in Classic Mathematical Challenges
Learn more 👇
The #JustinSunPrize# is officially here. 🏆
QUOD PROBATUR, SOLVITUR
Read more from @justinsuntron 👇
