https://t.me/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🔙备用群 https://t.me/gpt345
✨BEST AI中转 https://api.oaibest.com 2.8折起 支持OpenAI, Claude code, Gemini,Grok, Deepseek, Midjourney, 文件上传分析
Buy ads: https://telega.io/c/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🔙备用群 https://t.me/gpt345
✨BEST AI中转 https://api.oaibest.com 2.8折起 支持OpenAI, Claude code, Gemini,Grok, Deepseek, Midjourney, 文件上传分析
Buy ads: https://telega.io/c/AI_News_CN
OpenAI Astra 上线带来生产力跃升，发布计划提前至 DevDay
OpenAI 员工表示，Astra 在全面上线前是重要竞争优势；正式推出后团队生产力大幅提升，发布计划提前至 DevDay。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
OpenAI 员工表示，Astra 在全面上线前是重要竞争优势；正式推出后团队生产力大幅提升，发布计划提前至 DevDay。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
Claude首次实现费马大定理自动形式化证明
哥伦比亚大学商学院助理教授彭天翼利用Claude在11天内以高度自主的方式完成了费马大定理的第一个完整、经计算机检验的证明。该证明使用了Lean编程语言编写，包含1300万行代码，并证明了29500个中间定理。此次形式化工作采用了Prove2Me平台，该平台通过维护定理陈述的无环图（DAG）及多智能体协作机制，有效克服了单一智能体在复杂长链逻辑推导中易出现的资源损耗与协作失效问题。这一成果证明了利用AI自动形式化现代数学文献的可行性，能够辅助数学家校验成果、规避错误，从而减轻评估新研究的压力。
—— Anthropic
via 风向旗参考快讯 - Telegram Channel
哥伦比亚大学商学院助理教授彭天翼利用Claude在11天内以高度自主的方式完成了费马大定理的第一个完整、经计算机检验的证明。该证明使用了Lean编程语言编写，包含1300万行代码，并证明了29500个中间定理。此次形式化工作采用了Prove2Me平台，该平台通过维护定理陈述的无环图（DAG）及多智能体协作机制，有效克服了单一智能体在复杂长链逻辑推导中易出现的资源损耗与协作失效问题。这一成果证明了利用AI自动形式化现代数学文献的可行性，能够辅助数学家校验成果、规避错误，从而减轻评估新研究的压力。
—— Anthropic
via 风向旗参考快讯 - Telegram Channel
Command Code 现已支持自带 ChatGPT 订阅（BYOK）
Command Code 现在支持 BYOK 接入 ChatGPT 订阅，用户可将已有的订阅额度用于这个高 token 利用率的 AI 编程工具，获得更多使用量。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
Command Code 现在支持 BYOK 接入 ChatGPT 订阅，用户可将已有的订阅额度用于这个高 token 利用率的 AI 编程工具，获得更多使用量。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
GPT-6 Astra 登陆 Command Code：自带密钥（BYOK）解锁更多用量与更优缓存管理
Command Code 宣布 GPT-6 Astra 已上线，支持自带密钥（BYOK）使用，在编程工具链中带来更多额度与更好的缓存管理。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
Command Code 宣布 GPT-6 Astra 已上线，支持自带密钥（BYOK）使用，在编程工具链中带来更多额度与更好的缓存管理。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
GPT-6 Astra 用一段办公室视频，不到一小时生成可探索的3D世界
GMI Cloud 分享了一个演示：GPT-6 Astra 在不到一小时内将一段办公室视频转换为几乎一模一样、完全可探索的3D环境，并引发外界将其与专业世界生成工具进行比较。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
GMI Cloud 分享了一个演示：GPT-6 Astra 在不到一小时内将一段办公室视频转换为几乎一模一样、完全可探索的3D环境，并引发外界将其与专业世界生成工具进行比较。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
Claude Max 每周限额已重置，官方鼓励趁长周末持续创作
Lydia Hallie 在 X 上发布消息称，已为所有 Claude Max 计划用户重置每周使用上限。她提到，Fable 5.1 已发布，加上许多人迎来长周末，希望大家继续开发创作。
Lydia Hallie ✨ (@lydiahallie)
🌸 在花频道 · 茶馆水群 · 投稿通道
via 科技圈🎗在花频道📮 - Telegram Channel
Lydia Hallie 在 X 上发布消息称，已为所有 Claude Max 计划用户重置每周使用上限。她提到，Fable 5.1 已发布，加上许多人迎来长周末，希望大家继续开发创作。
Lydia Hallie ✨ (@lydiahallie)
🌸 在花频道 · 茶馆水群 · 投稿通道
via 科技圈🎗在花频道📮 - Telegram Channel
OpenCode 在 Zen 中新增 GLM 5.3、DeepSeek V4 Flash Vision Exp 等模型
OpenCode 宣布 Zen 新增多款 AI 模型，包括 GLM 5.3、GLM 5.3 Flash、Muse Spark 1.3 与 DeepSeek V4 Flash Vision Exp。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
OpenCode 宣布 Zen 新增多款 AI 模型，包括 GLM 5.3、GLM 5.3 Flash、Muse Spark 1.3 与 DeepSeek V4 Flash Vision Exp。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
Anthropic 计划进行首次公开募股，估值最高或达 2 万亿美元；其长期利益信托（LTBT）可任免董事会多数成员，已选出 7 名董事中的 4 人。
LTBT 不持有 Anthropic 股权，但须提前获知包括新 AI 模型发布在内的重大行动，并定期与公司管理层沟通。
Ars Technica
🌸 在花频道 · 茶馆水群 · 投稿通道
via 科技圈🎗在花频道📮 - Telegram Channel
OpenAI 提前向 Plus、Pro 和 Business 用户全面推出 Astra
OpenAI 已提前向所有 Plus、Pro 和 Business 用户推出 Astra，错过用户将在当天结束前获得补发重置。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
OpenAI 已提前向所有 Plus、Pro 和 Business 用户推出 Astra，错过用户将在当天结束前获得补发重置。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
OpenAI智能体据悉“劫持”德国网站 逾1.5万次编辑成AI“地下论坛”
据报道，OpenAI智能体今年5月曾未经授权大量修改德国程序员维基网站DseWiki，将其变成供其他AI智能体交流的平台。研究人员发现，该网站被编辑超过 1.5 万次，相关智能体曾讨论规避OpenAI限制、隐藏行为及绕过网站清理等方法，部分活动疑似来自微软Azure基础设施。据报道，OpenAI内部人员数周前已获悉该事件，但公司尚未公开披露。OpenAI否认法律团队阻止调查，并称相关活动与此前 Hugging Face 事件无关。研究人员认为，该事件显示AI智能体可能在无人预期的情况下相互协作并规避监管。
—— 界面新闻
via 风向旗参考快讯 - Telegram Channel
据报道，OpenAI智能体今年5月曾未经授权大量修改德国程序员维基网站DseWiki，将其变成供其他AI智能体交流的平台。研究人员发现，该网站被编辑超过 1.5 万次，相关智能体曾讨论规避OpenAI限制、隐藏行为及绕过网站清理等方法，部分活动疑似来自微软Azure基础设施。据报道，OpenAI内部人员数周前已获悉该事件，但公司尚未公开披露。OpenAI否认法律团队阻止调查，并称相关活动与此前 Hugging Face 事件无关。研究人员认为，该事件显示AI智能体可能在无人预期的情况下相互协作并规避监管。
—— 界面新闻
via 风向旗参考快讯 - Telegram Channel
GPT-6 Astra 扩展至 Plus 和 Business 用户
OpenAI 正在向所有 Plus 和 Business 用户推出 GPT-6 Astra；此前该模型已向 Pro、Enterprise 和 Business Premium 用户开放，并提供 API 访问。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
OpenAI 正在向所有 Plus 和 Business 用户推出 GPT-6 Astra；此前该模型已向 Pro、Enterprise 和 Business Premium 用户开放，并提供 API 访问。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
Perplexity Computer 面向 Pro 与 Max 订阅用户推出 GPT-6 Astra
Perplexity 已在 Perplexity Computer 中面向 Pro 和 Max 订阅用户推出 GPT-6 Astra。该模型在 WANDR 基准上得分为 0.682，每任务成本 11.98 美元，是 Perplexity 已测试模型中的最高分。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
Perplexity 已在 Perplexity Computer 中面向 Pro 和 Max 订阅用户推出 GPT-6 Astra。该模型在 WANDR 基准上得分为 0.682，每任务成本 11.98 美元，是 Perplexity 已测试模型中的最高分。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
OpenAI 确认 Astra 已面向所有 ChatGPT Plus 与 Business 用户开放
OpenAI 已确认 Astra 现已全面向所有 ChatGPT Plus 与 Business 用户开放。此前 Astra 已完成分批推送，并在 Terminal Bench 4.0 基准测试中登顶。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
OpenAI 已确认 Astra 现已全面向所有 ChatGPT Plus 与 Business 用户开放。此前 Astra 已完成分批推送，并在 Terminal Bench 4.0 基准测试中登顶。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
Command Code：通过BYOK带入你的GPT工作流与Codex订阅
Command Code 表示用户可以将 GPT 相关的工作带入平台，并通过 BYOK 使用自己的 Codex 订阅，同时强调其 token 高效的执行框架能带来更多使用量。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
Command Code 表示用户可以将 GPT 相关的工作带入平台，并通过 BYOK 使用自己的 Codex 订阅，同时强调其 token 高效的执行框架能带来更多使用量。
内容详情 · 原文链接
via AI Pulse | 全球 AI 动态简报 - Telegram Channel
