Justin Sun 办公室已公布首届 Justin Sun Prize 的获奖者：Wouter van Doorn、Quanyu Tang 和 Yanyang Li。这些研究人员因在解决多个 Erdős 问题方面做出重要贡献而获此认可。独立数论家 Wouter van Doorn 与博士生 Quanyang Tang 合作，并与东南大学的 Yanyang Li 共同解决了 Erdős 问题 #650，该问题涉及在指定区间内将整数匹配到不同的倍数。Van Doorn 还为另外三个与连续整数和素因子相关的 Erdős 问题提供了可计算机验证的证明。Tang 独立解决了 #1044，该问题涉及由多项式定义的区域，并参与了 #1196 的求解，后者涉及加权求和。他们在 #650 上的工作体现了人类洞察与人工智能工具在数学发现中的协同效应：ChatGPT 协助制定了证明策略，而人工智能系统 Aristotle 则帮助完善了形式化验证过程。研究人员强调了公众反馈和人工智能辅助在 sharpening 研究问题以及确保严格验证方面的重要价值。Justin Sun Prize 旨在奖励数学发现及可独立验证证明的构建。获奖者信息及贡献可通过公开的 GitHub 仓库获取。获奖者可选择以 USDT（基于 TRON 网络）或 USDC（基于 Ethereum 网络）的形式领取奖金。