OpenAI 发布一批由内部前沿模型产出的新数学成果，成果以 GitHub 仓库形式公开，并附论文修订与引用协议，其中许多证明已用 Lean 形式化以便计算机验证。
查看原文：https://openai.com/index/sharing-ai-progress-in-mathematics/
来源：OpenAI：官网动态（RSS · 排除企业/客户案例）
未经允许不得转载：AI之家 » OpenAI 发布内部前沿模型产出的数学研究成果
相关推荐
- GPT-6 Luna Decisions 上架 OpenRouter
OpenRouter 宣布 GPT-6 Luna Decisions 上线。OpenAI 的 Decisions API 可让应用选择合适的模型、工具或动作，支持发送文本、JSON 或图片并返回带概率的类型化答案。定价为输入 $0.10/M...
- vLLM 详解 DeepSeek-V4.1-Flash 优化：Agent 场景吞吐提升 5 倍
Inferact 与 vLLM 社区在 DeepSeek-V4.1-Flash 发布三周内完成优化，低并发速度提升 1.9 倍，150 TPS 约束下吞吐提升 5.3 倍。 查看原文：https://vllm.ai/blog/2026-10...
- Anthropic 发布 Claude Haiku 5.5，Artificial Analysis 智能指数得分 43
Anthropic 发布 Claude Haiku 5.5，在 Artificial Analysis 智能指数得 43 分，较上一代 Haiku 一年内提升 26 分。 查看原文：https://x.com/ArtificialAnlys...
- Google 发布 Developer Knowledge API 生态，为 AI 智能体提供官方文档检索
Google 推出 Developer Knowledge API 生态，作为 Google Cloud、Firebase、Android 等开发者文档的官方程序化来源，用结构化 API 和 Markdown 格式文档取代网页抓取，支持语义...
- LangChain 重构 Deep Agents 的 Skills 支持，新增工具绑定、固定技能与线程内重载
LangChain 重构 Deep Agents 的 Skills 支持，针对企业技能库增至数千个技能的场景推出三项更新：工具可绑定到技能、仅在该技能被读取时加载，用户可通过 /meeting-prep 之类的显式请求固定技能以在首次模型调...
- NVIDIA 与 Microsoft 发布 RTX Spark 及 DGX Station for Windows，推动 AI Agent 落地 Windows PC
NVIDIA 与 Microsoft 在旧金山 Windows AI 和 Surface 活动上宣布为 Windows PC 引入 AI Agent 硬件与软件。 查看原文：https://blogs.nvidia.com/blog/loc...
- Cursor 公布 Claude Haiku 5.5 定价并下调 Claude Sonnet 5.5 缓存读取价格
Cursor 公布 Claude Haiku 5.5 定价为每 M 输入 token $0.10、输出 token $0.50，输入超过 100k token 时为 $0.50/M 和 $2.50/M。Claude Sonnet 5.5 缓...
- OpenAI 向所有 ChatGPT 用户开放 GPT-6，并推出 Intelligent UI
OpenAI 宣布将 GPT-6 推向更广泛的用户，覆盖每周使用 ChatGPT 的超过 12 亿人。GPT-6 引入 Intelligent UI，可根据问题组合文本、图表、按钮、表单和交互组件，甚至直接在对话中创建小工具，其背后是一套原...
微信扫码分享