Introducing the #JustinSunPrize, a new academic bounty program rewarding breakthroughs in mathematics.
Contributors can solve eligible problems, formalize their results in Lean, and submit machine-verifiable proofs through the Prize’s open-source GitHub repository.
With five award tiers and a top prize of $1 million, the program is open to eligible contributors worldwide.
Solve. Verify. Claim.
Learn more: https://t.co/c7kN5YGZ17
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 👇
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. https://t.co/qHaOJHHYwh