《科学》 2026年10月15日 · 中文解读
AI向数学最难问题发起冲击
AI takes a bite out of math’s hardest problem · Zack Savitsky
这篇讲什么
10月6日，OpenAI发布了700多篇由先进AI模型生成的数学论文，其中一篇在黎曼假设这一千禧年难题上取得进展。剑桥大学数学家詹姆斯·梅纳德称该结果“具有突破性”，认为它是解析数论领域百年来最引人注目的成果。该证明仅解决了黎曼假设的弱化版本，OpenAI还另行发布了一篇简短论文，独立排除了“西格尔零点”。
原文开头
A trove of AI papers includes progress on the Riemann hypothesis, a famous puzzle about prime numbers ZACK SAVITSKY On 6 October, James Maynard was nervously checking his phone under the table throughout dinner. He’d heard rumors of a tsunami heading for the shores of math. When he checked in one last time from bed, the swell struck: OpenAI had released more than 700 math papers, generated with an advanced version of its artificial intelligence (AI) model. They appeared to topple hundreds of long-standing problems, forcing researchers to face the reality that no problem in math is off-limits for machines (see story, p. 255). …
摘自《科学》（Science）2026年10月15日，Zack Savitsky。仅引用开头一小段供了解文章，版权归原刊所有，全文请阅读原刊。
微信扫码，在小程序里听完整版
不用登录先听一篇 · 或在微信搜索小程序
晨间信号同期其他文章
- 要扭转自然丧失，须改变其驱动因素在亚美尼亚埃里温召开的《生物多样性公约》第十七次缔约方大会上，195个国家和欧盟代表审议昆明-蒙特利尔全球生物多样性框架
- OpenAI一举撼动数学界：372项成果背后，真相尚无人知晓10月6日，OpenAI一次性发布722篇预印本、涵盖372项数学结果，令普林斯顿高等研究院的数学家们震惊不已。其中一篇
- 诺贝尔化学奖授予分子手性研究先驱诺贝尔化学奖授予巴黎南大学的亨利·卡甘和东京理科大学的宗井健三，表彰他们揭示了化学反应如何打破手性对称。卡甘1986年发
- “超级”厄尔尼诺推动生态系统影响研究7月热带太平洋中部海表温度比当前全球热带海洋平均温度高出1.7摄氏度，美国国家海洋和大气管理局警告出现“非常强”厄尔尼诺
- 美国国立卫生研究院重启新发疾病研究网络，但新限制令科学家困惑美国国立卫生研究院（NIH）在2025年终止的“新发传染病研究中心”（CREID）网络，因国会施压于今年重启，加州大学戴
- 新工具或可帮助判断谁需要抗抑郁药美国卫生与公众服务部部长小罗伯特·F·肯尼迪发起应对抗抑郁药过度使用的行动，推动为患者减药。与此同时，研究人员正利用基因