每日科技/AI 摘要 2026-10-12

今日共采集 90 条，新增 42 条，科技/AI 相关 33 条，深挖 8 篇。

比Jev更爆火！逆向灭霸 REA 一天登顶GitHub

来源：36氪 · 一句话：逆向工程 MCP 工具三天近 8 万 star，已破 10 万

• 要点：
  • REA（Reverse Engineer Anything）是一个 MCP 服务，把 LLM（Claude Code/Codex 等）与 Ghidra、Hopper、JADX 等逆向工具桥接，可分析原生二进制、Electron/JS 应用、APK、WASM、EVM 字节码、固件等，分析全部本地进行并附证据
  • 增速超过年初的 OpenClaw（第三天累计新增 6 万 star，REA 第三天近 8 万）；36氪称其 5 天 star 数超过 10 万，登顶 Trending
  • 已核实其 GitHub 仓库现为 101k star、MIT 协议；README 强调合法逆向研究与合规责任，并声明未发币、与同名代币无关
• 扩展资料：
  • REA: Reverse Engineer Anything（GitHub） — 官方仓库，核实 star 数与功能范围（原生/JS/.NET/APK/网络抓包/固件等）
  • 登顶 GitHub 的 REA…（编程充电站） — 同题第二源：普通开发者视角的逆向工程民主化叙事

H-JEPA！LeCun世界模型创业交卷，代码权重全部开源

来源：量子位 · 一句话：LeCun 公司 AMI 开源分层世界模型，规划成功率 18%→73%

• 要点：
  • AMI（Advanced Machine Intelligence）联合 NYU、巴黎 INRIA、布朗大学发布 H-JEPA 分层世界模型：高层潜空间规划、低层执行，端到端训练
  • 在 Visual AntMaze 上三层 H-JEPA 成功率 73%，单层 JEPA 仅 18%，且规划计算更少；可扩展到 DROID 真实机器人视频
  • 论文与代码权重全部开源；AMI 由 LeCun 任董事长（LeBrun 任 CEO、谢赛宁任首席科学家），今年 3 月融资 10.3 亿美元（投前估值 35 亿）
• 扩展资料：
  • H-JEPA 论文（arXiv 2610.06805） — 已核实：作者含 Yann LeCun，18%→73% 数据与中文报道一致
  • VentureBeat 报道 — 英文源核实开源事实与 AMI 融资背景

何恺明团队发布多模态Harness框架

来源：量子位 · 一句话：VISTA 视觉框架让多模态模型获得无损视觉记忆与主动检索

• 要点：
  • 何恺明团队提出 VISTA：为通用多模态模型提供「长时程视觉」的视觉原生 Harness——以原始形式无损保存历史观察，推理时主动检索并重组视觉输入
  • 在 ARC-AGI-3 上把 Claude Opus 5.0 的 Relative Human Action Efficiency 从 40.68 提到满分 100，完成全部 25 个公开游戏，动作数比首次参与的人类少 57.4%
  • 已核实论文《VISTA: A Visual Harness for Reasoning in an Interactive World》（arXiv 2610.02200），作者 Qiushi Hu、Linlu Qiu、Cathy Wu、Kaiming He 等，10 月 1 日发布
• 扩展资料：
  • VISTA 论文（arXiv 2610.02200） — 原始出处，核实作者名单与 ARC-AGI-3 数据

Claude自己组队查Bug！11.6万行代码揪出66个，单Agent最高只找到27个

来源：36氪 · 一句话：Anthropic 测试：多 Agent 协作找 Bug 显著优于单 Agent

• 要点：
  • 36氪称 Anthropic 公布测试：在 11.6 万行代码中预埋 70 个 Bug，单 Agent 三次运行最高找出 27 个；Claude 动态组队（multi-agent workflow）三次运行每次都找出 66 个
  • 该结果若属实，是「multi-agent 协作 > 单 agent」在真实代码库上的又一实证，与 2025 年 Anthropic 多智能体研究系统一脉相承
  • ⚠️ 未核实：截至发稿未在 Anthropic 官网 engineering/news 板块检索到对应原文，数据以 36氪转述为准，建议看官方原始出处后再引用
• 扩展资料：
  • Anthropic 工程博客 — 官方源检索入口（本次未检索到对应文章）

微信全面 AI 化，28个小微入口最全盘点

来源：人人都是产品经理 · 一句话：小微至少 28 个入口覆盖微信全域，4 个已全量开放

• 要点：
  • 个人盘点（作者为产品经理，一手实测，非官方公告）：微信 AI 助手「小微」内测入口至少 28 个——首页主入口 1、聊天 5、朋友圈 5、公众号 6、视频号 2、听一听 2、图片 2、搜索 1、PC 端 4；微信历史上没有任何服务有过这么多入口
  • 至少 4 个已对全量用户开放：公众号文章 AI 摘要、搜索结果页长按问小微、PC 聊天记录右键问 AI、PC 内置浏览器问 AI；其余仍在灰度
  • 作者判断：小微的野心是「连接微信生态所有服务的入口」，叠加自动化/长期记忆/云端运行后就是 Personal AI Agent——观察角度值得自托管/Agent 方向读者关注
• 扩展资料：
  • 微信开放平台/官方公告入口 — 官方渠道（入口数量以官方后续公告为准，本文数据为第三方盘点）

陶哲轩：数学2.0时代已至！

来源：量子位 · 一句话：AI 让证明泛滥，建立在证明稀缺上的数学 1.0 即将落幕

• 要点：
  • 陶哲轩正式发文（10 月 9 日 Caltech 公开讲座「Math 2.0」为最新汇总）：AI 正让数学证明变得泛滥，数学界需从「证明稀缺」范式转向「证明充裕 + 消化瓶颈」的数学 2.0
  • 核心论断：问题求解将经历探索期、算法期、算力期、AI 期、协作期五个阶段；OpenAI 数学论文激增（如 Wang Hong Kakeya 猜想的 4 维扩展）是催化剂；陶已牵头成立人类数学协会 AHM，其联合声明获 25 位菲尔兹奖得主签署
  • 已核实其个人网站「Terence Tao on AI in mathematics」持续更新，含 Math 2.0 讲座、ICM 2026 演讲（arXiv 2608.16753）等原始材料
• 扩展资料：
  • Terence Tao on AI（个人官网） — 原始出处：Math 2.0（2026-10-09 Caltech 讲座）与 proof abundance 系列原文
  • 陶哲轩博客爆上热搜！25万数学博士临绝境（36氪） — 同题第二源：数学职业冲击与「必须放缓 AI」争论的展开

前腾讯AI Lab总监史树明再发一作，重新设计Tokenizer！

来源：智猩猩 · 一句话：CNF-MCE 取代 BPE：压缩率最高提升 60%+

• 要点：
  • 史树明（前腾讯 AI Lab NLP 中心总监）一作发表《Counting and Min-Cost Encoding for Tokenization in LLMs》：提出 CNF（计数与过滤）构建词表 + MCE（最小代价编码）做全局最优切分，摆脱 BPE 的贪心 merge 依赖
  • 实测：250K 词表下英文网页压缩率比 o200k_base / qwen250k 分别高约 26% / 30%；词表扩到 100 万条目时 token 效率提升超 60%，词表利用率 52.9%→96.9%
  • 用 CNF-MCE 从头训练的 1.8B / 8B 模型在 11 个基准上与 BPE 持平——压缩收益不以能力为代价；已核实论文 arXiv 2610.01127，并登上 ModelScope 热榜
• 扩展资料：
  • CNF-MCE 论文（arXiv 2610.01127） — 原始出处，核实作者与压缩率数据
  • ModelScope 热榜论文页 — 论文热度佐证

AI Coding 要不要先规划？AI 大佬给出了开发范式

来源：编程充电站 · 一句话：按需求规模选工作流：直接写、先澄清、先建决策地图

• 要点：
  • 介绍 Matt Pocock（Total TypeScript 创始人）的 Agent Skills 体系（GitHub star 286K，已核实）：小改动直接 vibe coding；规则没定用 /grill-with-docs 分轮追问业务规则并沉淀 GLOSSARY.md + ADR；跨模块大重构用 /wayfinder 先建决策地图、按依赖分多次会话逐个解决
  • 规划后用 /to-spec → /to-tickets → /implement 把决策转成规格、任务与实现；关键原则是「Skill 用来解决问题，不为用 Skill 而加步骤」
  • 核心结论：规划不是目的，减少错误决策与返工才是——按需求明确程度选入口，而不是一切皆规划
• 扩展资料：
  • mattpocock/skills（GitHub） — Skill 开源仓库，npx skills@latest add 可安装
  • /wayfinder 文档（AI Hero） — 决策地图工作流的官方说明

今日一句话

• 人大高瓴开源新型Agent世界模型 AEWM — 执行前编辑 Noisy 决策，Terminal-Bench 2.0 上 37.1%→48.3%（智猩猩）
• 谷歌下一代杀器 Gemini 4 Carbon 曝光，RSI 大招逼近 Opus 5.5 — 传闻类爆料，未核实，等官方发布（36氪）
• AI 大佬：Agent 组队干活，最强模型只完成 50% 任务 — multi-agent 基准评测暴露协作短板（36氪）
• GitHub 3.8K+ Star！终结多 Agent 复制粘贴，一套工作台打通 AI 全链路 — 多 Agent 工作台开源项目（AI开源求索）
• 一句话写完整端到端测试？开源 e2e 让 AI 自己点着 App 跑 — AI 驱动 e2e 测试，录制回放降成本（编程充电站）
• 别小看豆包，它现在这堆 Skill 和连接器，才是没用透的隐藏外挂 — 豆包 Agent 生态实测（老周讲AI）
• 都说国产AI不好用？你先把 Trae 这几个功能用懂 — Trae 深度用法实测（老周讲AI）
• 腾讯又一款AI产品即将消失 — 大厂 AI 产品整合裁撤动态（人人都是产品经理）
• Meta Muse：个人代理的价值，藏在聊天结束之后 — 个人 Agent 记忆延续性观察（VibeCoder）
• TypeScript 终于能编译成原生程序了？启动快 12 倍，运行却慢 7.5 倍 — TS 原生编译 AOT 实测，非 AI 但工程向值得关注（InfoQ）
• 最近很火的开源项目 DiPlay：让车机直接跑上 CarPlay — 车机逆向/自托管玩家新玩具（编程充电站）
• 给机器人换一个更快的动作专家：Discrete Forcing — 机器人动作生成新训练范式（编程充电站）
• 马化腾与姚顺雨罕见同框；阶跃首款智能体手机定档 — 阶跃智能体手机 11 月发布（创业家）
• WorkBuddy 上线了个浏览器，实测有点惊艳 — AI 浏览器赛道再添玩家（人人都是产品经理）
• 用不着Ctrl+F了！全新AI论文工具，帮你在原文献里海里捞针 — 文献内检索 AI 工具（量子位）
• 2GB 日志只看头尾还不够，我用 Go 做了个能跳着看的预览器 — 大文件日志预览小工具（编程充电站）
• python 全量打包的时代已经过去了？增量打包时代来临 — Python 打包工具链讨论（编程充电站）
• 川大吕建成团队拿下 NeurIPS 首篇图像篡改定位 Oral — 图像取证学术进展（智猩猩）
• 23岁00后押中AI风口，14人干到670亿 — AI 创业融资案例（人人都是产品经理）