【AI再破数学神题！】近日，数学爱好者nor借助GPT-6 Astra，成功推进了困扰数学界57年的“摆圆”难题。该问题旨在寻找将N个单位圆盘塞入最小大圆的最优排列方案。自1969年提出以来，仅有N≤14及N=19被严格证明。此次，nor在AI辅助下，一口气完成了N=15、16、17、18和20的严格证明。GPT-6 Astra通过几何约束缩减排列可能，结合计算机枚举与人类引导验证，最终确立最优解。这一突破彰显了AI在复杂数学证明中的强大潜力，激发大众探索热情，展现出“数学2.0”时代的新气象。

9月4日凌晨，OpenAI正式发布新一代旗舰模型GPT-6 Astra，引发广泛关注。首批用户实测显示，Astra能力边界大幅拓展：不仅能在虚幻引擎中耗时一周搭建“曼哈顿”并生成独立Agent，还具备自我检查与修复代码的能力。此外，它能直接操控Final Cut Pro等专业软件完成视频剪辑等复杂工作流。然而，Astra在处理长程任务时仍存局限，易陷入局部细节，缺乏自主定义目标与终点的能力，仍需人类充当“项目经理”进行引导与决策。总体而言，GPT-6 Astra在持续执行复杂任务上表现惊艳，但距离完全脱离人工干预的AGI时代仍有距离。

【GPT-6 Astra接入宇树G1，斯坦福团队打造“厨房管家”】近日，斯坦福团队发布HomeBody项目，将GPT-6 Astra大模型接入宇树G1人形机器人，使其能在陌生厨房中自主完成物品归拢、丢弃纸盒及寻物递送等复杂任务。该系统创新性地让大模型直接调用机器人技能库，通过探索建图、构建数字孪生和自主规划三步，无需额外训练即可在新环境泛化执行。这标志着大模型控制机器人的范围从桌面拓展至全屋。不过，受限于硬件过热及推理成本等技术瓶颈，该方案距离普通家庭普及仍有一段距离。

【AI数学高墙倒塌！GPT-6 Astra刷穿FrontierMath Tier 4】近日，GPT-6 Astra攻破FrontierMath Tier 4最后一道难题。这套曾被视为“大模型数学噩梦”的研究级测试所有题目均已被AI解出，Epoch AI宣布该层级“饱和”。Tier 4于2025年推出，初期模型正确率不足2%。仅过一年多，Astra便将成绩提至97.6%并补齐最后拼图。但数学未被完全攻克，官方已推出未解开放问题及形式化验证测试，Astra在后者68题中仅解出2题，AI探索仍在继续。

【GPT-6 Astra今日全量开放！官方呼吁提示词“做减法”】9月5日，OpenAI官宣GPT-6 Astra全量开放，高级付费用户已可在ChatGPT Work和Codex中使用，API同步上线。针对此次升级，OpenAI工程师给出反直觉建议：清理冗余提示词。因Astra对指令更敏感且具备强推理能力，繁杂的旧规则反易导致其停滞冲突，“模型越强，规矩应越少”。能力方面，Astra在3D世界构建、图纸转模型及视频生成等任务中表现惊艳。在OSWorld测试中准确率升至72.6%，耗时缩短近半。AI开发正式迈入“减法时代”！

9月4日消息，OpenAI最强模型GPT-6 Astra在AI“智商”评测ARC-AGI-3中成绩逼近100%，引发热议。该模型通过生成“符号世界模型”，将环境抽象为逻辑符号并在脑内模拟推演，操作效率远超人类。然而，ARC Prize基金会总裁Greg Kamradt却对此泼冷水。他指出，该高分严重依赖豪华外挂与昂贵算力，单题测试成本高达360美元，全套测试需耗费1.8万美元。这种靠“钞能力”拼出的成绩虽证明AI正变得更聪明，但距离真正能适应未知世界的通用人工智能（AGI）仍差得很远。