以下为上游提供的源文稿，可能存在识别错误。
乔木转写是基于源文稿的中文提炼，不是逐字翻译。请核对原文中的人名、数字与观点。
选一篇，慢慢读
从左侧挑一篇，正文会在这里排成书页。
Welcome to Import AI, a newsletter about AI research. Import AI runs on arXiv, cappuccinos, and feedback from readers. If you’d like to support this, please subscribe. Subscribe now AI Science startup converts a quantum conjecture into a theorem: …An evocative taste of the singularity… In the same way a few years ago i
阅读原文 · Jack Clark
向阳乔木 · opencode-go/deepseek-v4.1-flash
AI 科学公司把量子计算猜想变成了定理，这件事的分量比标题看起来重得多。 一个从 2008 年悬到现在的数学问题，被一套 AI 研究系统在三天内攻破，而且证明过程通过了 Lean 的逐步机器验证。 完成这件事的是 Physical Superintelligence（PSI），一家做 AI for science 的创业公司。他们用的是一套内部研发的研究系统...