姚期智、杨植麟联合署名论文：9个前沿大模型，如何证明人类数学极限？
AI能当理论计算机科学家吗？姚期智和杨植麟共同署名的论文给出答案。如果把理论计算机科学比作数学界的“奥林匹克”，那它研究的不是怎么修电脑，而是计算本身的上限：哪些问题算得快，数学证明的极限在哪里。
A社超强模型曝光，三天攻破量子计算圣杯，Agent Harness立大功
历史时刻再现:Claude 内部模型攻克了量子计算领域 18 年悬赏猜想。只用了3天，非公开Claude模型就攻克了自2008年悬而未决的Aaronson-Ambainis猜想!
MIT三学位天才带AI攻克物理难题，下一个目标是飞向《三体》老家
他们称，自己借助自研AI科研系统，在量子信息理论的5个开放问题上取得了成果，论文、Lean形式化证明和验证代码，均在Github上贴出供学人审查。
《“海洋十年”海洋公益行动全球倡议》在青岛西海岸新区启动
9月17日，2026海洋合作发展论坛在青岛西海岸新区开幕。
物理学也要被AI攻陷了？5道20多年量子公开问题被突破
可怕，这才过了几天?他们称，自己借助自研AI科研系统，在量子信息理论的5个开放问题上取得了成果，论文、Lean形式化证明和验证代码，均在Github上贴出供学人审查。
五国医务工作者来渝学习中国原创“5D呼吸介入诊疗技术”
中新网重庆11月10日电 (梁钦卿)由国家卫生健康委国际交流与合作中心组织的“一带一路”国家5D呼吸介入诊疗技术培训班9日在重庆医科大学附属第一医院结业，来自埃及、格林纳达、伊拉克、约旦、巴勒斯坦5个国家的14名医护人员，完成为期近1个月的培训，顺利拿到结业证书。
Fable 5.2吃掉机器人？「手感」这块，还得靠具身原生基模来补全
官方演示中，由该模型控制的机器人可以轻松地完成解魔方、拧瓶盖、画机器人等一系列操作任务。另外，在公开的 RoboDojo 基准测试中，Fable 5.2 也取得了 64.9% 的成绩。
第36届中国新闻奖获奖作品目录
新华社北京11月8日电 第36届中国新闻奖获奖作品目录特别奖3件奖次：特别奖 项目：评论 作品标题：中华民族伟大复兴势不可挡 作者/主创：集体 编辑：陈家兴、陆娅楠、姜赟 发布端/账号/媒体名称：人民日报 原创单位：人民日报社 报送单位：人民日报社奖次：特别奖 项目：国际传播 作
中国人保总裁赵鹏：在四重结构变化中培育保险新动能
中国人民保险集团2026投资者开放日活动6日在江苏苏州举行。中国人民保险集团总裁赵鹏表示，当前保险业正处在新旧动能转换的关键阶段，能否精准把握经济社会发展趋势、培育可持续的增长新动能，是评判保险企业长期价值的重要标尺。
A社超强模型曝光！三天攻破量子计算圣杯，Agent Harness立大功
来源：市场资讯（来源：新智元）新智元报道Anthropic还有大招！历史时刻再现：Claude 内部模型攻克了量子计算领域 18 年悬赏猜想。只用了3天，非公开Claude模型就攻克了自2008年悬而未决的Aaronson-Ambainis猜想！