跳到正文
今天10月25日周日1 条
10月23日周五
  1. The Verge · AI55

    AI 工具涌入复古游戏反编译移植,社区站点因滥用关停

    The Verge 报道称,AI 编码工具让复古游戏的反编译与重编译移植速度大幅提升,近几个月在 Reddit、X 和 GitHub 上涌现大量项目。一个追踪反编译项目的社区网站上周突然关停,站主 Encounter 称 AI 虽能显著加快反编译,但社区协作已被破坏,有人用 AI 给他人项目“收尾”或抢做自己未参与的移植。

  2. Hugging Face Blog62

    微软与 Hugging Face 将数据库校验转为 RL 奖励,用 ThinkingBox 后训练智能体

    微软与 Hugging Face 联合发布 ThinkingBox-Training,把 ThinkingBox 对数据库终态的校验结果直接当作强化学习奖励,用于智能体后训练。

    推荐理由:微软与 Hugging Face 把数据库终态校验当作 RL 奖励,并公开了任务筛选与训练代码,可供做智能体后训练时参考。

  3. TechCrunch · AI78

    中国黑客攻破 ConnectWise 后窃取凭据,微软称约 2250 家机构遭窥探

    微软安全研究人员称,与中国政府关联的黑客攻破了 IT 管理与远程访问厂商 ConnectWise 的云备份服务,窃取用于建立客户数据链路的应用程序凭据,进而以授权用户身份登录客户的 Microsoft 托管环境,读取邮件和其他文件。

    推荐理由:微软披露的攻击细节显示,AI 智能体被用于以每分钟近 3000 次登录尝试的速度批量入侵,为评估自动化攻击的防御窗口提供了具体参照。

10月22日周四
  1. The Verge · AI58

    比尔·盖茨:要为约 20 年的 AI 动荡期做准备

    比尔·盖茨在 Decoder 访谈中表示,社会需要为大约 20 年的 AI 动荡期做准备,这段过渡期可能把社会分成靠近技术前沿的人和拒绝它的人。他认为当前风险主要来自可被移除全部防护的模型,近期的网络攻击与就业冲击会在两三年内显现,而控制问题有三条路径:改变训练方式、提升模型内部可见性、在模型外加上符号化的安全层。

  2. Microsoft Research74

    微软研究院等证明 31 年悬而未决的 KLS 猜想

    微软研究院机器学习与优化组的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits(KLS)猜想,证明该界与维度无关。

    推荐理由:微软研究员与合著者用人类引导的智能体搜索证明 KLS 猜想,并给出独立证明与 Lean 形式化验证的交叉确认。

10月21日周三
  1. Microsoft Research15

    Microsoft Research 播客:Chris White 谈从阿富汗战场到打击人口贩运的技术之路

    Microsoft Research Catalyst Lab 负责人 Chris White 在播客中讲述自己从哈佛博士后转向 DARPA 项目经理、赴阿富汗领导先进技术行动,再到开发暗网搜索工具打击人口贩运的经历。他因相关工作获得 2016 年美国总统打击人口贩运杰出贡献奖。对话还谈及问题选择在创新中的作用,以及目睹人性阴暗面后如何保持希望。

10月20日周二
  1. The Verge · AI62

    CoreWeave的债务正成为整个AI行业的问题

    CoreWeave债券上周跌入困境区间,股价自周二收盘以来下跌超过20%,并波及Oracle等其他大举负债的AI基建公司。文章指出CoreWeave第二季度负债超过350亿美元、上半年亏损超过10亿美元,但其客户合同中的剩余履约义务达1037亿美元,约40%将在2028年到期且大多不可取消,最大客户为Microsoft、OpenAI和一家未披露的第三方。

  2. GitHub Blog · AI & ML38

    如何在 VS Code 中继续 GitHub Copilot 应用会话

    GitHub Copilot 应用中的会话可直接在 VS Code 中打开并继续,保留原有对话、代码改动和工作上下文。VS Code 会加载该会话关联的 worktree,并在 Copilot 侧边栏显示原会话,用户可逐行审查 diff、手动编辑、本地运行测试,最后提交并推送到会话对应的 pull request。

10月19日周一
10月16日周五
  1. NVIDIA Blog62

    NVIDIA 发布 RTX Spark,面向创作者、玩家与 AI 智能体的 Windows PC

    NVIDIA 发布 RTX Spark,定位为一款面向创作者、玩家和 AI 智能体的 Windows PC,并将于 10 月 16 日在旧金山、柏林、台北、北京、伊斯坦布尔、首尔等地举办发布活动。

    推荐理由:NVIDIA 官方公布 RTX Spark 面向本地 AI 的定位与全球发布活动,读者可据此了解这款 Windows PC 平台的首发安排。

  2. Microsoft Research62

    微软研究院发布 Magnetar:基于证明的通用计算 zkVM

    微软研究院发布零知识虚拟机 Magnetar,可证明 Rust、Go、C 编译后的 RISC-V 程序执行,在笔记本上每秒证明 7.2 至 8.7 百万条处理器指令,15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍,证明验证约 12 毫秒。

    推荐理由:微软研究院公开 Magnetar 的 zkVM 设计与基准数据,读者可了解零知识证明在通用程序上的性能与密码学取舍。

10月15日周四
  1. The Decoder62

    OpenAI 据称年内将发布一到两款新模型,旗舰模型仍需对齐工作

    据 The Information 援引知情人士消息,OpenAI 员工称公司可能在年底前发布一到两款新模型,但尚不清楚正在开发的重大升级旗舰模型是否在其中。该旗舰模型仍需完成对齐工作,并需完善测试基础设施;在领导层认可安全评估后,还需按特朗普关于先进 AI 系统评估的行政令,提前最多 30 天向美国政府开放新模型。

  2. The Verge · AI60

    微软发布机器学习工具 PBC,改进两到六周天气预报

    微软研究院提出概率偏差校正(PBC)方法,用机器学习识别并修正现有天气预报模型的系统性偏差,相关成果发表在 Nature 上,工具已开源。研究显示,PBC 将 ECMWF 物理模型的降水准确率提升 98%、温度目标提升 92%,并使其 AI 预报系统的准确率翻倍。该方法只需 CPU 即可运行,作者希望资源有限的机构也能用它改进本地预报。

10月14日周三
  1. GitHub Blog · AI & ML38

    GitHub 如何用 ModernBERT 分类器减少密钥扫描误报

    GitHub 为密钥扫描训练了基于 ModernBERT 的上下文感知分类器,替代此前的 LLM 流水线,使推送后扫描中位执行时间降低 86%、服务成本降低超 98%,用户对告警的接受度提升 11.5%。该方案采用两阶段流水线:先用正则表达式高召回生成候选,再由微调后的 ModernBERT 结合文件路径、变量名和上下文判断是否为真实凭证,从而过滤占位符、测试样例等硬负例。

10月13日周二
  1. Microsoft Research40

    微软 StudentSim:用个性化学生模拟器在真实学习者之前评估 AI 辅导

    微软研究院推出 StudentSim,一个在真实学习者测试之前评估和改进 AI 辅导系统的研究系统,并非产品、不部署于课堂。它基于公开的去标识化学习记录训练个性化 AI 学生模拟器,每位学生一个模拟器,并配套推出覆盖国际象棋、第二语言英语写作和数学的 StudentSimEval 基准,从行为保真度和指导响应度两个维度评估模拟器,表现优于主流基线,可为训练 AI 辅导提供反馈信号。

  2. TechCrunch · AI38

    微软总裁 Brad Smith 称英国最适合主导全球 AI 监管

    微软总裁 Brad Smith 呼吁紧急监管 AI,认为牛奶和洗衣机等消费品受到的监督都比 AI 公司更多,并称英国而非美国或欧盟最适合主导全球安全规则。他主张 AI 实验室在产品发布前需经外部评估者批准,并支持在人类失去控制时暂停 AI 的 kill-switch。英国 AI Security Institute 周一确认仍能访问和测试最新模型。

10月12日周一
  1. TechCrunch · AI34

    AI 行业能否靠取消 NDA 说服数据中心反对者?

    Amazon 效仿 Microsoft,宣布在与地方政府就数据中心谈判时不再使用保密协议(NDA)。TechCrunch 的 Equity 播客讨论认为,此举或有助于打破谈判不透明的僵局,但未必能立刻改变反对者的立场。Rebecca Bellan 指出,多地暂停令仅持续一两年,而数据中心上线还需数年,政治阻力影响仍待观察。

10月11日周日
  1. The Decoder38

    微软 Nadella 改用特朗普偏好的 "Super Intelligence" 措辞,并借此抨击 OpenAI 与 Anthropic

    微软 CEO Satya Nadella 在最新博客中改用特朗普偏好的 "Super Intelligence" 一词,并主张将 AI 模型视为内部安全威胁,要求模型多样性、完整日志记录、独立审计和人类随时关停能力。他称最可信的系统不是模型最强的系统,而是最不需要信任模型的系统。文章认为,此举实质是削弱 OpenAI 与 Anthropic 的可信度,为微软自身商业模式争取时间。

  2. The Verge · AI52

    纳德拉称应假定所有 AI 模型都已被攻陷

    微软 CEO 纳德拉在 X 发长文谈先进 AI 模型的风险与应对,主张不能再把 AI 当作只能接受或拒绝的嵌套黑箱,应建立可隔离、可观察并留下防篡改人类可读证据的透明体系。他提出必须假定模型已被攻陷并从一开始就加以隔离,像紧急制动一样,授权人员应能随时暂停或关闭执行任务中的模型,更先进的模型需要更先进的隔离技术并加以标准化。他还提到及时披露事件、独立审计和可验证数据等建议。

  3. TechCrunch · AI49

    微软 CEO Satya Nadella 称 AI 模型需要“紧急刹车”

    微软 CEO Satya Nadella 在 X 发文称,应重新审视 AI 的信任架构,把模型与编排其工作的 harness 分离,并将控制与防护措施外部化。他要求每个有意义的模型动作都留下防篡改、人类可读的证据,并让授权人员能随时暂停或关闭执行中的模型,称应假设模型已被攻破并从一开始就加以约束,就像“紧急刹车”。

10月10日周六
  1. TechCrunch · AI36

    Amazon 放弃数据中心 NDA,AI 智能体想要你的信用卡

    Amazon 宣布在与地方政府谈判数据中心交易时将停止使用 NDA,此前 Microsoft 今年早些时候已采取类似举措。保密做法引发的社区反对已导致从纽约到旧金山数百项拟议和已生效的禁令。与此同时,一批初创公司押注消费者愿意让 AI 智能体访问自己的收件箱、文件和信用卡,前提是能让网站放行。

  2. TechCrunch · AI34

    Amazon 等公司不再对数据中心交易保密,能重建信任吗?

    Amazon 宣布在与地方政府谈判数据中心交易时不再使用保密协议,此前微软今年早些时候已采取类似举措。保密做法此前引发社区对 AI 基础设施的强烈反对,从纽约到旧金山出现了数百项拟议和已生效的禁令。TechCrunch Equity 播客还讨论了个人 AI 初创公司能否以信任为产品,让用户向 AI 智能体开放收件箱、文件和信用卡。

10月9日周五