《科学》（20261008出版）一周论文导读

《科学》最新一期论文导读涵盖量子计算、AI 形式化数学证明及酶催化等前沿研究。其中，研究团队构建了结合 LLM 与 Lean 的形式化证明搜索智能体，自主攻克了 353 个埃尔德什公开问题中的 9 个，并证明了《整数序列在线百科全书》492 条猜想中的 44 条。此外，物理团队基于中性原子量子处理器实现了保真度达 99.854% 的纠缠受控 Z 门。