埃尔多斯问题解题者赢得孙宇晨奖，表彰人机协作证明

三位研究人员被命名为孙宇晨奖的最新获奖者：独立研究员Wouter van Doorn；数学博士生汤泉宇（Quanyu Tang）；以及南京东南大学的数学研究员李彦阳（Yanyang Li）。他们的工作涵盖了六个埃尔多斯问题。

Van Doorn是一位自学成才的数论学家，2010年作为本科生开始研究，并在获得硕士学位离开学术界后保持了合作与发表。汤泉宇是中国科学技术大学的博士生，研究方向为数论、组合数学和人工智能辅助数学发现。

匈牙利数学家保罗·埃尔多斯提出或推广了被称为埃尔多斯问题的数学问题，涉及数字、模式及其他结构。虽然通常易于描述，但难以解决，并对数论和组合数学产生了影响；其中一些问题数十年来仍未解决。由曼彻斯特大学的Thomas Bloom整理的此类问题目录包含超过1200个问题。

Van Doorn与李彦阳和汤泉宇共同解决了埃尔多斯问题#650，该问题问的是：在一个给定区间内，有多少整数总能与不同的倍数配对。Van Doorn还单独为另外三个问题创建了在Lean（一种检查数学推理的工具）中可计算机验证的证明：#369（关于具有受限素因子的连续整数）、#457（是否一个短连续整数块可以包含特定范围内的所有素数）、以及#469（某类可表示为除数和的数的倒数之和是否收敛）。

汤泉宇独立解决了#1044，为多项式定义区域的边界长度设定了精确下界。他还与李彦阳共同参与了一个更大团队的解决方案，针对#1196，该问题界定了整数集（其中没有元素整除另一个）上加权和的范围。

#650的解决方案展示了人类洞察力与人工智能如何协同工作。ChatGPT协助形成了证明方法，而AI推理系统Aristotle在Lean形式化过程中修复了一个漏洞。之后，研究人员简化了推理过程，并撰写了最终的证明和解释。

“这次经历让我了解到公共反馈如何能磨砺研究问题，以及AI辅助发现如何将数学判断、协作与严格验证结合起来，”汤泉宇说道。

这些奖项是该计划首次正式颁发，不仅强调了数学突破，也突出了使证明可独立验证的努力。关于该奖项、其问题列表以及获奖者贡献的详细信息可在公共GitHub仓库中找到。

奖金将以获奖者选择的TRON上的USDT（TRC-20）或以太坊上的USDC（ERC-20）形式支付。

关于孙宇晨办公室

孙宇晨办公室负责管理孙宇晨在全球范围内的商业、慈善及技术、区块链、人工智能、科学研究、投资、艺术和太空探索领域的公共项目。

孙宇晨担任格林纳达大使及前常驻世贸组织代表，同时也是TRON的创始人。TRON区块链被描述为领先的稳定币平台，自启动以来处理了超过13万亿美元的交易量。在新兴经济体中，用户依赖TRON上的USDT参与全球金融。

作为阿里巴巴马云的前门生，孙宇晨因其数字资产工作获得了全球认可，包括2025年4月的福布斯封面故事以及多次入选福布斯30 Under 30榜单。他于2025年8月乘坐蓝色起源的NS-34任务进入太空，成为第712位到达太空的人。他的兴趣涵盖科技、投资、慈善、艺术、游戏和太空。

关于孙宇晨奖

孙宇晨奖由孙宇晨创立，旨在促进数学、形式化验证以及人工智能驱动的科学发现方面的进步。它采用去中心化模式，评判仅基于证明的强度、严谨性和可验证性，而非提交者的身份。

孙宇晨以个人名义设立该奖项，作为将数学和技术创造的财富回馈数学的持久承诺。其遗产将是那些被认可的工作和成果经得起时间考验的获奖者。该奖项将定义明确的数学问题与可机器检查的证明联系起来，以开放性、公益性和开源原则为指导。