OpenAI GPT-6 Astra 是 AGI 吗？[视频]
![OpenAI GPT-6 Astra 是 AGI 吗？[视频]](https://www.chat-gpts.plus/wp-content/uploads/2026/09/ai_cover_1-151-768x403.jpg)
一条讨论 OpenAI 下一代旗舰模型 GPT-6 Astra 是否已接近 AGI（通用人工智能）的视频在技术社区引发关注。目前公开信息显示，该视频更多是技术推演与观点碰撞，而非官方发布，但它把“大模型能力上限”和“AGI 定义”这两个议题重新摆上台面。
标签： ChatGPT
你的Roku TV免费提供AI垃圾内容（如果你好这口的话）
Fairground Entertainment 推出名为 AI Creator TV 的免费广告支持频道，将 AI 工具制作的短片包装成 24 小时播出的流媒体电视频道，现已登陆 Roku、Xumo Play 和 Canela.TV 等平台。这件事的意义在于，AI 生成内容第一次以传统电视节目编排的形式进入…
Anthropic 曾试图审查的诗集
一位编辑在整理 1930 年出版、今年进入公共领域的诗集《Intellectual Things》时，发现 Claude AI 的对话界面拒绝为其中一首诗提供解读；随后他使用 API 方式提问，得到了完整回答。这件事显示出 AI 内容审核的边界并不稳定，同样的模型在不同入口可能给出截然不同的响应。
Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码
Anthropic 旗下模型 Claude 完成费马大定理的首次完整形式化证明，生成超过 1300 万行 Lean 代码。这个原本专家预计需要多年才能推进的项目，在一个月内完成，也是目前最大的 Lean 形式化证明。
Claude 完成 Fermat 大定理的首个全机器校验形式化证明
Anthropic 旗下的 Claude 用 11 天完成了费马大定理的首个全机器校验形式化证明，把 1995 年 Andrew Wiles 的人类证明转化为 Lean 证明助手可以逐步验证的代码。这件事的意义在于，AI 不仅能“解题”，还能把跨越数百年数学研究的知识链条补全成机器可验证的形式。
Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明
Anthropic 的 Claude 通过多智能体协作，在 11 天内自动完成了费马大定理的端到端计算机形式化验证，将原本预计需要数年的数学工作压缩至两周内。这项成果展示的并非 AI 提出新证明，而是 AI 在严格形式化验证领域的规模化能力。
日本称5500亿美元协议取得进展，AI与芯片成下轮谈判关键。
日本贸易官员表示，日美总额5500亿美元的投资协议第三轮项目将以AI和半导体为核心，这是在该协议累计仅落实1090亿美元、且尚未覆盖科技领域后的关键转向。相比欧盟“承诺采购美国AI芯片”的模式，日本获得了自主选择投资方向的机制。
Businesses in China are experimenting with ways to package and market AI tokens to ordinary consumers, including as credit card rewards and telecom plan bundles (Kinling Lo/Rest of World)
中国商家开始把 AI 代币（AI tokens）当作类似积分或话费套餐的消费品来打包营销，例如作为信用卡奖励或电信套餐权益。这标志着 AI 能力正在从开发者 API 走向大众市场的渠道化销售。
Obsidian 补齐了最后一块拼图，让 Gemini 和 Gemini Notebook 真正可用
Android Police 作者提出了一套个人知识管理工作流：用 Gemini Notebook 做资料来源分析、Gemini 补足跨领域理解，再以 Obsidian 作为所有产出的长期存储与连接层。真正让 Gemini 和 NotebookLM 类工具“可用”的，恰恰是笔记软件的本地化沉淀能力。
两项实验显示，与聊天机器人交谈七分钟比阅读事实清单更能削弱阴谋论信念
卡内基梅隆、MIT 和康奈尔的研究团队在两次真实突发事件后，用大模型与阴谋论信奉者进行约七分钟对话，成功削弱其信念，效果优于阅读事实清单，还能延续到数周后的新事件。