AI降低数学证明门槛 芝大教授：招聘该看沟通而非论文
芝加哥大学数学教授 Frank Calegari 提出，AI 已能批量生成数学证明，学术界不能再凭一篇论文判断候选人，招聘应转向面对面交流和对研究方向的清晰表达。
标签： 训练
作者用520万字语料开源”去AI味”Skill lieflat-less-ai-tone
开发者Lieflat以约520万汉字语料和50.7万次模型语义判断，量化了"AI味"的写作特征，并开源为lieflat-less-ai-tone Skill，用于检测和改写AI写作习惯。这件事值得关注，是因为它把"像不像AI写的"从主观感受变成了可量化、可复用的工具。
反AI抗议者闯入微软阿姆斯特丹数据中心工地，AI基础设施争议升级
荷兰活动团体 Geef Tegengas 于 2026 年 11 月 6 日组织抗议者进入微软阿姆斯特丹 Westpoort 数据中心工地，有人翻越围栏、攀爬起重机并释放信号弹。这起事件让数据中心——AI 算力扩张的物理基础——再次成为环保、用水与社区成本争议的焦点。
AI股暴跌后小幅反弹，美国中期选举与就业数据搅动市场
2026年11月6日，美国科技股在经历数万亿美元市值蒸发后小幅反弹，纳斯达克综合指数收涨1.1%，但亚太与欧洲芯片股承压更重，市场正重新评估AI基础设施投入与政策风险。
Physicl 获 1000 万美元种子轮，用高保真 3D 模拟解决机器人训练难题
前 nfinite 创始人 Alex de Vigan 创立 Physicl，获 Inovia Capital 领投的 1000 万美元种子轮，推出含 1 万个 3D 环境和 10 万个资产的产品 Studio，帮机器人团队用更真实的仿真数据攻克边缘案例训练难题。
Ai2 发布 ToyBlocks：用桌面积木搭建机器人学习的可控实验场
Ai2（Allen Institute for AI）于 2026 年 11 月 6 日发布 ToyBlocks，一个围绕机械臂与桌面积木的开源仿真框架，能自动生成任务与示范数据，用于研究机器人学到什么、为何失败。
杜克学生自述：从作业到论文，AI 如何悄悄掏空写作能力
2026 年 11 月 6 日，TIME 刊出一名杜克大学学生的第一人称自述：她原本给自己划定“AI 只做杂活”的边界，却一步步用 ChatGPT 代写哲学论文大纲和初稿，直到面对最爱的政治极化题目时大脑空白、写不出一个字。这值得关注，因为它记录了 AI 辅助如何从“省时间”滑向替代思考。
NVIDIA 推出 Reshard 通信集合，瞄准 RL 权重重装瓶颈
NVIDIA 发布 Reshard 通信集合及其开源实现 NCCL M2N Reshard，把强化学习后训练中的权重重装改为最小数据传输，目标是在推理与训练分离部署时压掉大量冗余通信。
Social Humanoid让Unitree G1学会与人互动，260小时基准能否补上物理协调短板
alphaXiv 2026年11月5日收录的论文提出 Social Humanoid，用分层策略让29自由度 Unitree G1 根据人类伙伴的动作生成并执行全身响应，同时发布260小时人-人形机器人交互基准。它值得关注，是因为把人-人动作捕捉转成机器人可执行样本，试图解决人形机器人“单机训练、不会配合人”…
机制可解释性能否让AI更安全？综述给出谨慎答案
alphaXiv 发布的一篇综述系统梳理了面向 AI 安全的机制可解释性（MI）研究，核心追问是“看懂模型内部是否真能减少风险”。综合现有公开信息，作者给出的答案偏谨慎：内部观察能发现输出测试遗漏的信号，但“理解即更安全”这一前提仍缺乏系统性验证。