中国数学家攻克世界级数学难题！中国科学多模态大模型立功
大湾区大学许地生团队借助国产多模态大模型与 Harness 系统，经人机协同攻克困扰数学界 30 年的三维 Ghys 猜想，北大团队用 Lean 完成 55 万行代码形式化验证，首次实现中国大模型破解世界级数学难题。
按来源浏览
资讯库
2026-10-26 AI 论文简报
本期简报收录 65 篇 AI 领域科研资讯，涵盖大模型推理、多模态学习、视觉导航、3D 视觉与科研工具等主题，重点介绍 Open-o3-Video-v2、MERIT、Memory Mosaics、VLA/WAM/Harness 关系、AirPlayground、CausalDrive、工业质检经验及 AI 商业化趋势。
Artificial Analysis 发布 Intelligence Index v5，Claude Opus 5.5 以 58 分居首
Artificial Analysis 上线 Intelligence Index v5，新增 2 个基准（Cognition 的 FrontierCode 2.0 和 Terminal-Bench-Science）并升级 3 项，60% 的指数基于私有测试集。
Polymathic AI 与普林斯顿等机构发布 FlashMap，以 flow map 起草器实现最高 6.14x 无损解码加速
Polymathic AI、普林斯顿大学、USC ISI、NYU 与 Flatiron Institute 的研究者发布 FlashMap，一种投机解码起草器，用连续 flow map 替代离散扩散起草器，1 次 forward pass 联合起草 16 个 token 的完整块，输出与目标模型严格一致。
每人每年 140 万美元，Anthropic 用 5300 人疯狂给未来加注
花叔深度解读 Anthropic S-1 招股书：营收疯涨至单季百亿、900% 净收入留存、66% 算力押注下一代模型、人均成本 140 万美元，揭示其激进的「全押未来」商业逻辑。
Datawhale 招人啦！多个岗位开放中！
Datawhale 正在招聘活动运营、测试、AI 产品技术（Agent 方向）、前端开发和后端开发等多个岗位，要求候选人接受杭州线下实习，并具备相关专业背景和实习经验。
胡润富豪榜显示 AI 助推中国新一代科技富豪：张一鸣以 997 亿美元居首
胡润百富榜显示 AI 助推中国新一代科技富豪：字节跳动张一鸣以 997 亿美元居首，DeepSeek 梁文锋以 417 亿美元排第 7，宇树王兴兴身家 103 亿美元。作者称西方读者可能不了解，中国没人想当首富，因为会带来过多关注，公关团队会努力让老板下榜。
WorkBuddy 跨平台搜岗并定制简历
不用再逐个刷招聘网站。 WorkBuddy 能跨多个平台搜索，将职位与你的经验匹配，并帮你针对值得申请的岗位定制简历。 找到匹配的岗位，再让简历更贴合它。
xAI 推广 Grok Bot 智能体
试试 Grok @Bot
蚂蚁 inclusionAI 发布 UBTree 项目页：用 Unigram 与 Bigram 模型并行树草稿加速投机解码
蚂蚁 inclusionAI 上线 UBTree 项目页，介绍其用 Unigram 与 Bigram 模型做并行树草稿的投机解码方法（arXiv:2609.39972）。页面用 Ling3 Tiny 与 Flash 的 HumanEval 示例视频对比 AR、DFlash、DSpark 与 UBTree 四种方法，并附基准图表与消融数据。
ASIC 设计企业智原收获 AI 芯片开案：三星 2nm，3D 堆叠 DRAM
IT之家 10 月 28 日消息，芯片 IP 与设计服务企业智原科技 (Faraday Technology) 昨日在企业 2026Q3 财报中宣布获得美国客户重要开案， 设计制程、设计复杂度、NRE 金额、先进封装均创下公司记录 。 IT之家获悉，这是一款面向云端的 AI 芯片，同时支持 FP64 计算（应兼顾 HPC 任务）。
卡兹克分享让 Claude 指挥 Codex 操控浏览器的 CLAUDE.md 规则
作者因担心封号未安装 Claude 浏览器插件，改为在 CLAUDE.md 中写规则让 Claude 指挥本地 Codex 应用操控 Chrome。
DeepSeek-V5 占位符现身 Harness 代码库，为新一代大模型提前铺路
IT之家 10 月 28 日消息，昨日晚间，有开发者在 DeepSeek Harness 官方 GitHub 代码库中发现了一组此前未出现过的 DeepSeek-V5 模型标识符。
全网疯传！终于轮到我用 Agent 卷别人了
本文介绍了三套用于学习和研究 AI Agent 的资源：一个包含 70 多篇论文的合集，涵盖 8 个研究方向；一个包含 5 本书籍的合集，从基础概念到高级设计模式；以及斯坦福大学的 CS329Z 课程，专注于 Agent 的工程实践。这些资源旨在帮助 AI 方向的硕博学生找到研究选题，并学习如何构建和评估 Agent 系统。
MiniMax H3 生成 1971 年灵魂乐
在另一个 1971 年的平行时空里，这曾是一首灵魂乐经典。🫡
字节跳动开源 Go 语言 LLM 应用框架 Eino
字节跳动 CloudWeGo 团队开源 Eino，一款面向 Go 语言的生产级 LLM 应用框架，解决 Python 生态垄断下 Go 开发者缺乏规范化 Agent 与大模型开发工具的痛点。
智元预告 2026 智元创新日：倒计时 1 天
智元宣布 2026 智元创新日进入倒计时 1 天，活动定于 10 月 29 日举行，直播预约已开启。官网同期列出远征 A3 Ultra、灵犀 X2、精灵 G2、Genie Studio 具身智能开发平台等产品线。
智元创新日直播预约开启：10月29日见证智元技术跃迁
智元（AGIBOT）开启 2026 智元创新日直播预约，活动定于 10 月 29 日举行，官方称其为“技术跃迁新时刻”。官网同期列出远征 A3 Ultra、灵犀 X2、精灵 G2、Genie Studio 具身智能开发平台及灵渠 Link-U OS 等产品线。
LangChain 开源 Content Studio 设计 Agent 的四个月实践详解
作者详解 LangChain 开源的 Content Studio（Slack 里的 Design Agent）四个月实践，核心是把设计师判断写进 skills、wiki 与代码门禁，用沙箱电脑和异步子 Agent 撑住长任务。
Google DeepMind 发布 Genie 4 实时世界模型，原生生成音频并由 Gemini 3.8 Flash 在循环中规划
Google DeepMind 发布 Genie 4 世界模型研究预览，可从文本和图像提示实时生成可探索世界，并原生生成环境音、音乐和角色对话。架构上由 Gemini Omni 锚定世界外观，Gemini 3.8 Flash 在模拟循环内解释提示、拆解目标、校验帧并重规划。
Gavin Baker称Grok Bot最具影响力
Grok @Bot 太棒了 （引用推文要点：Gavin Baker 称 Grok Bot 是他及其公司迄今用过最具影响力的 AI 产品，并表示自己已用到 17 个 Grok Bot。）
Grok Bot 获用户盛赞推荐
雇用 Grok @Bot，你不会后悔的
让编程智能体使用已登录 Chrome 的六种方案实操指南
Browser Use 作者整理了让 Claude Code、Codex、Gemini CLI、Cursor 等编程智能体使用已登录 Chrome 的方法：Claude 订阅用户可用 claude --chrome 的 Claude in Chrome 扩展。
CVE Tracker 可视化：AI 成放大器，2026 年漏洞报告数量陡增
开发者 @0x_Osprey 制作网页 CVE Tracker，用趋势图追踪已获 CVE 编号的漏洞数量，显示 2026 年以来报告数量陡峭上升，并可对照主流 AI 模型发布时间。该媒体认为 AI 正成为安全研究的“放大器”，能更快扫描代码、复现异常并整理报告；但报告变多不等于系统更危险，低质量或重复报告会加重开源维护者和安全团队的分诊压力。
Anthropic 要 IPO 了，帮大家总结了一下招股书里 11 个有趣的细节。
Anthropic 递交 IPO 招股书，计划募集 1000 亿美元、估值 1.5-2 万亿美元创人类历史纪录，作者从招股书中提炼出 11 个有趣细节，包括夸张的增速、807 亿会计亏损、7 美元控制权、900%净收入留存率等。
三套 Agent Skills 组合复刻顶级 iOS App 设计
作者介绍一组用于逆向学习顶级 iOS App 设计的 Agent Skills 组合：Appllama Skills 提供头部 App 设计库与建造门槛（MCP 属 Pro 计费，设计技能可单独装），Expo Skills 覆盖框架与 EAS 上架等官方工程实践，Emil Kowalski Skills 把动效易错点写成可执行规则，星标远高于另两个。
Addy Osmani 讲解如何上手 Claude Code Mods
Addy Osmani 发布 Claude Code Mods 上手指南，说明 mods 是运行在会话中的 JavaScript/TypeScript 文件，可通过 hooks 观察事件、改写行为或渲染自定义界面。
Grok @Bot 如同聘请优秀员工
Grok @Bot 就像聘请了一位出色的员工
OpenAI 预告明日有好消息
搞定了。明天见，会有好消息。
Anthropic 最新长文：请谨慎使用子智能体！
Anthropic Applied AI 团队实测发现「单 Agent + Skills」架构在输出质量、成本和延迟上优于复杂的多子 Agent 架构，并给出了基于上下文独立性判断子 Agent 去留、四步迁移至单循环及跨团队协作的完整工程指南。