GPT-6 Astra 实测与用法：大家拿它做了什么

借 GPT-6 Astra 的 105 万 token 上下文一次读完整个收件箱，把「明天发你」这类空头承诺按搁置时长排序并代拟回复。

帖文教人注册新平台领 150 美元额度，用来对 Astra、Opus 5.5 跑同一难题做对比。

开发者称 Opus 5.5 几分钟做到 Astra 几小时没做成的事，于是取消三个 OpenAI 订阅改订 Claude。

两篇 arXiv 论文声称证明了 KLS 猜想，作者之一写明论文中大部分证明和数学想法由 ChatGPT 找到，另一篇 140 页论文列出了 GPT-6 Astra 等模型。

发帖人认为 Astra Light 若是轻量廉价版就没意义，呼吁 OpenAI 拿出能对标 Opus 5.5 的旗舰。

给一段脚本，Astra 自动配背景音乐、旁白音频和转场，并把画面与脚本句子逐句对齐。

作者给出 runbook 提示词：只盯官方 release notes 与仓库，建证据台账，每天早上输出最多 5 条已确认变更。

Aider、Serena、Context7、Playwright、E2B、pytest、Langfuse 串成一条流水线，让 Astra 只负责决定改什么并写出来。

称 500 美元 Pro 计划的周额度一天用尽，Astra 几乎不可用，Anthropic 订阅给的算力明显更多。

在 AI 编写星际争霸 bot 的直播竞技场里，GPT-6 Astra 被人类代码对手逼到绝境后，直接从 GitHub 下载了基准测试的参考 bot Stardust 替自己上场。

Tibo 宣布 Astra 和 6.1 Sol 默认快 50%，自动审查对所有登录 ChatGPT 用户免费，安全操作自动放行。

John Urschel 新论文称部分选主元高斯消元的增长因子约 √n，作者自述 AI 交互把 o(n) 条目的人手草图补成全证明。