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正式推出品牌史上能力最强大模型GPT-6 Astra，官方将这款模型定义为全球智能水平最高、对齐效果最优的生成式AI模型。其训练工作在美国德州Stargate超算基地完成，动用超过10万张GPU完成预训练，也是OpenAI首次大规模使用前代模型参与监督训练的旗舰产品。
那么它的能力有多强?Epoch AI联合曼彻斯特大学发布 FrontierMath Erdős（FME）基准测试论文，GPT-6 Astra 成为全场唯一交出有效答卷的大模型。
在包含68道人类悬而未决的Erdős数学难题的严苛测试中，它一举攻克5道长期未解猜想，其余GPT-5.6、Claude Fable 5.1等四款主流AI全部得0分。
测试选用全部没有标准答案的开放难题，杜绝训练集“背答案”，要求AI输出Lean形式化证明，由内核自动核验对错;所有模型统一预算300美元、限时72小时，条件完全公平。
标准测试环节，GPT-6 Astra成功解决2道题目，放宽算力预算的追加实验中又攻克3道，其中就包括Erdős18岁提出、自称“人生第一个正经问题”的1931年解离集猜想，以及极值图论赫赫有名的Erdős-Sós猜想，这些题目数十年来困住无数顶尖数学家。
五道成果里，既有构造反例推翻旧猜想，也有完整证明新命题，难度非同一般。
GPT-6 Astra完成五道题全部尝试合计消耗超22万美元算力，而标准基准测试本身只花了约2万美元，按300美元一次、3%成功率计算，解出一道重要开放问题的期望成本约为1万美元。
不过也有论文指出，模型有可能想出正确思路，却无法转换成Lean形式证明;基准只考察解题，而数学研究同样看重提出新问题，68道难题依旧有63道没被解开，即便OpenAI宣布“AGI时代到来了”，但距离全面攻克高阶数学还有很长距离。
via cnBeta.COM - 中文业界资讯站 (author: 稿源：快科技)
据路透社报道，知情人士周五称，Anthropic预计最早将于10月中旬开始推介其首次公开招股(IPO)，并在11月美国中期选举前几天完成上市。两位知情人士表示，Anthropic原本预计最早将于下周公开其IPO招股说明书，这是启动此次上市最后阶段的关键一步。但他们补充说，该公司如今预计要到9月下旬才会公布招股书，并提醒包括时间安排在内的计划仍可能发生变化。
这一调整意味着Anthropic上市计划推迟。一些投资者认为，Anthropic上市时的估值可能达到2万亿美元，这将成为有史以来规模最大的IPO之一，也将成为市场对快速增长的AI行业接受程度的一次重大考验。
企业在推进IPO过程中，经常会根据市场状况、监管审查以及其他准备工作调整上市时间，因此此类变动并不罕见。
一位知情人士表示，作为IPO流程的一部分，Anthropic正寻求敲定一项150亿美元的循环信贷额度。完成后，包括参与此次融资的银行分析师在内的分析师预计将与该公司会面。
这位知情人士表示，企业通常会在分析师会议与公开IPO招股说明书之间留出几周时间，不过由于分析师已经非常了解Anthropic，预计Anthropic此次两者之间的时间窗口会更短。
此次上市预计将成为史上最受瞩目的IPO之一，因为投资者正寻求通过公开市场布局快速成长的AI行业。与此同时，包括OpenAI在内的其他AI公司也可能进行上市。埃隆·马斯克(Elon Musk)旗下SpaceX在今年6月上市，创下1.77万亿美元的估值纪录。
据知情人士透露，摩根士丹利、高盛、摩根大通和花旗等银行正在与Anthropic合作推进此次IPO。
截至发稿，Anthropic拒绝置评。
via cnBeta.COM - 中文业界资讯站 (author: 稿源：凤凰网科技)
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
