孙宇晨奖 JustinSunPrize, this is a brand-new academic bounty program aimed at rewarding groundbreaking achievements in the field of mathematics. Provers can solve eligible mathematical problems, formalize their results using Lean, and submit machine-verifiable proofs through the open-source GitHub repository for this prize. The prize has five award levels, with a maximum reward of $1 million, open to eligible provers worldwide. Solve, verify, claim. Learn more: http://(hejustinsun.com)/prize