Sam Altman：GPT-6 Astra 有望加速科学发现——Lean 形式化证明有界素数间隙

Sam Altman 强调 GPT-6 Astra 在科学发现方面的潜力，并提到 OpenAI 仓库中该模型用 Lean 形式化证明了“存在无穷多对相邻素数，其间距不超过 186”。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel

Sam Altman 就 Astra 上线混乱致歉，宣布补偿并扩大访问范围

OpenAI CEO Sam Altman 为 Astra 混乱的上线致歉，承诺为付费用户提供补偿，并表示将很快向 API 客户和 ChatGPT 订阅用户大规模开放。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel

全球三大AI集体“大罢工”：ChatGPT、Claude与Grok突发大规模宕机现已全部恢复

当地时间 9 月 3 日，全球人工智能领域遭遇了一场罕见的集体故障。包括OpenAI旗下的ChatGPT、SpaceXAI旗下的Grok以及Anthropic旗下的Claude在内，几大主流AI大模型几乎在同一时间开始出现大规模宕机事件，大批用户的日常使用和工作流受到短暂影响。

此次突发故障波及了当前全球最受关注的几大头部大模型平台，引发了业界和广大用户的高度关注。经过相关技术团队的紧急排查与抢修，目前上述各大平台的故障均已顺利排除。

在服务恢复后，ChatGPT、Claude和Grok官方均第一时间通过各自的服务状态页面向用户更新了通告，明确表示相关技术故障已经彻底解决，目前的各项核心功能和API调用均已恢复正常运行状态。

via AI新闻资讯 (author: AI Base)

OpenAI正式发布GPT-6 Astra：迈向通用人工智能的里程碑之作

via AI新闻资讯 (author: AI Base)

Telegraph

OpenAI正式发布GPT-6 Astra：迈向通用人工智能的里程碑之作

OpenAI近日正式发布了最新一代超旗舰级大模型GPT-6Astra。公司总裁格雷格·布罗克曼（Greg Brockman）在媒体吹风会上给予了极高评价，甚至直言人类或许正在这一时期、通过这一模型真正迈入通用人工智能(AGI)时代。 从核心基准测试表现来看，Astra实现了多维度的代际跃迁。在数学和科学测试中，其在FrontierMath Tier4和GPQA Diamond上分别取得了97.6%和96%的优异成绩;而在动手能力测试方面，在长程软件工程DeepSWE、CAD绘制BenchCAD以及漏洞利…

谷歌推出 Gmail、Docs 与 Keep AI 语音功能，对话式交互全面落地 Workspace

谷歌今日宣布在 Gmail、Docs 和 Keep 中正式推出基于 Gemini 驱动的对话式 AI 语音功能，分别命名为 Gmail Live、Docs Live 和 Keep Live。

用户无需手动打字，即可通过自然语言查询和语音输入直接向 AI 助手提问收件箱内容、生成文档初稿，或自动整理食谱与清单。在体验升级的同时，系统还提供实时文字记录功能，并支持调用 Gmail、云端硬盘及网页等多源信息辅助创作。

这一动作标志着谷歌五月开发者大会（Google I/O）上预览的语音生态迎来重要落地。目前，Gmail Live 已面向 Google Plus、Pro 和 Ultra 用户开放，Docs Live 与 Keep Live 则覆盖 Pro 及 Ultra 用户，支持 iOS 与 Android 平台的英文版本，后续将拓展至 Workplace 企业用户。

此次升级延续了谷歌在语音交互领域的密集布局。今年4月，谷歌为 Mac 应用推出了跨应用语音输入功能;8月发布 Gemini3.5Transcribe 模型提升语音转文本能力;同时在 Pixel11手机中上线了可去除语气词的 Rambler 语音工具。

随着对话式语音深度融合核心应用，谷歌正加速推动 AI 交互从单一指令输入向全场景自然对话转型，进一步提升生产力工具的智能化门槛。

via AI新闻资讯 (author: AI Base)

Claude —— 开源的人员搜索利器

🔍 我最近看到 Jason Zhou 分享了一个特别有意思的项目，他把 Claude AI 调教成了一个高效的“人肉搜索引擎”—— 而且这还不是最吸引我的，最吸引人的是，他选择把它完全开源，并且号称能打破传统高昂的订阅费模式

💰 他说，现在每次搜索只要 0.0089 美元，和市面上动辄每月 600 美元的同类服务相比，这简直是革命性的。特别是在 People Search Bench 上，这个 Claude 方案还拿下了第一名，这让我很好奇，他是怎么做到的

🛠️ Jason Zhou 的做法很硬核，他不仅把代码都放到了 GitHub 上，还强调这是 0% 溢价的方案，纯粹想让更多人能用上。这背后体现的不仅是技术实力，更是一种对“信息自由”的坚持吧

🔗 试用一下这个 Claude people-search：t.co/s60Ye4EO3h，也可以去 GitHub 看看他具体是怎么实现的：t.co/40qYPciu7u

📮 这篇文章是转发给你的吗？点击这里加入频道，一起探索更多有趣的内容！

via Roller | DeepSeek Harness 中文社区 - Telegram Channel

#Update #Codex

从现在开始，Codex 将给每个用户每天送出一个重置额度，直到 Astra 模型可用。

via AI Copilot - Telegram Channel

↩️🖼 Tibo 承诺补发 Astra 重置次数，首批约 3 小时后到账

科技圈🎗在花频道📮:

🤖 GPT-6 Astra 发布，评测全面登顶 OpenAI 发布 GPT-6 Astra，称其为迄今最智能、最对齐的模型。它在 FrontierMath Tier 4 得 98%、ARC-AGI-3 得 99.9%、ExploitBench 得 100%，并帮助把素数间隔上界推进到 186。OpenAI API 标准定价为每百万个输入 token 10 美元，每百万个输出 token 50 美元。缓存读取和写入另行收费。API 中为 GPT-6 Astra 提供快速模式，处理速度最高可达标准模式的 2.5…

Tibo 承诺补发 Astra 重置次数，首批约 3 小时后到账

Tibo 表示，从今天起，付费 ChatGPT 用户每无法使用 Astra 一天，就会获得一次累计的重置次数。首批重置预计约 3 小时后到账；尚未注册账号的用户仍可创建账号。

Tibo(@thsottiaux)

🌸 在花频道 · 茶馆水群 · 投稿通道

via 科技圈🎗在花频道📮 - Telegram Channel

Horizon Summary: 2026-09-04 (ZH)

via Horizon Daily - 中文摘要

Telegraph

Horizon Summary: 2026-09-04 (ZH)

从 35 条内容中筛选出 8 条重要资讯。 科技新闻 OpenAI 发布 GPT-6 Astra，系统卡与基准讨论同步展开 ⭐️ 9.0/10 用 LLM 阅读 68000 汇编，将 1993 年 Amiga 游戏移植到 Godot ⭐️ 8.0/10 Audacity 4.0 发布：Qt6 界面与 .aup4 项目格式 ⭐️ 8.0/10 Verisign 终止既有 .name 三级域名注册 ⭐️ 7.0/10 申真谞让两子击败围棋 AI KataGo，引发 AI 稳健性质疑 ⭐️ 7.0/10 Linux…

Degraded performance for Grok Bot routine triggers

Sep 3, 23:42 UTC
Investigating - We are investigating a service degradation affecting Grok Bot. Some trigger fires may be dropped.

via Cursor Status - Incident History

OpenAI为等待Astra访问权限的付费用户提供每日保留重置额度

OpenAI表示，未获得Astra访问权限的ChatGPT付费用户，从今天起每等待一天将获得一个保留重置额度。首个重置预计将在约三小时内发放。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel

OpenAI发布地球最强大模型GPT-6 并宣告“欢迎来到AGI时代”

9月4日，OpenAI 正式发布 GPT-6 Astra 模型，并称其为“目前全球最智能、且对齐程度最高的模型”，在计算机操作、网页浏览、软件工程、网络安全、科学研究以及专业工作方面均达到当前最先进水平。在代表高阶数学能力的 FrontierMath Tier 4 上，Astra 得分达到97.6%，几乎将这套研究级数学测试 “打穿” ；在强调陌生环境学习和抽象推理的ARC-AGI-3上，其成绩更是从GPT-5.6 Sol的7.8%跃升至99.9%，接近满分。在测试漏洞利用能力的ExploitBench中，Astra得分达到100%，而GPT-5.6 Sol为78.5%；在专门使用6月至8月新漏洞构建的测试中，Astra的成功率达到39%，远高于Sol的5.5%。

—— 财联社

via 风向旗参考快讯 - Telegram Channel

OpenAI 随 Astra 推出 Responses API 新功能

OpenAI 随 Astra 推出新的 Responses API 功能，包括异步函数调用、中途转向，以及不破坏缓存的推理算力调整；Astra 被定位为可快速替代用户操作电脑的 AI 助手。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel

Gemini Spark 中的 Google Photos：一句话让照片库跑起端到端任务

Google Photos 登陆 Gemini Spark，美国符合条件的 AI Pro 与 Ultra 订阅用户可通过一句话将照片库变成端到端任务——从整理旅行照片、起草团队邮件到检查日历冲突。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel

AI模型争抢用户注意力：Meta Muse Spark登顶日榜

作者对Meta Muse Spark超越DeepSeek成为当日使用最多模型一事发表感慨，这也是美国模型首次登顶该榜单。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel

GPT-6 Astra 登顶 Terminal-Bench，领先 Claude Fable 5.1

GPT-6 Astra 在 Terminal-Bench 登顶，以 1.9% 的优势领先 Claude Fable 5.1。目前仅限部分机构使用，API 将在未来几天内推出，并很快集成到 Cline。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel

Perplexity 评测 GPT-6 Astra：WANDR 基准最高分，单任务成本 11.98 美元

Perplexity 在 WANDR 基准上测试了 GPT-6 Astra，报告其得分为 0.682，单任务成本 11.98 美元，是目前测试过的所有模型中最高分，并显著领先 Fable 5.1 和 Opus 5。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel

LiteLLM 上线 GPT-6 Astra 当日支持，OpenAI 新模型主打计算机操作

LiteLLM 宣布即时支持 OpenAI 最新模型 GPT-6 Astra，该模型声称在计算机操作、浏览、软件工程、网络安全、科学和专业工作等领域达到领先水平。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel

Sam Altman：GPT-6 Astra 视频是 OpenAI 迄今最棒的一段，令他对未来充满期待

OpenAI CEO Sam Altman 称赞 GPT-6 Astra 视频是 OpenAI 迄今最喜欢的一段，并称 Astra 能快速完成你在电脑上能做的任何事情。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel

奥特曼：OpenAI 正尽快推送 Astra，“应该很快”

山姆·奥特曼表示，OpenAI 正以最快速度让 Astra 触达所有用户，并对用户的耐心表示感谢，称推送应该很快。

内容详情 · 原文链接

via AI Pulse | 全球 AI 动态简报 - Telegram Channel