OpenAI 发布内部模型产出的 722 篇数学论文，称解决 500 个公开数学难题中的 90 个
OpenAI 在一个公开 GitHub 仓库中发布了内部前沿模型产出的数学成果，共 722 篇手稿、归入 372 个相关结果族，来自约 4000 道研究问题的评测，平均每个结果约消耗 3 小时 ChatGPT Pro 思考算力，模型本身未发布。
推荐理由：OpenAI 用内部模型批量产出数学结果并公开仓库，读者可据此了解这批成果的规模、算力成本与外界质疑。
开源生态
全部主题开源模型、框架与仓库动态：权重开放、社区项目爆火、开源与闭源的力量消长。
538条精选相关主题模型发布Hugging FaceAI 编码
最新精选
第 381–400 条 · 共 538 条Latent Space精选AI 评分8282 Show HN精选AI 评分7171 nanoMuse 开源个人智能体发布 0.1.40，覆盖手机、桌面与自建中继
nanoMuse 发布 0.1.40 版本，这是一个 GPL-3.0-or-later 开源的个人智能体，手机 App、桌面 App、Web 控制台和连接它们的中继都在同一仓库中，可自行部署。
推荐理由：开源个人智能体把手机、电脑与自建中继串成一套，读者可据此判断跨设备 Agent 的部署与隐私取舍。
Show HN精选AI 评分6262 Zit 发布 0.1.1：用写时复制工作区替代 git worktree 管理多智能体并行改动
Zit 发布 0.1.1，这是一个 git 扩展，用写时复制工作区替代 git worktree，让多个开发者和编码智能体同时改同一仓库。每个会话在独立副本中工作，可声明文件或符号的占用，改动通过 zit accept 逐个合入，并检查是否与期间落地的改动冲突。
推荐理由：原文给出多智能体并行改同一仓库时的冲突数据与磁盘占用对比，可据此判断是否值得替换 worktree 流程。
Show HN精选AI 评分5858 TerrainSR：快速生成逼真高程图的高程图超分模型
作者 joegibbs 发布 TerrainSR，一个用于高程图快速超分的模型，目标是生成逼真地形。他为一个历史游戏需要 1:1 比例的欧洲模型，但 100m 数据分辨率太低，10m LIDAR 数据则覆盖不全、占用数百 GB 且包含矿场和建筑等人造物。该模型在未开发地貌上训练，可为低分辨率高程数据快速补充合理的侵蚀特征和岩石等细节，重建人类干预前的地形样貌。
推荐理由：作者说明了低分辨率高程数据与 LIDAR 数据各自的局限，以及用未开发地貌训练模型补齐侵蚀细节的思路。
Show HN精选AI 评分7171 Bees 发布开源桌面应用，可在本机运行智能体团队
Bees 发布开源桌面应用，让用户在自己的电脑上运行智能体团队，支持 macOS、Windows 和 Linux，采用 MIT 或 Apache 2.0 许可。
推荐理由：原文给出本地优先的智能体团队运行方式与数据边界说明，读者可据此判断它是否适合自有工作流。
Show HN精选AI 评分6868 AgentOS 发布：在手机上自托管运行 Claude Code、Codex 等编码 Agent
AgentOS 是一个自托管的移动优先编码 Agent 平台，可并排运行 Claude Code、Codex、Gemini CLI、Aider、Cursor CLI 等，支持在手机上聊天或进入终端，并通过 npm install -g @saadnvd1/agent-os 安装。
推荐理由：原文完整交代了自托管移动端编排多个编码 Agent 的架构与安全边界，适合评估多 Agent 工作流的读者参考。
OpenAI News精选AI 评分5858 OpenAI 公布前沿模型在数学开放问题上的进展
OpenAI 发布内部前沿模型在数学开放问题上的新结果，并在 GitHub 上公开 Lean 形式化证明与研究细节。
推荐理由：OpenAI 公开内部前沿模型在数学开放问题上的结果，并同步放出 Lean 形式化证明，可供研究者直接查阅。
Show HN精选AI 评分6262 Agentability 上线：AI 智能体每天跑十项网页任务并公开全部记录
Agentability 是一个公开实验，由 AI 制作人根据当天搜索热点生成十项真实网页任务，再由 AI 智能体仅用纯 HTTP 请求完成，不使用登录、JavaScript 或人工协助，所有记录逐字公开，成功与失败都保留。
推荐理由：公开的每日智能体跑腿实验与 113 个站点可用性评分，为观察智能体能否真正使用网页提供了可复现的原始记录。
TechCrunch · AI精选AI 评分5858 Musubi 开源 PolicyLM-1.7B，用决策模型做实时内容审核
Musubi 发布轻量级决策模型 PolicyLM-1.7B，以开放权重形式开源，用于实时内容审核，可将纯英文写成的政策在 50 毫秒内应用到消息上。该模型成本与速度接近多数社交平台使用的 AI 分类器，但具备现代 LLM 的灵活性，无需专门训练即可执行复杂政策，政策变更时也无需重新训练。
推荐理由：Musubi 开源 PolicyLM-1.7B，用决策模型做实时内容审核，读者可了解其与主流分类器的成本速度对比。
Show HN精选AI 评分7272 cairn 发布：为编码智能体绘制多仓库地图
cairn 是一个为编码智能体构建多仓库地图的开源工具，扫描一个文件夹下的所有 git 仓库并推断它们之间的依赖关系，生成常驻的 INDEX.md 索引和按需读取的仓库卡片，支持 Claude Code、Codex、Gemini CLI 和 Cursor。
推荐理由：作者公开了多仓库地图的构建方式与基准数据，可据此判断跨仓库编码任务中上下文成本的变化。
Show HN精选AI 评分5858 AutoApply 开源求职工具发布：本地零 API 理解网页界面，18 次尝试 0 次提交
AutoApply（AA）是一个开源求职自动化工具与研究项目，主张在普通硬件上、不联网调用 AI、不用 API key、不依赖站点专属知识，仅靠几何与约束求解理解陌生网页界面。
推荐理由：作者公开了 18 次尝试 0 次提交的失败数据，读者可据此判断本地零 API 网页理解路线的真实边界。
Google DeepMind精选AI 评分7878 Google DeepMind 发布 EmbeddingGemma 2 开源轻量多模态嵌入模型
Google DeepMind 发布 EmbeddingGemma 2，这是面向端侧的多模态嵌入模型，原生将文本、图像、音频和视频映射到统一嵌入空间，基于 Gemma 4 架构、Apache 2.0 许可，参数量 740M。
推荐理由：EmbeddingGemma 2 把文本、图像、音频、视频统一到同一嵌入空间，并给出端侧内存与向量截断的具体数据，便于评估本地多模态检索的可行性。
Show HN精选AI 评分5858 Gretel 发布公开测试版：基于 YouTube 推荐构建分主题信息流
Gretel 是一个本地桌面应用，可为不同兴趣分别建立专注的 YouTube 信息流，无需额外创建 Google 账号。每个配置从若干主题和频道起步，Gretel 通过 YT.js 调用 YouTube 自身推荐发现候选视频，再用嵌入向量保持扩展相关性，并随观看记录调整配置。
推荐理由：原文给出了本地桌面应用如何用 YouTube 推荐与嵌入向量构建分主题信息流，并附完整安装与自建说明。
Show HN精选AI 评分6868 Reika：面向小参数本地模型的编码智能体 CLI 发布
Reika 是一个面向本地与托管模型的编码智能体 CLI，优先围绕 8B–35B、Q2–Q4 量化、16–32k 上下文的小模型设计，通过上下文压缩、循环检测和计划模式降低小模型跑多文件任务的挫败感。
推荐理由：作者公开了上下文管理与循环检测的实测数据，可据此判断小模型跑编码智能体的真实瓶颈在哪。
Show HN精选AI 评分6868 GridCore：让多个本地 LLM 共享一块 GPU 的调度器
作者发布 GridCore，一个位于应用与 GPU 之间的调度器，通过 OpenAI API 接收请求，按 interactive、background、batch 三类优先级决定谁先占用 GPU，底层仍由 llama.cpp 的 llama-server 逐模型进程执行推理。
推荐理由：作者公开了调度器的设计取舍与真机压测数据，可看到本地多模型共享单卡的显存记账难点。
Show HN精选AI 评分6262 Texpile 发布开源 Typora 风格 LaTeX 与 Typst 编辑器
Texpile 发布开源 LaTeX、Typst 和 Markdown 编辑器，采用 Typora 式所见即所得，本地离线运行，AGPL-3.0 许可，支持 Windows、macOS 和 Linux。
推荐理由：原文列出本地渲染、实时协作与自带订阅的 AI 集成等能力，可据此判断它是否适合替换现有 LaTeX 写作流程。
Show HN精选AI 评分7171 BKS-Lab 开源 open-bridge：让编码智能体跨会话记住工作上下文
BKS-Lab 开源 open-bridge，一个由 markdown 和 YAML 组成的 git 仓库，Claude Code、Codex 或 Copilot CLI 在每次会话开始时读取，从而带上仓库、客户、待办任务和昨日工作日志。
推荐理由：四人团队把多客户、多仓库的上下文沉淀成纯文本仓库，读者可据此判断编码智能体的会话记忆该放在哪里。
Show HN精选AI 评分7878 kcc：用 LLM 协作写成的 ARM64 汇编 C17 编译器，可自举并启动 Linux 内核
kcc 是一个完全用 ARM64 汇编编写的 C17 编译器，以文学化编程形式写成单一程序，每段指令先有文字说明再写代码。它对照 C 标准检查代码、做优化、分配寄存器并生成原生机器码，能自举出字节一致的二进制，还可交叉编译到 x86-64（Linux 和 macOS），并成功构建运行 Lua、SQLite 和 DOOM，以及启动 Linux 内核。
推荐理由：一个用 LLM 协作、以文学化编程写成的 C17 编译器，可自举并启动 Linux 内核，展示了 AI 辅助系统编程的一种路径。
Show HN精选AI 评分7171 OpenChart 发布：开源 TradingView 替代品，内置自有 AI 智能体
OpenChart 发布，定位为开源 TradingView 替代品，把 AI 智能体接入行情分析、告警与机会发现等投资流程。它支持使用自己的 Claude、Codex 和 Gemini 模型做研究、构建指标和设置告警，图表、指标与价格告警不设软件套餐限制，并配套自研 Tea 语言用于编写市场逻辑。桌面版免费，AI 用量按所用智能体提供商的套餐计费，可选云端行情数据单独定价。
推荐理由：开源交易图表工具把自有 AI 智能体接入行情分析与告警，读者可据此判断自托管方案的可行边界。
Show HN精选AI 评分7171 Submilli 发布面向写代码智能体的语义权限运行时
Submilli 发布一个面向生成代码类业务智能体的代码执行运行时，用语义权限模型在模型之外强制执行规则。智能体提交 TypeScript 代码，运行时在 WebAssembly 中隔离执行，每次对外调用前先按 Blueprint 检查权限，可按客户 ID、金额等业务语义限制操作，例如仅允许对指定客户退款不超过 500 美元。
推荐理由：原文给出了语义权限模型的具体规则写法与运行隔离方式，读者可据此判断生成代码类智能体的权限边界如何落地。