AI 项目失败清单:Character.ai、Ollie 等公司的关闭、转型与受挫案例
TechCrunch 盘点了 Character.ai、Ollie 等 AI 产品与创业公司的关闭、转型或未达预期案例,涉及资金、技术、竞争、扩张及需求问题。
TechCrunch 盘点了 Character.ai、Ollie 等 AI 产品与创业公司的关闭、转型或未达预期案例,涉及资金、技术、竞争、扩张及需求问题。
微软 Outlook 全球故障延续至 11 月 13 日,进入第二天,Copilot 等基于 Exchange Online 的服务仍受影响。受影响范围还包括 Teams 部分功能、SharePoint 和 Defender XDR,但核心 Teams 聊天和会议基本正常。
Microsoft Research Focus 第 98 期介绍了 AI 翻译、数学难题及编码智能体效率等研究进展。研究人员解决了历时 31 年的 KLS 猜想,并提出 COMPACTIONBENCH 和 APEC,后者在评测中将成本降低最多 25.4%、执行时间缩短 9.6%。Latent Core Tokenizer 在 104 种语言的评测中生成了更具语言意义的 token。
Microsoft 研究人员发现 Lazarus 后门技术,无需训练,仅改写 LLM 中不足 10 个休眠神经元,就能让 AI 智能体在隐藏触发条件出现时执行恶意命令。
推荐理由:研究将智能体后门风险具体落到模型权重完整性上,说明常规行为评测之外,核验原始权重与来源也是安全审计的重要环节。
Microsoft Research 用 PDD Kit 演示了对 Rust 全栈应用 Pet Store 登录逻辑的形式化验证,将开发者意图转为规范,再由 Verus 检查代码是否满足规范。
Microsoft 介绍了用于评估 Microsoft Copilot 的 Industry Evaluation Data Generation Platform,通过合成企业环境模拟真实业务场景。平台利用 O*NET、在线招聘信息和 SEC 文件等公开数据,并通过自动化查询生成和内容安全检查构建评估数据,无需使用客户数据。
Microsoft Research 介绍 Flint-interactive,让用户和 AI 智能体以高层规范创建支持点击、筛选、缩放、高亮和跨图联动的数据可视化。
Microsoft Research 的 Xinzhi Zhang 与合作者 Zhao Song 证明了提出已 31 年的 KLS 猜想,将高维对数凹分布的相关几何界限收紧至不依赖维度的常数。
推荐理由:研究者逐轮筛选智能体搜索方向,并与相近 token 预算的无引导尝试对照,为理解数学研究中的人机分工提供了具体案例。
GitHub 采访了 3 位 Java Champion,介绍他们使用 GitHub Copilot 开发功能、迁移资料和排查缺陷的实践。
推荐理由:案例将提效落实为可迁移的工程方法,通过明确上下文、设置任务验收关卡并沉淀技能,让智能体执行与人工责任保持分工。
GitHub 讲解如何将 Copilot app 会话直接转入 VS Code,保留对话、代码改动和工作上下文。用户选择 Open in VS Code 后,编辑器会打开该会话关联的工作树,并在 Copilot 侧栏显示原有会话,支持逐行审查差异、继续对话、手动编辑和本地测试。完成修改后,在原分支提交并推送即可更新关联的拉取请求,无需复制文件或重新关联工作。
GitHub Copilot app 入门教程讲解如何结合自定义指令、智能体技能、自定义智能体和 MCP 服务器,让 Copilot 理解项目规范并执行相关工作流。
GitHub 介绍与 Microsoft Applied Sciences 合作构建的 ModernBERT 分类器,将推送保护扩展至非结构化密钥,批量评估候选密钥耗时低于 2 毫秒,可使能提前阻止泄露的密钥数量增加至两倍以上。
推荐理由:九个季度的数据未显示单次推送的密钥泄露比例明显上升,将防护重点从要求开发者更谨慎转向扩大自动预防与处置能力。
GitHub 开放 AI 代码审查基准 ReviewBench 的研究预览版,提供公开数据集、评估方法、自助运行工具和排行榜。基准参考 103.9 million 个 GitHub 拉取请求的分布,收录来自 187 个公开开源仓库、覆盖 19 种语言的 219 个拉取请求,并使用 Claude Sonnet 5 按统一标准评判问题,资深工程师独立复核的一致率为 96.6%。