2026-10-28
数十 agent，24 天挑战数学界巨型工程，还揪出 40 年前漏洞
AI 数学公司 Axiom Math 利用数十个 AI Agent 在 24 天内完成了人类耗时数十年、长达 1.5 万页的「有限单群分类定理」的 Lean 形式化工作，生成了 4310 万行代码，并成功揪出了 40 年前的数学论证漏洞，甚至辅助构造了新的群论证明。
主题
第 20 页
2026-10-28
Meshy 接入 MCP for Blender
把你的 Meshy key 带到 MCP for Blender 🔑 向你的智能体要一个模型，它就会落到你的 Blender 场景里，带好纹理，按真实世界比例站在地面上。 由 @sidahuj 内置到 MCP for Blender 中 👇
2026-10-28
Personal Agent走向真实任务，蚂蚁百灵开源 Ling-3.1-flash-1019
Personal Agent走向真实任务，蚂蚁百灵开源 Ling-3.1-flash-1019 · · Oct 28, 2026 10月28日，蚂蚁集团旗下百灵大模型正式开源 Ling-3.1-flash-1019。
2026-10-28
MiniMax M3.1 Flash 直播活动预告
💬 明天与 Fireworks AI 直播：MiniMax M3.1 Flash。 欢迎带上你的智能体想法、集成问题，或任何一直想问的事，来和 MiniMax 的 @VictorSuOrtiz 以及 @FireworksAI_HQ 的 @sophiamyang 交流。
2026-10-28
Sundar Pichai 用 AI 智能体管理 Google
Sundar Pichai 描述了他用来跟进 Google 动态的各类智能体，以及智能体现在如何决定哪些计算信号能传达到 Sundar Pichai 本人。 --- @alexeheath 与 Google CEO Sundar Pichai 的播客
2026-10-28
HuggingFace Training Agents IRL 四场分享：工业界训练 Agent，环境、评测与奖励比模型更难
邵猛整理 HuggingFace 免费课 Training Agents 的线下系列活动（四场分享、圆桌与问答），涵盖 Microsoft 企业 RL、Mercor 环境与评测计量学、RadixArk Miles 异步 Agent RL 和 BenchFlow OpenEnv Arena。
2026-10-28
ai-app-playbook 开源：用 Coding Agent 按固定栈做出能赚钱的消费级 AI App
邵猛介绍 @blakeandersonw 开源的 ai-app-playbook，一份给 coding agent 执行的操作规程，覆盖选品、搭建、上架到首月盈利，技术栈固定在 Cloudflare 全家桶。
2026-10-28
Google 的世界模型 Genie 4 正式发布，这一次，世界终于要活过来了。
Genie 4 是 Google 的最新世界模型，它通过实时生成视觉、声音和动态变化，让用户能够与一个持续演化的虚拟世界进行互动。该模型在画质、物理交互、世界一致性和音频生成方面都有显著提升，并与 Gemini 智能体协同工作，以确保生成的场景符合预期的逻辑和目标。
AI Agent 联网搜索可靠性：Search API 与引用验证
本文提出 AI Agent 联网搜索的工程可靠性框架，主张将 Search、Fetch、Answer 拆解为独立可审计环节，建立断言级引用验证与拒答机制，并给出最小回归测试协议与计费核算模型。
2026-10-28
Indigo Talk EP43 畅谈前沿科技与太阳系文明路线图
Indigo 称一张图完整覆盖了 Indigo Talk EP43 与郑迪对谈的话题，包括芯片与计算、机器人与制造、实验与材料、可信的 Agent 与新经济、运输与太空、生命科学与人机共生，最终指向 Kardashev Type II 太阳系文明。推文以 2077 反推 2027 的视角讨论投资前沿科技，并估计按此速度百年内可实现。
2026-10-28
Axiom 智能体集群用 24 天完成有限单群分类定理的机器验证
作者称 Verified AI 迎来标志性月份，Axiom 的 AI 智能体集群用 24 天完成数学史上最长证明的验证，将跨越 500 多篇论文的 15,000 页有限单群分类定理（CFSG）转化为 3800 万行以上机器验证代码，并发现已发表记录中的 34 处严重出入。
2026-10-28
Nace AI 的 Drex 登顶 Snowflake MADQA 榜首
Nace AI 的 Drex for Search 已登上 Snowflake MADQA 排行榜榜首。Drex for Search 是一款搜索工具，可让 AI 智能体在公司文件中找到精确答案，并显示来源页面。 > 它在 MADQA 基准的 500 道基于文档的问题中正确回答了 94.7%。
2026-10-28
fal 万圣节怪物创作大赛开启，赢家作品进预告片
fal 启动 Faloween 创作大赛，参赛者可用 fal 上任意图像模型或 fal Agent 生成原创怪物，48 小时内发布到 Instagram 或 X 并 tag @fal、加 #faloween 即可参赛。
2026-10-28
Jev Router 用单一 MCP 接入万级工具与模型
aimlapi 推出 Jev Router，将 10,000+ 工具和模型接入单个 MCP server，由 Typesafe 的 Jev 为每个任务挑选执行方，智能体只需连接一次即可拿到结果。官方称其每美元可完成的任务量是 Claude 的 28 倍，每分钟答案数是 Claude 的 4 倍，成本比 Claude 低 96%。
2026-10-28
Cursor design mode 推出 Annotate 标注功能
作者转发 Cursor 官方公告并称其为设计师的梦想。Cursor 在 design mode 新增 Annotate 功能，可让智能体接收视觉提示：编辑页面元素、在页面上绘制标注，并在不同屏幕尺寸下审查设计。
2026-10-28
别学编程了！Anthropic CEO 直言：代码工作快速消失，人类应该学弹钢琴
如果说，当今世界有人能看清人类未来十年的走向，Dario Amodei 绝对是其中之一。 他曾接受了一场非常深入的访谈。在这场对话中，他坦诚分享了自己对未来的预测 —— 「 AI 海啸正向我们扑来，近在咫尺。但整个社会却假装那只是海市蜃楼。
2026-10-28
刚刚，谷歌发布 Genie 4：输入一句话生成可玩的世界，能用键盘逛，NPC 还能说话
谷歌推出 Genie 4，一个基于 Gemini 的世界模型，能生成照片级真实感的交互式场景，支持实时键盘控制、动态音频和 NPC 对话，用于测试机器人和智能体在虚拟环境中的行为。
2026-10-28
Jev Router 为智能体挑选工具
有没有想过你的智能体其实在充当工具？ 不如让 Jev 为任务递上合适的工具！
2026-10-28
Cartesia Managed Agents 语音智能体 Elo 达 1115
Cartesia Managed Agents 在 Artificial Analysis Speech Agent Arena 上取得 1115 的 Elo，比此前的语音智能体产品 Cartesia Line（1017）高 98 分，任务成功率从 77.5% 提升至 91.7%。
2026-10-28
特拉华州拟允许 AI 智能体经营公司，美国众议员调查其免责风险
美国众议院监督委员会主席 James Commer 致信特拉华州州长，要求提供该州 AI 公司（AIC）提案的相关文件，称该提案可能让企业主逃避 AI 鲁莽行为造成损害的法律责任。
2026-10-28
美国银行提醒客户不要向 AI 助手共享银行账号密码
美国银行向客户群发题为“在 AI 世界保护你的财务”的邮件，提醒客户永远不要把用户名和密码交给他人或外部服务，包括声称能代你操作的 AI 工具或智能体。邮件指出共享凭据可能让 AI 未经知情操作资金、触发银行风控锁号，或因 AI 助手安全漏洞导致凭据泄露；并强调一旦共享凭据，由此产生的操作后果由客户自行负责。
2026-10-28
开源软件分发需适配智能体修改
感觉需要一种新的开源软件分发方式，让人们可以通过智能体进行修改，同时又能自动合并上游更新 编程智能体可以做到这一点，但它们不会自动去做
2026-10-28
Cursor 设计模式新增标注功能
Cursor 的设计模式现已支持标注功能！ > “设计模式让用户可以通过在运行中的应用上留下注释来指导智能体。” 有了这些工具，Web 开发将彻底改变。
2026-10-28
Concurrence 推出健康世界模型
前身为 Amigo 的 Concurrence 推出了其新的健康世界模型（Health World Model）。 该模型为每位患者维护一条独立且实时更新的时间线，数据来自机构的记录以及其 AI 智能体在就诊间隔期从患者反馈中收集的信息。 据 Concurrence 称，WHM 还能帮助护理团队在决定下一步方案前，更好地了解此前对类似患者哪些治疗曾奏效。
2026-10-28
Cursor design mode 新增 Annotate 功能
Cursor 在 design mode 中新增 Annotate 功能，让智能体接受视觉提示。用户可以编辑页面元素、在页面上绘图标注，并在不同屏幕尺寸下审查设计。
2026-10-28
Databricks 为 Genie Code 推出医疗与生命科学 Vital Skills 技能包
Databricks 为编码智能体 Genie Code 推出 Vital Skills 技能包，以开放 Agent Skills 标准封装医疗与生命科学领域的专家方法论。
2026-10-28
Anthropic 工程与产品负责人访谈：如何用 Claude 构建 Claude 并分离智能体的脑与手
Latent Space 播客采访 Anthropic 工程负责人 Katelyn Lesse 和产品负责人 Angela Jiang，探讨 Opus 5.5 发布一个月后的团队工作方式。
2026-10-28
Latent Space 访谈 Anthropic 工程团队：如何把 Claude 模型大脑与智能体执行分离并安全上线 Opus 5.5
Latent Space 发布对 Anthropic 的 Katelyn Lesse 和 Angela Jiang 的访谈，介绍 Claude Platform 背后的工程实践，包括发布 Opus 5.5、把模型大脑与智能体执行环境分离、扩展 API 和构建可靠的托管智能体。
2026-10-28
ElevenLabs 风洞测试语音智能体
每个语音智能体都得在电视声、狗叫声或大奖赛看台的嘈杂中听清客户说话。 我们想试试更吵的环境，于是借用了 @audif1_ 的风洞。 抱歉吵到你了，@HulkHulkenberg。
2026-10-28
Arena Agent Mode 上线 Connectors 功能
Arena 宣布 Agent Mode 现已支持 Connectors，用户可在单个任务中接入 Vercel、Linear、GitHub、Supabase、Notion、Gmail、Google Drive、Google Calendar 等真实工具，端到端完成更复杂的实际任务。首批服务来自社区构建者最常请求的清单，后续将持续扩充。
