贾斯汀·孙奖新一轮评选表彰在埃尔德什问题上的人工智能与人类合作

沃特·范·多恩（Wouter van Doorn）是一位独立数论学家，他于2010年本科期间开始从事数学研究，在获得硕士学位后虽已离开学术界，但仍持续开展合作并发表研究成果。 汤泉宇是中国科学技术大学的数学博士生，其研究领域涵盖数论、组合数学以及人工智能辅助的数学发现。 埃尔德什问题是由匈牙利数学家保罗·埃尔德什提出或推广的数学问题，涉及数字、模式及其他数学结构。 这些问题往往表述简单但难以求解，它们推动了数论和组合数学领域的研究发展，其中部分问题至今仍悬而未决，已有数十年之久。由曼彻斯特大学数学家、皇家学会大学研究员托马斯·布鲁姆（Thomas Bloom）编纂并维护的“埃尔德什问题目录”收录了超过1200个问题。

范·多恩和唐与南京东南大学数学学院的李亚阳合作，解决了埃尔德什第650号问题，精确确定了在指定区间内，有多少个整数总能与该区间内的不同倍数配对。 范·多恩还使用数学推理验证软件Lean，为以下问题生成可通过计算机验证的证明：第369号问题，涉及具有受限质因子的连续整数； 第457号问题，即一段较短的连续整数序列能否共同包含给定范围内的所有质数；以及第469号问题，即一类可表示为除数之和的特殊数，其倒数之和是否为有限值。

唐单独解决了第1044号问题，为由多项式定义的区域的边界长度确立了一个精确的下界；他还与李共同参与了一个更广泛团队对第1196号问题的求解，该问题涉及对整数集上加权和的上界估计，其中任意两个整数互不约。

他们在第650号问题上的工作，为人类判断与人工智能如何互补提供了具体范例。ChatGPT协助制定了证明策略，而用于数学推理的人工智能系统“亚里士多德”（Aristotle）则在Lean形式化过程中弥补了逻辑漏洞。随后，研究人员简化了论证过程，并撰写了最终的证明与论述。

“这次经历让我了解到，公众反馈如何能使研究问题更加聚焦，以及人工智能辅助的发现如何将数学判断、协作和严谨的验证相结合，”唐表示。 这些是该计划首批确认的获奖成果，既表彰了数学发现，也认可了为使证明能够被独立验证所付出的努力。 有关贾斯汀·孙奖（Justin Sun Prize）的信息、其问题目录及获奖者的贡献，可通过该计划的公开 GitHub 仓库获取。 奖金将根据获奖者的选择，以 TRON 上的 USDT（TRC-20）或以太坊上的 USDC（ERC-20）形式发放。 如需了解更多信息，请访问 www.hejustinsun.com/prize。 关于孙宇晨办公室 孙宇晨办公室致力于支持孙宇晨在全球范围内开展的商业、慈善及公共事务，涵盖技术、区块链、人工智能、科学研究、投资、艺术及太空探索等领域。

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

作为阿里巴巴创始人马云的门生，孙宇晨因在数字资产行业的工作而获得国际认可，包括2025年4月登上《福布斯》封面，并多次入选“福布斯30岁以下30人”榜单。 2025年8月，他搭乘蓝色起源公司的NS-34号任务飞船升空，成为历史上第712位进入太空的人。他的兴趣广泛，涵盖科技、投资、慈善、艺术、游戏和太空探索等领域。

孙宇晨办公室联系方式： info@hejustinsun.com 关于孙宇晨奖

“孙宇晨奖”是由孙宇晨设立的一项学术计划，旨在支持数学、形式验证以及人工智能辅助科学发现领域的进步。该奖项采用去中心化模式，其核心原则是：数学成果应依据证明本身的力度、严谨性和可验证性来评判，而非提交者的声望或名气。

孙宇晨以自己的名字设立该奖项，以此作为一项长期承诺，旨在将通过数学和技术创造的财富回馈给数学本身。该奖项的遗产将由其认可的学术成果以及那些经得起时间考验的获奖者所定义。该奖项将明确界定的数学挑战与机器可验证的证明联系起来。 其指导原则是开放性、公共利益和开源访问。 更多信息请访问 https://www.hejustinsun.com/prize。 联系方式： thejustinsunprize@hejustinsun.com _________________________________________________________________________

Bitcoin.com 不承担任何责任或义务，且对于因使用或依赖本文提及的任何内容、商品或服务而引起或与之相关的任何形式的损失、损害、索赔、成本或费用（无论实际、声称或间接），均不承担任何直接或间接责任。 对上述信息的任何依赖，风险完全由读者自行承担。