新一轮孙宇晨奖表彰人类与人工智能在 Erdős 问题上的合作

孙宇晨办公室今天宣布了孙宇晨奖的最新获奖者：独立研究员 Wouter van Doorn、数学博士。南京东南大学的学生唐全宇和数学研究员李彦阳因在六个埃尔多问题上的贡献而获得认可。 Wouter van Doorn 是一位独立数论学家，他于 2010 年作为本科生开始研究数学，并在获得硕士学位后离开学术界后继续合作和出版。汤泉宇，数学博士。中国科学技术大学学生，研究领域涵盖数论、组合学和人工智能辅助数学发现。埃尔多斯问题是由匈牙利数学家保罗·埃尔多斯提出或推广的关于数字、模式和其他数学结构的数学问题。它们往往说起来简单，但解决起来却很困难，它们帮助塑造了数论和组合数学的研究，其中一些研究几十年来一直处于开放状态。 Erdős 目录由曼彻斯特大学数学家兼皇家学会大学研究员托马斯·布鲁姆 (Thomas Bloom) 编制和维护，包含 1200 多个问题。  Van Doorn 和 Tang 与南京东南大学数学学院的 Yanyang Li 合作解决了 Erdős Problem #650，确定有多少个整数始终可以与指定区间内的不同倍数匹配。 Van Doorn 还在 Lean（用于验证数学推理的软件）中为 #369 制作了计算机可检查的证明，涉及具有受限质因数的连续整数； #457，关于一小段连续整数是否可以共同包含给定范围内的每个素数；和#469，关于一类特殊数字的倒数是否可以表示为它们的除数之和添加到有限总数。 Tang 单独解决了#1044，为多项式定义的区域的边界长度建立了一个急剧的下限，并与 Li 一起为更广泛的团队解决了#1196 的问题，将加权和限制在整数集上，其中没有成员可以整除另一个。他们在 #650 上的工作提供了人类判断和人工智能如何相互补充的具体例子。 ChatGPT 帮助开发了证明策略，而用于数学推理的人工智能系统 Aristotle 则修复了精益形式化期间的缺陷。研究人员随后简化了论证并撰写了最终的证明和说明。唐说：“这段经历教会了我公众反馈如何使研究问题更加尖锐，以及人工智能辅助发现如何将数学判断、协作和严格验证结合起来。”这是该项目首次确认的奖项，表彰数学发现和使证明可独立检查所需的工作。有关孙宇晨奖、其问题目录和获奖者贡献的信息可通过该计划的公共 GitHub 存储库获取。奖金将根据获奖者的选择以 TRON 上的 USDT (TRC-20) 或以太坊上的 USDC (ERC-20) 形式支付。欲了解更多信息，请访问 www.hejustinsun.com/prize 。  关于孙宇晨办公室孙宇晨办公室支持孙宇晨在技术、区块链、人工智能、科学研究、投资、艺术和太空探索方面的全球业务、慈善和公共举措。  孙宇晨是格林纳达驻世界贸易组织大使、前常驻代表，波场TRON创始人。 TRON 是稳定币革命的领先区块链，自成立以来处理量超过 13 万亿美元。在世界新兴市场，人们依靠波场上的 USDT 来接入全球金融体系。作为阿里巴巴创始人马云的得意门生，孙宇晨因其在数字资产行业的工作而获得国际认可，包括 2025 年 4 月登上《福布斯》封面人物，并多次出现在《福布斯》30 位 30 岁以下人物排行榜上。 2025 年 8 月，他搭乘蓝色起源的 NS-34 任务，成为历史上第 712 位进入太空的人。他的兴趣更广泛，涵盖技术、投资、慈善事业、艺术、游戏和太空探索。关于孙宇晨奖 孙宇晨奖是孙宇晨设立的一项学术倡议，旨在支持数学、形式验证和人工智能辅助科学发现的进步。该奖项是分散的，围绕这样的原则：数学工作应该根据证明本身的强度、严谨性和可验​​证性来评判，而不是提交证明者的声望或声誉。孙宇晨以个人名义设立该奖项，作为将通过数学和技术创造的财富回归数学本身的长期承诺。它的遗产旨在由其认可的工作和其发现经受时间考验的获奖者来定义。该奖项将明确定义的数学挑战与机器可验证的证明联系起来。其指导原则是开放、公共利益和开源访问。访问 https://www.hejustinsun.com/prize 了解更多信息。孙宇晨奖的新一轮表彰人类与人工智能在 Erdős 问题上的合作的帖子首先出现在 BeInCrypto 上。