姚期智、杨植麟联合署名论文：9个前沿大模型，如何证明人类数学极限？
AI能当理论计算机科学家吗？姚期智和杨植麟共同署名的论文给出答案。如果把理论计算机科学比作数学界的“奥林匹克”，那它研究的不是怎么修电脑，而是计算本身的上限：哪些问题算得快，数学证明的极限在哪里。
WorkBuddy 最值得推荐的 15 个技能（11月最新版）
如何高效找到适合我们使用的 Workbuddy 技能呢?从 8 月份开始，小灰每个月都会整理一期《WorkBuddy 最值得推荐的技能》，如今进入11月，我再给大家推荐15个全新的 WorkBuddy 优质技能。
英语4个「除了」: besides、except、except for、 but
英语4个「除了」完整知识点梳理 一、核心单词逐项解析 1. besides（加法型除了） ✅核心逻辑：累加关系，包含后文对象，释义「除了…之外，还有…」 - 介词用法：后接名词/代词例句：Besides math, I also love physics.
AI开始进会议室干活！从芯片到办公软件，A股这10家公司各占哪一环？
AI办公又有新动作。北京时间11月11日凌晨，美国当地时间11月10日，Anthropic宣布将Claude接入Google Meet。
戏曲被看见之后，评论为何反而更重要？
作者：沈 勇当越剧《新龙门客栈》《我的大观园》的相关词条在互联网上获得百亿级讨论，当全国近500家国有文艺院团、6000多名演员入驻抖音，累计开播超过80万场，截至2025年12月已有1294位非遗传承人进入直播间，我们当然可以说：戏曲被看见了。
媒体客户端3.0：从新闻端、服务端跃向智能端
客户端是主流媒体打造自主可控传播渠道、维系互联网传播主导权的核心载体，是建设全媒体传播体系、深化系统性变革的关键抓手。其形态迭代与功能拓展内嵌于数智技术更新、行业生态变革的双重逻辑之中，呈现出清晰的演进脉络。
DeepSeek Harness产品分析：从「一切皆插件」到 Agent 运行时
DeepSeek Harness 以 154 万日活和 3.49 万插件证明:Agent 竞争已从模型能力转向运行时生态。
苹果AI终于上线了！苹果正式推送iOS 27.3测试版，国行Apple智能首批核心功能全揭晓
11月4日凌晨，苹果面向iPhone推送首个iOS 27.3开发者预览版，国行版本同步解锁「Apple 智能与 Siri」功能，首批覆盖多个日常高频场景的系统级AI能力正式与国内用户见面。
GPT-6 Astra 爆改 Qwen 大脑：只动 0.016% 参数，数学成绩疯涨
只改了 0.016% 的权重，一个 8 亿参数大模型的数学成绩，就从 7.9% 飙升到了 48.1%。研究人员仅修改了 Qwen3.5-0.8B 的 131072 个参数，就让它在 MATH-500 上的成绩从 7.9% 提升至 48.1%，GSM8K 从 13.8% 提升至 67.1%，指令遵循能力也明显改善。