孙宇晨奖 #JustinSunPrize，这是一项全新的学术赏金计划，旨在奖励数学领域的突破性成果。 证明者可以破解符合条件的数学问题，使用Lean对成果形式化，并通过该奖项的开源GitHub库提交可由机器验证的证明。 该奖设有五个奖项级别，最高奖金达100万美元，面向全球符合条件的证明者开放。 解题，验证，领取。 了解更多：http://hejustinsun.com/prize