据Benzinga和Cointelegraph等知名海外媒体报道，孙宇晨办公室近日公布新一轮孙宇晨奖获奖名单。独立研究者 Wouter van Doorn、数学博士生汤泉宇，以及来自南京东南大学的数学研究者 Yanyang Li 获奖，以表彰他们对六个埃尔德什问题所作出的研究贡献。

孙宇晨以个人名义设立该奖，将其作为一项长期承诺：把通过数学与技术创造的财富回馈给数学本身。该奖项将界定清晰的数学难题与机器可验证的证明紧密结合，始终以开放、公益和开源为指导原则。其长远价值在于它所表彰的研究成果，以及那些成果经得起时间考验的获奖者。

Wouter van Doorn 是一名独立数论研究者，2010 年读本科时便已开始从事数学研究。硕士毕业后他离开了学术界，但仍持续与其他研究者合作并发表论文。汤泉宇是中国科学技术大学数学博士生，研究方向涵盖数论、组合数学，以及如何用 AI 辅助数学研究。

埃尔德什问题（Erdős problems）是由匈牙利数学家保罗·埃尔德什（Paul Erdős）提出，或经他推广而闻名的数学问题，主要探讨数字、规律及其他数学结构。这些问题往往表述直观，破解却极难，深刻地影响了数论和组合数学的研究方向，不少问题甚至悬而未决数十年，至今未解。目前由曼彻斯特大学数学家、英国皇家学会研究员托马斯·布鲁姆（Thomas Bloom）整理并维护的“埃尔德什问题库”中，已收录 1200 多道这类问题。

Van Doorn、汤泉宇与 Yanyang Li 合作，共同解决了第 650 号埃尔德什问题（#650），精准确定了在指定区间内究竟有多少个整数总能各自匹配到互不相同的倍数。此外，Van Doorn 还借助数学推理验证软件 Lean，为多道问题给出了计算机可独立验证的形式化证明，包括第 369 号问题（质因子受限的连续整数）、第 457 号问题（短区间内的连续整数能否共同囊括某范围内的所有质数），以及第 469 号问题（可表示为约数之和的那类特殊数，其倒数和是否为有限值）。

汤泉宇还独立解决了第 1044 号问题，确定了多项式所定义区域边界长度的最优下界。此外，他还与 Yanyang Li 加入了更大的合作团队，共同解答了第 1196 号问题，为一类任意两数互不整除的整数集，确定了其加权和的界限。

第 650 号问题的解决过程，充分展现了人类与 AI 如何优势互补。ChatGPT 协助研究团队构思证明思路，数学推理 AI 系统 Aristotle 则在使用 Lean 进行形式化证明时补上了其中一处漏洞。随后研究者进一步简化论证，完成了最终的证明和文字阐述。

汤泉宇表示：“这段经历让我体会到，公众反馈能让研究问题变得更加清晰，而 AI 辅助下的探索，又能将数学判断、团队协作与严谨求证结合在一起。”

这是该奖项设立以来颁出的首批奖项，既表彰了突破性的数学发现，也肯定了让证明具备独立可校验性的贡献。有关孙宇晨奖、题库目录及获奖者具体贡献的更多信息，均可在该奖项公开的 GitHub 仓库中查阅。

获奖者可自主选择奖金的结算方式，支持波场 USDT（TRC-20）或以太坊链上的 USDC（ERC-20）。

据悉，孙宇晨奖由孙宇晨本人创立，是一项学术赏金计划，旨在推动数学、形式化验证和 AI 辅助科学发现等领域的发展。该奖项秉持去中心化理念：对数学成果的评判，应完全取决于证明本身的论证力度、严谨性与可验证性，而与提交者的声望或名气无关。