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

日本用户实测 Astra 直接生成图片与 FireFly 里 GPT Image 2.5 的画质差异，并称 Astra 会自行修正失误。

数学家 Andreas Thom 称有证据显示 Astra 训练数据含他与 Gábor Kun 未发表的 soficity 猜想讨论，随后被当作模型独立成果公布。

视频展示在 Codex 中用 Astra 生成一句 hello 的代价，吐槽长上下文与调用成本。

因 Mac 不兼容，作者让 Astra 照着这款营收 760 万美元的游戏重做网页版，半小时内拿到功能齐全的可玩版本。

作者用 Astra 配合 Tripo AI 插件和 Blender，做出带完整 3D 动画、可玩核心动作、结尾还有飞龙的类 RuneScape 游戏 v0.1。

OpenAI 报告用约 1 万个 agent 在 88 小时内找到纳维-斯托克斯方程的反例构造，再由 GPT-6 Astra 用 17 小时在 Lean 中形式化验证，论文 166 页，Clay 尚未认定。

开发者把 Astra 接入 Reelful，实测能把一个视频的剪辑风格套到另一个上，字体偶有偏差但整体接近。

博主夸一个 Blender 里的 DNA/蛋白质建模工具，说接下来要用 GPT-6 Astra 也跑一遍。

作者通过 ChatGPT 里的 MagicPath 插件让 Astra 做 iPhone Duo 和 iPad mini 的对比，直接产出结果，感叹「惊奇时代」。

开发者用 Rust 工具 mtdt 加 300 多个乐理技能库，让 Astra 独立写出可印刷的赋格乐谱，全程不依赖其他软件。

爆料称 Grok 4.7 两天后发布、训练用了 SpaceX 数据，并把 GPT-6 Astra 的 AA 智能分 53 作为对标基准。

雄性果蝇完整中枢神经连接组开源两天后，有人用 GPT-6 Astra 把 16.6 万神经元装进 Minecraft，但那些打游戏视频是过拟合回放，不是真在玩。