OpenAI 开源数学库狂揽 1.3 万星
AI 巨头下场开源，Rust 重写办公三件套成新潮流
本周 GitHub 近 7 天新建热门仓库合计约 4.4 万 stars。最大亮点是 openai/math 以 13,083 星一骑绝尘；storytold 用纯 Rust 连发 Word、Excel、AutoCAD 三款 clean-room 重写项目；AI Agent 落地渗透测试、iPhone 控制与个人理财，安全与自动化成为主线。
你有没有发现，GitHub 趋势榜最近越来越像"AI 巨头 + 独立开发者"的双人舞台？本周近 7 天新建的热门仓库合计约 4.4 万 stars，一边是 OpenAI 官方下场，一边是个人开发者用 Rust 重写整个办公软件史。下面精选 8 个最值得关注的项目。
openai/math 🔥
⭐ 13,083 stars
本周绝对的霸主，一个用 Lean 编写的数学仓库，占了榜单近三成的 stars。OpenAI 官方出手，直接把形式化数学带进大众视野——这通常意味着 AI 与定理证明的结合正在从论文走向工程实践。仓库地址：openai/math。对关注 AI for Math、Lean 生态的人来说，这是必看项目；对普通开发者，它更像一个信号：形式化验证正在成为 AI 的下一个战场。
storytold 的 Rust 三部曲
⭐ wordcraft 1,882 stars / cadcraft 1,375 stars / gridcraft 1,184 stars
同一个组织 storytold，一周内连发三个纯 Rust 的 clean-room 重写项目：wordcraft（Word）、cadcraft（AutoCAD 风格 CAD）、gridcraft（Excel 风格电子表格）。与常见的"套壳 Web 应用"不同，clean-room 重写意味着从零实现功能逻辑，工程难度完全不在一个量级。三个项目合计约 4,400 stars，说明社区对"去巨头化的开源办公套件"有真实需求。适合 Rust 学习者当大型实战教材读。
mhtsec/ARTEX
⭐ 2,181 stars
AI 自主渗透测试系统，百度 "agent+" 攻防挑战赛冠军项目，用 Go 编写。与传统的扫描工具脚本不同，ARTEX 把整个渗透流程交给 Agent 自主决策——这代表了安全行业从"工具箱"到"AI 操作员"的转变。地址：mhtsec/ARTEX。红队工程师和 Agent 开发者都值得拆开看看它的任务编排方式。
nullmoth/nvidia-macos-driver
⭐ 1,863 stars
在 macOS 15 Sequoia（Intel / OpenCore）上给 NVIDIA RTX 显卡写 Metal 驱动，免费且开源。自 Apple 停止 NVIDIA 支持后，老 Mac 用户想用 N 卡基本靠社区续命，这个项目直接补上了最硬核的一块拼图。地址：nullmoth/nvidia-macos-driver。持有 Intel Mac + RTX 显卡的用户可以关注兼容性列表。
zhongerxin/iPhone-use
⭐ 1,757 stars
让 Codex 通过 USB 操作真实 iPhone：引导安装、App 自动化、实时屏幕与截图回退。与模拟器方案相比，真机控制能覆盖推送、传感器、系统弹窗这些模拟器永远测不到的场景。地址：zhongerxin/iPhone-use。做 iOS 自动化测试或 Agent 真机评测的团队可以直接评估。
LosaLosSantos/aurelio-finance
⭐ 1,554 stars
开源个人理财应用，带 AI 财务顾问，在本地电脑上追踪净资产、投资、ETF、现金和债务。与云端理财服务相比，"数据不出本机"是它最硬的卖点——财务数据恰恰是最不该上云的那类。地址：LosaLosSantos/aurelio-finance。适合注重隐私的个人投资者自部署。
Jakeschincariol/replica-skill
⭐ 1,381 stars
十一个免费的 Claude skills，可以克隆任意应用：逆向工程、重建、找 bug，再修掉用户最讨厌的部分，MIT 协议。它把"复制一个产品"变成了可组合的技能包，是 Agent Skill 生态走向应用层的一个样本。地址：Jakeschincariol/replica-skill。
noahdunnagan/fsearch
⭐ 1,172 stars
macOS 全盘文件搜索：模糊匹配、容错、索引内容 grep，号称 800 万文件约 1ms。与 Spotlight 相比，它主打"名字记不清也能找到"。地址：noahdunnagan/fsearch。注意：性能数据来自项目自述，实际体验需自行验证。
趋势判断
把榜单摊开看，三条线很清晰：其一，AI 巨头开始把基础设施（形式化数学、Agent skills）开源化，openai/math 是标志；其二，Agent 从聊天走向"动手"——渗透测试、操作真机、克隆应用，都在把决策权交给 AI；其三，Rust 重写浪潮从系统工具蔓延到办公软件，clean-room 成为新的社区叙事。三者叠加，指向同一个方向：软件的生产方式正在被重新定义。
来源与延伸阅读
接下来值得继续跟踪
- openai/math 尚未验证其与 OpenAI 模型产品的具体关系，观察后续 commit 与文档更新；
- storytold 三部曲的成熟度未知，可关注 issue 区是否出现可用性反馈；
- fsearch 的 1ms 性能主张需实测验证；
- ARTEX 在真实攻防场景中的表现有待社区复现报告。
相关文章
OpenAI 开源数学仓库引爆本周 GitHub
本周 GitHub 新建热门仓库合计约 27,000+ stars。OpenAI 的 Lean 数学仓库以 12,100 stars 一骑绝尘；AI Agent Skill 类项目（艺术动画、HTML 回答、应用克隆）密集上榜，加上 Rust 重写 Word/AutoCAD，反映出 Agent 技能化与 clean-room 重写两大趋势交汇。
2026-10-08OpenAI 开源数学仓库近万星领跑
本周 GitHub 新建热门仓库合计约 21,000+ stars。openai/math 以 9,527 星断层领先；最大趋势是「Agent Skill」类项目扎堆出现——answer-me-with-html、replica-skill、huashu-art-motion 都在教 Agent 干更具体的活。此外 Rust 工具链、本地大模型硬件协同、同人游戏复刻也各有亮点。