The Justin Sun Prize (@JustinSunPrize)
@JustinSunPrize
0 正在关注 0 粉丝
Are there infinitely many pairs of primes that differ by two?
Open since Polignac (1849). Open in the #JustinSunPrize# problem bank 👇
Two results are on the #JustinSunPrize# candidates board right now.
Before anything is awarded, each one sits in public for 14 days. Anyone can check the proof, the Lean formalization and the credits, and raise an objection.
Review them 👇
显示更多
A Lean build can succeed and still prove the wrong statement.
In #JustinSunPrize# review, statement fidelity and axiom use are checked separately from compilation. A passing kernel check is evidence, not an award.
FAQ 👇
显示更多
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 ⤵️
显示更多
The first winners of the Justin Sun Prize have been confirmed. Congratulations to Wouter van Doorn, Yanyang Li, and Quanyu Tang on their solutions to problems from the Erdős catalogue.
More details on the winners and their work coming soon.
QUOD PROBATUR, SOLVITUR.
显示更多
The first winners of the Justin Sun Prize have been confirmed.
Congratulations to Wouter van Doorn, Yanyang Li, and Quanyu Tang on their solutions to problems from the Erdős catalogue.
More details on the winners and their work coming soon.
QUOD PROBATUR, SOLVITUR.
显示更多
Working independently or with AI? 🔍
The #JustinSunPrize# is open to eligible individuals and teams. Formal publication is not required.
For work involving AI, recipients must be eligible individuals or lawful entities under the Selection Rules.
Details here👇
显示更多
Solving the problem. Formalizing the proof. 🔍
#JustinSunPrize# allocates 70% of each problem’s award to the solver and 30% to the Lean formalizer.
The same individual or team awarded both roles receives 100%, subject to the prize rules.👇
显示更多
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👇
显示更多
