快讯事件 · 1 条来源
OpenAI 发布内部前沿模型产出的一批新数学成果
推文转引 OpenAI 公告称，其正在发布由内部前沿模型产出的一系列新数学成果；OpenAI 表示，团队一直与普林斯顿高等研究院下属的数学与人工智能独立咨询小组（Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study）进行磋商，并参考了其意见。公告原文在转推正文中被截断，具体成果内容未在正文体现。
全部来源
前后事件
相关事件
Hugging Face新增"decision-model"标签，已有1,300多个模型可选
Victor M表示，Hugging Face新增了"decision-model"标签，用户可据此筛选决策模型，还可尝试与MLX或GGUF结合实现100%本地运行。目前已有1,300多个模型可用。
Theo宣布Rust版TypeScript编译器tsc-rs；pngwn称约1.6倍性能提升较为温和
Theo - t3.gg宣布tsc-rs（ts-rust），用Rust完整重写TypeScript编译器、类型检查器和LSP，由agent开发约5个月；他表示此前烧掉约40万美元Codex代币没有进展，约2万美元Opus则在两周内完成。pngwn表示LLM能做到这一点已令人惊讶，但约1.6倍的性能提升相对投入而言较为温和，仅比ts6高一个数量级，与ts7相同。
Jeff Boudier：Hugging Face公共模型、数据集和应用达600万
Jeff Boudier表示，Hugging Face平台上公开的模型、数据集和应用数量已达600万，并向选择分享这些内容的人工智能开发者致谢。
Paul Graham称亚马逊禁用代理带来创业机遇
Paul Graham表示，亚马逊禁用代理是自其创立以来创业公司打造亚马逊竞争对手的首个机遇。他认为，人们将希望由代理代购物品，且不会想使用亚马逊提供的代理。
Robium 发布：面向 Claude Code、Codex 与 Gemini CLI 的开源机器人技能
作者转发了 Robium 的发布介绍。团队表示 Robium 是一套开源机器人技能，支持 Claude Code、Codex 和 Gemini CLI，并提供可复制改编的参考应用，让用户通过编程智能体构建、模拟和试验机器人。以上为项目方说法，未独立核实。项目仓库：https://github.com/robium-ai/robium