solved a two-decade-old mathematical puzzle that had frustrated experts around the world since 2004
EP.99 故事线C: Crouzeix 猜想（2004 年提出）困扰数学界 20 年，最终被一个自学数学的神经外科医生用 AI 解决。这印证了 EP.99 的「AI for Science」叙事：AI 不仅加速专家工作，还在重新定义「谁能做科学」。
3 Matching Annotations
- Last 7 days
-
www.scmp.com www.scmp.com
-
-
Jin Shanmu, a Beijing-based neurosurgeon, was trying to solve a problem related to brain ultrasounds. Instead, he made mathematical history.
EP.99 故事线C: 北京神经外科医生解开了 20 年数学难题——这个故事的关键不在于「AI 解题」，而在于「领域外的人借助 AI 进入了另一个领域」。AI 正在降低跨领域深度参与的门槛，改变知识生产的边界。
-
- Aug 2026
-
www.anthropic.com www.anthropic.com
-
it has increased this bound from 41.6% to 67.2%
这是黎曼猜想相关问题的实质性进展——将已知满足假设的零点比例从41.6%提升到67.2%，且已通过数学家验证和Lean形式化证明。这不是"AI解决了黎曼猜想"，而是在一个具体量化子问题上取得了可验证的突破。
Tags
Annotators
URL
-