最有意义的慈善形式，不只是捐出钱财，而是建立一套能够持续奖励有意义的工作，并鼓励人们解决困扰研究人员多年的难题的机制。

这正是 Justin Sun Prize 背后的理念。这项计划于 2026 年设立，旨在支持数学突破和可由机器验证的证明。该计划聚焦基础研究，欢迎人类研究人员、人工智能系统，或两者组成的团队参与贡献。

这种做法的独特之处在于，它关注成果而非声誉。该奖项不单纯依赖传统的学术认可，而是将明确的数学问题与验证解答的流程相结合。研究人员必须证明自己的成果，而 Lean 等形式化验证工具则有助于确认证明是否符合数学规则。

这项计划也意识到，发现与验证是两种不同的任务。找到解答是一项挑战；将其转化为机器能够独立检查的形式，则是另一项挑战。支持这两类贡献，或许能促进数学家、软件开发者和人工智能研究人员之间的合作。

这也与区块链有着更广泛的联系。区块链系统依赖数学原理和密码学方法来验证交易并维护可靠的记录。因此，支持基础数学和形式化验证，也与更广泛的数字资产行业的一些技术基础相契合。

不过，这项计划的影响不能仅凭其宣称的目标来衡量。更有参考价值的指标包括所产出证明的质量、成功解决的问题、评估流程的透明度，以及该计划能否长期吸引严肃的研究贡献。

@TRON DAO @Justin Sun孙宇晨 #TRONEcoStar