姚期智、杨植麟联合署名论文：9个前沿大模型，如何证明人类数学极限？
AI能当理论计算机科学家吗？姚期智和杨植麟共同署名的论文给出答案。如果把理论计算机科学比作数学界的“奥林匹克”，那它研究的不是怎么修电脑，而是计算本身的上限：哪些问题算得快，数学证明的极限在哪里。
二手电车谁买谁傻？保值+避坑全攻略，大胆去捡漏
没买车的和买了车的人，都坐不住了，买车就像买电子产品一样，入手就贬值。但换个角度看，新能源车价格“跳水”的背面，二手新能源车的价格也跟着跌出了前所未有的性价比。
A社超强模型曝光，三天攻破量子计算圣杯，Agent Harness立大功
历史时刻再现:Claude 内部模型攻克了量子计算领域 18 年悬赏猜想。只用了3天，非公开Claude模型就攻克了自2008年悬而未决的Aaronson-Ambainis猜想!
物理学家破防，500页博士论文手算1年，Opus 5.5只用10小时
物理学教授Emre Onur Kahya，把自己博士期间耗时整整1年、手写了近500页的量子引力推导过程，喂给了Claude Opus 5.5。结果，Opus 5.5只用了10个小时，就彻底复现了整个计算!
突发，Astra联手Opus破解化学半世纪猜想，50年圣杯被攻克
BitMiracle AI Lab的科研智能体ClawsGO Science让1个Claude Opus 5.5指挥136个GPT 6 Astra，用11天破解了一道1974年提出的化学猜想。
华莱士紧急声明！
有网友11月24日发布视频称，在华莱士所售汉堡中吃出了异物。视频显示，异物形状像是某种动物的尾巴，这位网友称“硬硬软软的”“有毛孔”。来源：网络视频截图据悉，网友还称，当天联系店家进行退单，并要求10倍赔偿，但店家仅做了退单操作，对赔偿并没有同意。
陶哲轩邓煜最新对谈，呼吁数学「慢科研」
就在刚刚，针对商业AI批量发布数学证明引发的争议，两位菲尔兹奖得主坐到一起，在SAIR发布的一场访谈中给出了回应。
A社超强模型曝光！三天攻破量子计算圣杯，Agent Harness立大功
来源：市场资讯（来源：新智元）新智元报道Anthropic还有大招！历史时刻再现：Claude 内部模型攻克了量子计算领域 18 年悬赏猜想。只用了3天，非公开Claude模型就攻克了自2008年悬而未决的Aaronson-Ambainis猜想！
英语语法：什么是“被动语态”，如何“反客为主”？
一、被动语态的"乾坤大挪移"想象一下：主动语态：孙悟空 打 了妖怪。（强调"谁做了动作"）被动语态：妖怪 被 孙悟空打了。（强调"谁承受了动作"）英语里的被动语态就像反转镜头，让句子的焦点瞬间转移！
美媒：白宫对“拜登僵住并被奥巴马领走”报道大发雷霆，发声明攻击保守派媒体
来源：环球网 【环球网报道 记者 张晓雅】一段“美国总统拜登在活动中突然僵住并被奥巴马领走”的画面在媒体和社交平台上传播，白宫有些坐不住了。综合美国《野兽日报》、塔斯社等媒体16日报道，白宫副新闻秘书回应称，当时拜登并没有“僵住”，而是在向人群致意。