每日 AI 新闻｜OpenAI 公布 Astra 完成的十项数学与理论计算机成果
# 每日 AI 新闻｜OpenAI 公布 Astra 完成的十项数学与理论计算机成果
## 今日要闻
### OpenAI 公布 Astra 完成的十项数学与理论计算机成果
OpenAI 公布由内部版本 Astra 生成的十项数学与理论计算机科学结果，覆盖高维球堆积、编码理论、非 sofic 群、算术电路复杂性、量子复杂性、格密码学和极值组合等方向。OpenAI 表示，这些问题至少十年没有主结果进展；人类使用同一模型整理手稿，模型随后为每项论证生成 Lean 证书，按 Sol API 价格估算，总求解 token 成本约 2,000 美元。
**AI 解读：** 这展示了模型作为研究协作者的上限，但结果仍需要数学界逐项审查；Lean 证书增强可核查性，不等于所有论断已获同行认可。
## 主要新闻
### xAI 为 Grok Imagine Video 1.5 增加参考输入
xAI 为 Grok Imagine Video 1.5 新增 References 能力，并非在本日首次发布 1.5 模型。更新支持纯文本生成视频、原生 1080p、图像与语音参考，以及最多七个参考输入；图像和语音参考先向美国的 SuperGrok Heavy 与 Plus 用户开放，图像参考、纯文本生成和 1080p 也已进入 API，语音参考 API 需申请。
**AI 解读：** 多参考输入提高角色与风格一致性的可控性；语音参考仍分批开放，开发者也要区分网页、移动端与 API 的实际可用范围。
### OpenAI 再次重置 Codex 与 ChatGPT Work 周度用量限制
Codex 负责人 Tibo Sottiaux 8 月 1 日表示，OpenAI 再次为所有 Codex 与 ChatGPT Work 用户重置周度用量限制；这是自 7 月 22 日起的第五次重置。此次变化让已接近或触及周限额的账号立即恢复可用量，但 OpenAI 未将它说明为永久上调周限额或新的计费规则。
**AI 解读：** 对重度用户是即时额度恢复；频繁临时重置也意味着，团队不应把额外用量写入长期容量或成本规划。
### OpenAI 将欧洲内容来源措施扩展到音频
OpenAI 表示已参与并支持欧盟通用人工智能模型行为准则与人工智能生成内容透明度行为准则，并将内容来源措施从图像扩展到音频输出。公司称将结合 Content Credentials 与 SynthID，并在标准和工具成熟后继续把来源措施扩展到文本等模态。
**AI 解读：** 音频来源标记有助于识别合成内容，但元数据可能丢失、水印也不是绝对证明；透明度义务将逐步进入产品设计与审计流程。
## 传闻
