孙宇晨（去过太空版）🧑🚀|2026年09月17日 03:20
孙宇晨奖 #JustinSunPrize，这是一项全新的学术赏金计划，旨在奖励数学领域的突破性成果。
证明者可以破解符合条件的数学问题，使用Lean对成果形式化，并通过该奖项的开源GitHub库提交可由机器验证的证明。
该奖设有五个奖项级别，最高奖金达100万美元，面向全球符合条件的证明者开放。
解题，验证，领取。
了解更多：http://hejustinsun.com/prize
+5分享至：
脉络
热门快讯
APP下载
X
Telegram
复制链接