1. OpenAI 发布文章，正式公布了被其称为下一代主要模型“Astra”的研究成果。该模型的一个内部版本针对数学和理论计算机科学中的长期开放问题给出了十项全新结果，研究领域涉及高维球堆积、non-sofic groups、算术电路复杂度等高难度专业方向。为确保严谨性，相关论证的 Lean 形式化证明已经在 GitHub 上完全公开，全球开发者均可进行机器验证。
2. 北京时间 8 月 1 日中午，Codex 负责人 Tibo 宣布已经重置了 Codex 和 ChatGPT Work 的使用限制。他表示此举是为了庆祝“效率周”，旨在让广大用户能够在周末顺畅运行多达 10 万个 Luna 任务会话，进一步提升开发与使用体验。
3. DeepSeek Harness 目前正处于内测阶段。相关负责人对外表示，Agent Harness 相关开源项目的开发者现在可以主动联系官方参与内测。申请者需在联系时附上个人的 GitHub ID 以及开源代表作，以便官方评估并发放内测资格。
4. OpenAI 正在持续推进面向大型代码仓库的 Git 改进工作。目前，相关的性能与正确性补丁已经部分合入上游主分支。官方表示，这些底层优化不仅完善了 Git 工具，也将直接提升 Codex 应用在实际操作中的 Git 使用效率。
5. SpaceXAI 宣布对其 Imagine Video 1.5 模型进行重大升级。此次更新为模型新增了文生视频生成能力、图像与语音引用功能，并带来了原生 1080p 高清分辨率支持。目前，这些新功能已经陆续上线官方各平台，供广大用户体验。
6. 据相关媒体报道，OpenAI 和 Anthropic 正在悄悄敦促美国政府，要求 Meta 和 SpaceXAI 等竞争对手接受与这两家公司目前面临的相同的前沿模型审查。此举意在推动行业监管标准的统一，或将对 AI 行业竞争格局产生深远影响。