《科学新闻》 第208卷 第5期 · 2026年5月刊 · 中文解读
数学的大变革：AI如何重塑证明的未来
The Great Disruption · Stephen Ornes
这篇讲什么
本文探讨了形式化数学与人工智能的结合如何可能彻底改变数学研究的方式，以及这一变革引发的争议与担忧。
原文开头
How formalization, supercharged by AI, could radically change the way people do math BY STEPHEN ORNES ILLUSTRATION BY MELVIN GALAPON M athematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point. There’s already an accepted proof that was finalized in 1998. That work is a tortuous maze of mathemat- ics that fills about 130 pages over two papers. It spans mathematical fields and unites abstract ideas that previously seemed to have little to say to one another. To know the proof is to know a wide swath of mathematics. …
摘自《科学新闻》（Science News）第208卷 第5期 · 2026年5月刊，Stephen Ornes。仅引用开头一小段供了解文章，版权归原刊所有，全文请阅读原刊。
微信扫码，在小程序里听完整版
不用登录先听一篇 · 或在微信搜索小程序
晨间信号同期其他文章
- 压力骤降后，超导体似乎打破纪录科学家通过高压淬火技术，使汞铜氧化物超导体在常压下超导温度达到151开尔文，可能打破1993年的纪录。
- 为什么有些孩子数学更难？脑部扫描提供线索一项新研究发现，有数学学习障碍的儿童在回答简单数学问题时不如正常儿童谨慎，犯错后也不会放慢速度，这些差异与大脑特定区域的
- 呼吸携带肠道健康线索本文探讨了通过呼吸测试检测肠道健康的方法，包括其科学依据、现有家用设备以及未来应用前景。
- 如何发明一门语言本文探讨了虚构语言（如《阿凡达》中的纳美语）的创造过程，以及它们如何为现实世界的交流提供洞见。
- 史密森尼的秘密本文介绍了史密森尼学会博物馆支持中心收藏的数百万件物品，这些物品涵盖了生物、地质、天文和文化等多个领域，并展示了其中一些
- 会说话的狗？爱聊天的猫？这个想法并非遥不可及本文探讨了将动物声音解码为人类可理解语言的设备，从科幻走向现实的可能性，并介绍了相关科学研究进展。