共 6 篇文章
REA（Reverse Engineer Anything）**单日 +25,599 stars / 累计 12 万 / 登顶 GitHub Trending #1**。**让 AI Agent 无需源代码就能研究商业 App**——通过 **MCP 接口**把 Hopper / Ghidra / IDA 等逆向工具暴露给 AI Agent。**3 阶段**：Decompile（反编译）→ Understand（理解）→ Recreate（重新实现）。**支持目标**：桌面二进制 / JS / Electron / .NET / Android APK / iOS...
OpenAI 发布 722 篇 AI 数学手稿不到 24 小时因"一个符号错误"撤回 3 篇（致 1 篇论证失效 + 2 篇构造失效），并修订另外 14 篇。康奈尔 Alex Townsend："一个错误连锁导致 3 篇不意外，怀疑还会发现更多"。人类数学协会（AHM）10-07 声明"数学家没要求做这项工作……我们敦促数学家停止与 OpenAI 合作，回归以人类理解为中心"，陶哲轩全文转载。克莱数学研究所所长 Martin Bridson（牛津）
腾讯 WorkBuddy 发布第三波"AI 时代 Office"——独立文件浏览器。右键本地文件 → WorkBuddy 打开 → 左侧看文件、右侧叫 AI，改完直接保存回原文件。"办公三件套"入口从对话框走向你电脑里的每个文件。三波进化：7 月底人机双写（AI 进文档跟你一起改）/ 8 月中 HTML 人机双写 / 这次独立文件浏览器（右键入口）。文件支持 Office 三件套 / PDF / Markdown / HTML / TXT / 图片 / 音频 + 腾讯文档在线文档，可设默认双击。
2026-08-30，菲尔兹奖得主 Hugo Duminil-Copin 在博客里感慨"最著名的概率论猜想倒在 AI 推土机轰鸣下只是时间问题"，几乎同时 Anthropic 工程师 Justin Leder 在 GitHub 上传了 Claude 自动生成 + Lean 形式化严格验证的代码，70 年概率论圣杯——渗流连续相变猜想——被 AI 证明。猜想核心是 p=p_c 临界点上无限大连通网络能否形成（=0 连续 vs >0 突变），1980 年 Harry Kesten 2D 证明到 p_c=1/2，11 维及以上高维同样连续，3-10 维中间维度 70 年未解。
OpenAI 一夜公开 722 篇数学手稿，全出自一个未发布的内部模型，归成 372 组结果，对应约 4000 个研究问题，平均每项算力约等于 ChatGPT Pro 思考 3 小时，论文+ 源码 + 部分 Lean 证明 + 10 份推理摘要全部上 GitHub。三道千禧难题被同时下手：H003 准黎曼猜想（声称 ζ 函数与所有 Dirichlet L 函数在实部大于 7/8 区域无零点，把无区突破度推进一截；另一版给出实部大于 11/12 + 一致排除 Siegel 零点）
⭐ **亚马逊 Strands Agents 团队（2026-10-01）开源 Strands Decider 2B 决策模型** —— ⭐ **基于 Qwen3.5-2B "躯干"** + ⭐ **评分功能指针"头部"**（替换原文本生成头，总参数 ⭐ **仅略超 100 万**）+ ⭐ **rank-16 LoRA 微调**。JevBench ⭐ **2B 级排名第 3** / 优于所有 ≤2B 对手。本地 ⭐ **113ms 决策时延** / RTX 3090 小型决策 ⭐ **153ms 中位数**。