推出 #JustinSunPrize，一项全新的学术奖励计划，用于奖励数学领域的突破性成果。 参与者可以解决符合条件的问题，用 Lean 形式化他们的结果，并通过该奖项的开源 GitHub 仓库提交机器可验证的证明。 该计划设有五个奖励等级，最高奖金高达 100 万美元，面向全球符合条件的参与者开放。 解题。验证。领奖。 了解更多：https://www.(hejustinsun.com)/prize