![](https://assets.juya.uk/imagehub/20260802/20260802091038638015f4a9_cover_db91.png) # AI 早报 2026-08-02 **视频版**：[哔哩哔哩](https://www.bilibili.com/video/BV1XD3D68ETR) ｜ [YouTube](https://www.youtube.com/watch?v=bPRzEkMB4dc) ## 概览 ### 要闻 - OpenAI 宣布内部版 Astra 模型解决十项数学开放问题 [↗](https://openai.com/index/ten-advances-in-mathematics/) `#1` - Tibo 称已重置 Codex 和 ChatGPT Work 使用限制 [↗](https://x.com/thsottiaux/status/2083395449814229287) `#2` - DeepSeek Harness 面向 Agent Harness 开源项目开发者招募内测 [↗](https://x.com/tianyi/status/2083519855203078320) `#3` ### 开发生态 - OpenAI 团队向 Git 上游提交多项性能与正确性补丁 [↗](https://x.com/tnm/status/2083328099975119044) `#4` ### 模型发布 - SpaceXAI 为 Grok Imagine 新增文生视频、引用功能与原生 1080p [↗](https://x.ai/news/grok-imagine-video-1-5-references) `#5` ### 前瞻与传闻 - 报道称OpenAI与Anthropic正游说要求竞争对手接受相同审查 [↗](https://thein.fo/4hCGQi5) `#6` --- ## 要闻 ### [OpenAI 宣布内部版 Astra 模型解决十项数学开放问题](https://openai.com/index/ten-advances-in-mathematics/) `#1` > **OpenAI**发文，公布了被其称为下一代主要模型 “`Astra`” 的研究成果。该模型的一个内部版本，针对`数学`和`理论计算机科学`中的长期开放问题给出了十项新结果，涉及`高维球堆积`、`non-sofic groups`、`算术电路复杂度`等领域。相关论证的 `Lean` 形式化证明已在 **GitHub** 上公开，可进行机器验证。 **OpenAI** 发文介绍了下一代主要模型 **`Astra`** 的内部版本取得的研究成果。该模型在数学和理论计算机科学的一批长期开放问题上给出了十项新结果。 这些结果覆盖 **`高维球堆积`**、**`binary and spherical codes`**、**`non-sofic groups`**、**`Connes 刚性猜想`**、**`算术电路复杂度`**、**`量子并行重复`**、**`Closest Vector Problem`**、**`多色 Ramsey 数`** 和 **`极值图论`** 等方向。 **OpenAI** 表示，寻找这些结果所消耗的 `tokens`，按 **`GPT 5.6 Sol API`** 计价约为 **2,000 美元**。数学论证由模型生成，之后由人工配合模型整理为论文，再由模型将证明形式化为 **`Lean certificates`**。 **OpenAI** 同时公布了相关证明和过程说明，供数学界检查、讨论和继续研究。 ![](https://assets.juya.uk/imagehub/aidaily/db91393a-a7ea-4e53-a5e3-130c56b797a9/ea283b61-8e1f-4579-bcce-920e478b3fac/m001_02ba70a0.png) ![](https://assets.juya.uk/imagehub/aidaily/db91393a-a7ea-4e53-a5e3-130c56b797a9/ea283b61-8e1f-4579-bcce-920e478b3fac/m002_6dacf931.png) 相关链接： - [https://openai.com/index/ten-advances-in-mathematics/](https://openai.com/index/ten-advances-in-mathematics/) - [https://github.com/openai/ten-proofs](https://github.com/openai/ten-proofs) --- ### [Tibo 称已重置 Codex 和 ChatGPT Work 使用限制](https://x.com/thsottiaux/status/2083395449814229287) `#2` > 北京时间 **8月1日** 中午，**Codex** 负责人 **Tibo** 称已重置 `Codex` 和 `ChatGPT Work` 的使用限制，表示此举是为庆祝效率周，让用户在本周末运行 **10万** 个 **Luna** 任务会话。 北京时间 **8月1日** 中午，`Codex` 负责人 **Tibo** 在社交媒体上宣布，他已重置 `Codex` 和 `ChatGPT Work` 的使用限制。 **Tibo** 表示，此举是为了庆祝一周的效率工作，让用户能够在本周末运行 **10 万** 个 `Luna` 任务会话。 ![](https://assets.juya.uk/imagehub/aidaily/db91393a-a7ea-4e53-a5e3-130c56b797a9/4d4f4c28-3f0c-45da-8b89-8dee00c3427c/m001_46a916d3.png) 相关链接： - [https://x.com/thsottiaux/status/2083395449814229287](https://x.com/thsottiaux/status/2083395449814229287) --- ### [DeepSeek Harness 面向 Agent Harness 开源项目开发者招募内测](https://x.com/tianyi/status/2083519855203078320) `#3` > **DeepSeek Harness** 目前处于内测阶段。相关负责人表示，`Agent Harness`相关开源项目的开发者可联系其参与内测，需附 `GitHub ID` 与开源代表作。 **DeepSeek Harness** 负责人 **Tianyi Cui** 发布消息称 `DeepSeek Harness` 目前处于内测阶段。 并面向 `Agent Harness` 相关开源项目开发者招募内测参与者。 开发者可通过回复或私信联系 **Tianyi Cui** 申请参加。 申请时需附上 `GitHub ID` 及代表性开源作品。 公测时间及正式发布安排均未提及。 ![](https://assets.juya.uk/imagehub/aidaily/db91393a-a7ea-4e53-a5e3-130c56b797a9/a79bdf11-a204-4980-8d8a-e6b9abc1b856/m001_94adae29.png) 相关链接： - [https://x.com/tianyi/status/2083519855203078320](https://x.com/tianyi/status/2083519855203078320) --- ## 开发生态 ### [OpenAI 团队向 Git 上游提交多项性能与正确性补丁](https://x.com/tnm/status/2083328099975119044) `#4` > **OpenAI** 正持续推进面向大型仓库的 **Git** 改进，性能与正确性补丁已部分合入上游主分支。官方表示相关优化也将提升 `Codex` 应用的 **Git** 使用效率。 **OpenAI** 正持续推进面向大型仓库的 `Git` 改进工作，由 **Ted Nyman** 和 **Taylor Blau** 主导，以公开 `fork` 形式开发，只要补丁具备通用价值便贡献至上游 `Git`。 目前已有 **2** 个补丁系列合入上游 `Git master` 分支，**5** 个系列进入上游 `seen` 分支审查中，另有 **23** 个系列仍在 **OpenAI** 主题分支中开发。 已合入的改进包括限制路径的 `git stash` 稀疏索引优化，将索引扩展耗时从 **18.87** 秒降至 **0.06** 秒，以及路径遍历位图支持。 **Ted Nyman** 表示，性能改进也正在应用于 `Codex` 应用，后续新版本中将体现更高效的 `Git` 使用。 ![](https://assets.juya.uk/imagehub/aidaily/db91393a-a7ea-4e53-a5e3-130c56b797a9/3b2b29d1-8703-4df7-9c0f-75f85fd44759/m001_a1be1d74.png) 相关链接： - [https://x.com/tnm/status/2083328099975119044](https://x.com/tnm/status/2083328099975119044) - [https://openai-git-upstream.openai.chatgpt.site/](https://openai-git-upstream.openai.chatgpt.site/) --- ## 模型发布 ### [SpaceXAI 为 Grok Imagine 新增文生视频、引用功能与原生 1080p](https://x.ai/news/grok-imagine-video-1-5-references) `#5` > **SpaceXAI** 宣布升级 `Imagine Video 1.5` 模型，为其新增文生视频、图像与语音引用及原生 **1080p** 支持。目前相关功能已陆续上线官方各平台。 **SpaceXAI** 旗下视频模型 `Imagine Video 1.5` 迎来功能升级，新增文生视频、图像引用、语音引用、多引用及原生 `1080p` 支持。 多引用功能允许每次生成最多绑定 **7** 张参考图像，分别锁定角色、场景或产品。 图像与语音引用功能目前面向美国地区 `SuperGrok Heavy` 和 `SuperGrok Plus` 订阅用户在 `grok.com/imagine` 和 **iOS** 端开放。 文生视频和原生 `1080p` 已在 `grok.com/imagine`、**iOS** 和 **Android** 端全面可用。 在 **API** 方面，图像引用、文生视频和原生 `1080p` 已上线，语音引用支持需联系销售申请。 ![](https://assets.juya.uk/imagehub/aidaily/db91393a-a7ea-4e53-a5e3-130c56b797a9/f515f7c8-85b3-42e3-90e1-7fcc1683324c/m001_62684599.png) 相关链接： - [https://x.ai/news/grok-imagine-video-1-5-references](https://x.ai/news/grok-imagine-video-1-5-references) - [https://docs.x.ai/developers/model-capabilities/video/generation](https://docs.x.ai/developers/model-capabilities/video/generation) --- ## 前瞻与传闻 ### [报道称OpenAI与Anthropic正游说要求竞争对手接受相同审查](https://thein.fo/4hCGQi5) `#6` > 据报道，**OpenAI**和**Anthropic**正悄悄敦促 **美国政府**，要求`Meta`和`SpaceX AI`等竞争对手接受与两家公司面临的相同的前沿模型审查。 据 **The Information** 报道，**OpenAI** 和 **Anthropic** 正悄悄敦促美国政府，要求 **Meta** 和 **SpaceXAI** 等竞争对手接受与两家公司目前面临的相同的前沿模型审查。 报道称，**OpenAI** 和 **Anthropic** 目前已接受此类前沿模型审查，两家公司希望竞争对手也被纳入同等审查框架。 报道指出，这一联盟可能保护 **OpenAI** 和 **Anthropic**，使其在竞争对手避免审查时不会被拖慢进度。 该消息源自 **The Information** 的媒体报道，相关公司及华盛顿方面尚未作出正式回应。 ![](https://assets.juya.uk/imagehub/aidaily/db91393a-a7ea-4e53-a5e3-130c56b797a9/35367f68-345d-4a31-adde-96a7298a18c1/m001_da7b4309.png) 相关链接： - [https://thein.fo/4hCGQi5](https://thein.fo/4hCGQi5) --- **提示**：内容由AI辅助创作，可能存在**幻觉**和**错误**。