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://www.hejustinsun.com/prize