新一轮的孙宇晨奖旨在表彰在鄂尔多斯问题上的人机合作。

瑞士日内瓦——2026年10月5日——孙宇晨办公室今日公布了孙宇晨奖的最新获奖者:独立研究员Wouter van Doorn、数学博士生汤泉宇,以及南京东南大学数学研究员李彦阳。他们因对六个埃尔德什问题的贡献而获得表彰。

Wouter van Doorn是一位独立数论学家,2010年以本科生身份开始研究数学,在获得硕士学位离开学术界后仍继续合作并发表论文。汤泉宇是中国科学技术大学数学博士生,研究方向涵盖数论、组合数学和AI辅助数学发现。

埃尔德什问题是由匈牙利数学家保罗·埃尔德什提出或推广的关于数字、模式及其他数学结构的数学问题。这些问题通常表述简单但难以解决,它们帮助塑造了数论和组合数学的研究方向,其中一些问题数十年来仍未解决。由曼彻斯特大学数学家、皇家学会大学研究员Thomas Bloom编制和维护的埃尔德什目录收录了1200多个问题。

Van Doorn和汤泉宇与南京东南大学数学学院的李彦阳合作解决了埃尔德什第650号问题,确定了在指定区间内有多少个整数总能匹配到不同的倍数。Van Doorn还为第369号问题(涉及具有受限素因子的连续整数)、第457号问题(关于一段短的连续整数是否能集体包含给定范围内的每个素数)以及第469号问题(关于一类可表示为其因子之和的特殊数的倒数之和是否为有限值)制作了Lean中可计算机检验的证明。Lean是用于验证数学推理的软件。汤泉宇单独解决了第1044号问题,为多项式定义的区域的边界长度建立了一个精确下界,并与李彦阳一起为一个更大的团队解决第1196号问题做出了贡献,该问题涉及对不存在一个成员整除另一个的整数集合上的加权和进行界定。

他们在第650号问题上的工作提供了一个具体例子,说明人类判断力和AI如何互补。ChatGPT帮助制定了证明策略,而数学推理AI系统Aristotle在Lean形式化过程中修复了一个漏洞。随后,研究人员简化了论证并撰写了最终证明和阐述。

汤泉宇说:“这段经历让我认识到公开反馈如何使研究问题更加精确,以及AI辅助发现如何将数学判断、协作和严格验证结合起来。”

这些是该计划首批确认的奖项,既表彰数学发现,也表彰使证明可被独立检验所需的工作。有关孙宇晨奖、其问题目录和获奖者贡献的信息可通过该计划的公开GitHub仓库获取。奖金将根据获奖者的选择,以TRON上的USDT(TRC-20)或以太坊上的USDC(ERC-20)支付。欲了解更多信息,请访问www.hejustinsun.com/prize。

关于孙宇晨办公室

孙宇晨办公室支持孙宇晨在技术、区块链、人工智能、科学研究、投资、艺术和太空探索领域的全球商业、慈善和公共事业。

孙宇晨是格林纳达驻世界贸易组织大使兼前常驻代表,也是TRON的创始人。TRON是稳定币革命领域的领先区块链,自成立以来已处理超过13万亿美元的交易量。在世界新兴市场,人们依赖TRON上的USDT来接入全球金融体系。

作为阿里巴巴创始人马云的弟子,孙宇晨因其在数字资产行业的工作而获得国际认可,包括2025年4月登上《福布斯》封面,并多次入选《福布斯》30岁以下30人榜单。2025年8月,他乘坐蓝色起源NS-34任务飞往太空,成为历史上第712位进入太空的人。他更广泛的兴趣包括技术、投资、慈善、艺术、游戏和太空探索。孙宇晨办公室联系方式:info@hejustinsun.com 关于孙宇晨奖 孙宇晨奖是由孙宇晨创立的学术计划,旨在支持数学、形式验证和AI辅助科学发现的进步。该奖项是去中心化的,并建立在这样一个原则之上:数学工作应由证明本身的力量、严谨性和可验证性来评判,而不是由提交者的声望或名誉来评判。孙宇晨以自己的名字设立该奖项,作为将数学和技术创造的财富回馈给数学本身的长期承诺。其遗产将由它所认可的工作成果以及其发现经受时间考验的获奖者来定义。该奖项将明确定义的数学挑战与机器可验证的证明连接起来。其指导原则是开放、公益和开源获取。欲了解更多信息,请访问https://www.hejustinsun.com/prize。联系方式:thejustinsunprize@hejustinsun.com

常见问题
常见问题 新一轮孙宇晨奖:人类与AI在埃尔德什问题上的合作



Q1 什么是孙宇晨奖

这是由加密货币企业家孙宇晨资助的奖项,向解决数学问题的人支付奖金,尤其是与著名埃尔德什问题相关的问题



Q2 什么是埃尔德什问题

它们是由传奇匈牙利数学家保罗·埃尔德什提出或推广的大量开放数学问题。许多问题表述简单,但非常难解



Q3 这一轮奖项有什么新内容

这一轮特别奖励人类与AI合作的解决方案,例如一个人使用ChatGPT或证明助手等AI模型来攻克问题



Q4 我必须使用AI才能获奖吗

这一轮是的。该奖项面向人类与AI协作,因此纯人类解决方案或纯AI生成的解决方案可能不符合资格



Q5 什么算作人类与AI协作

任何由人和AI系统各自作出有意义贡献的设置,比如AI提出证明步骤,人类验证、纠正并完善它们



Q6 谁可以参加

一般来说任何人都可以,包括学生、爱好者和专业数学家。请查看官方规则中的年龄、居住地或资格限制



Q7 奖金是多少

奖金金额因轮次和问题难度而异。请查看官方公告以了解确切数字



Q8 哪些问题符合资格

通常是埃尔德什问题数据库中的问题,或随奖项发布的特定列表中的问题。并非每个开放问题都符合资格



Q9 我如何提交解决方案

通常通过奖项公告中列出的官方提交表格或电子邮件提交,附上你的证明以及关于如何使用AI的说明



Q10 AI必须是特定工具吗

不是,大多数轮次允许任何AI工具,包括大型语言模型、定理证明器或定制系统,只要记录你使用了什么



Q11 我需要解释AI的作用吗

是的。组织者通常希望清楚说明AI做了什么,以及你做了什么,以便协作透明



Q12 如果AI的答案是错的怎么办

那是你的责任。人类负责检查每一步。Un

Scroll to Top