OpenAI 数学仓库爆火，Rust 重写全家桶来了
OpenAI 的 Lean 数学仓库一骑绝尘，Rust 重写办公软件成新潮流
本周 GitHub 近 7 天新建热门仓库合计约 43,000 stars。openai/math 以 13,681 stars 断层领先；storytold 一口气推出 wordcraft、cadcraft、gridcraft、deckcraft 四个纯 Rust 重写项目；AI Agent 落地渗透测试与真机操作，本地化、开源替代是本周主线。
本周 GitHub 最火的趋势是：OpenAI 官方下场数学形式化 + 纯 Rust 重写经典软件。15 个热门新仓库合计约 43,000 stars，其中 openai/math 一个项目就占了近三分之一。另一个值得注意的信号是 storytold 这个组织一周内连发四个 Rust 重写项目（Word、AutoCAD、Excel、PowerPoint），加上 AI Agent 在安全攻防和真机自动化上的落地，"本地优先、开源替代"的味道非常浓。
openai/math 🔥
⭐ 13,681 stars
OpenAI 官方新建的 Lean 语言仓库，本周新仓库中断层第一。Lean 是数学形式化验证的语言，OpenAI 入场意味着 AI 辅助定理证明可能成为下一个被认真对待的方向。对做形式化验证、AI for Math 研究的人来说，这是直接可以盯的源头仓库——官方仓库通常意味着后续会有论文、数据集或工具链跟进。
快速上手：直接 clone 阅读结构和文档，关注 issue 区的讨论方向。
bash git clone github.com/openai/math.git ``n 仓库地址：openai/math
storytold 的 Rust 重写全家桶
⭐ wordcraft 3,186 / cadcraft 1,867 / gridcraft 1,852 / deckcraft 1,417 stars
同一个组织 storytold 一周内发了四个 clean-room 重写项目：wordcraft（Word）、cadcraft（AutoCAD 风格）、gridcraft（Excel 风格）、deckcraft（PowerPoint）。全部纯 Rust。
为什么值得关注：单个项目看是"又一个克隆"，但四个一起看就是一个信号——Rust 生态正在从基础设施向终端应用层渗透，而且 clean-room 实现规避了法律风险。如果你想做桌面应用又怕 Electron 的内存占用，这四个仓库都是现成的架构参考。
适合谁：想学 Rust GUI 应用架构的开发者、想做办公软件替代品的团队。快速上手路径：先读 gridcraft（电子表格的计算引擎是四个里最有技术含量的部分），再看 wordcraft 的文档模型。
mhtsec/ARTEX
⭐ 2,916 stars
AI 自主渗透测试系统，百度 "agent+" 攻防挑战赛冠军项目，Go 编写。与传统的扫描工具链相比，它的差异点在"自主"——由 Agent 驱动整个渗透流程，而不是人拼脚本。
适合谁：红队工程师、安全研究员、做攻防平台产品的团队。快速上手：clone 后先看 README 里的架构说明，再跑一个靶场环境验证 Agent 的决策链路。
仓库地址：mhtsec/ARTEX
zhongerxin/iPhone-use
⭐ 2,559 stars
让 Codex 通过 USB 操作真实 iPhone：引导安装、App 自动化、实时屏幕与截图回退。与模拟器方案相比，真机操作能覆盖推送、传感器、真机性能这些模拟器测不到的场景。
具体使用场景：如果你在做 iOS App 的自动化测试或想让 AI Agent 帮你跑真机回归，这个项目比纯 Appium 脚本好在 Agent 可以根据屏幕反馈动态决策。
nullmoth/nvidia-macos-driver
⭐ 2,294 stars
为 macOS 15 Sequoia（Intel / OpenCore）写的 NVIDIA RTX 显卡 Metal 驱动，免费、含源码。老 Mac 用户被苹果切断 NVIDIA 支持多年，这个项目直接把"旧机器续命"这条路打通了。
适合谁：持有 NVIDIA 显卡的 Intel Mac + OpenCore 黑苹果/老白苹果用户。快速上手：确认你的 macOS 版本是 15 Sequoia 且走 OpenCore 引导，再按仓库文档安装。
仓库地址：nullmoth/nvidia-macos-driver
LosaLosSantos/aurelio-finance
⭐ 2,094 stars
开源个人财务应用，内置 AI 财务顾问，在本地电脑上追踪净资产、投资、ETF、现金和债务。与云端记账应用相比，核心卖点是数据不出本机——财务数据是最不该上云的数据之一。
适合谁：想统一管理投资组合又在意隐私的个人用户、想二次开发的 Python 开发者。
仓库地址：LosaLosSantos/aurelio-finance
noahdunnagan/fsearch
⭐ 1,620 stars
macOS 全盘文件搜索：模糊文件名、容错、索引内容 grep，官方描述 800 万文件约 1ms。与 Spotlight 相比，它的差异点是模糊匹配和打字容错——你记不清文件名也能找到。
快速上手：clone 后按 README 构建运行，先用自己最常找不到的那批文件试一遍。
仓库地址：noahdunnagan/fsearch
t4t5/omdrop-owl
⭐ 1,437 stars
给非苹果设备的 AirDrop。跨生态传文件一直是痛点，微信传文件助手不是答案。Shell 编写，轻量。
适合谁：Android + Mac 混用、或家里设备生态混杂的人。快速上手：clone 后按 README 在两端配置。
仓库地址：t4t5/omdrop-owl
趋势判断
把本周榜单摊开看，三条线很清晰：一是大厂官方仓库直接引爆（openai/math）；二是 Rust 应用层爆发（storytold 四连发 + fsearch + nvidia-macos-driver，本周 15 个项目里 6 个是 Rust）；三是 AI Agent 从聊天走向动手——渗透测试（ARTEX）、操作真机（iPhone-use）、财务顾问（aurelio-finance）。Agent 的价值不在对话，在执行，这周的项目在验证这件事。
来源与延伸阅读
接下来值得继续跟踪
- openai/math 后续是否发布配套论文、数据集或工具链——这是判断 AI for Math 是否进入产品化阶段的信号。
- storytold 四个 Rust 项目能否维持迭代：观察指标是 30 天内的 commit 频率和 issue 响应速度，一周四发的项目存在弃坑风险。
- ARTEX 和 iPhone-use 的实际可用性尚未验证，建议在隔离靶场/备用设备上测试后再评估生产价值。
- nvidia-macos-driver 需要确认支持的显卡型号范围和稳定性，安装前务必备份系统。
相关文章
OpenAI 开源数学库狂揽 1.3 万星
本周 GitHub 近 7 天新建热门仓库合计约 4.4 万 stars。最大亮点是 openai/math 以 13,083 星一骑绝尘；storytold 用纯 Rust 连发 Word、Excel、AutoCAD 三款 clean-room 重写项目；AI Agent 落地渗透测试、iPhone 控制与个人理财，安全与自动化成为主线。
2026-10-09OpenAI 开源数学仓库引爆本周 GitHub
本周 GitHub 新建热门仓库合计约 27,000+ stars。OpenAI 的 Lean 数学仓库以 12,100 stars 一骑绝尘；AI Agent Skill 类项目（艺术动画、HTML 回答、应用克隆）密集上榜，加上 Rust 重写 Word/AutoCAD，反映出 Agent 技能化与 clean-room 重写两大趋势交汇。