标签： Gemini

Anthropic几个小时前宣布了一件可能被严重低估的研究： 几十个Claude智能体用11天60亿token，几乎完全独立地完成了人类几十年来一直想完成、原本预计仍需数年的费马大定理端到端形式化证明。 https://t.co/LRGD2KsIft 但“AI证明了费马大定理”其实不是这里最有意思的地方。 几个细节非常震撼： Wiles 当年的证明只有129页。Claude把它变成了约1300万行Lean代码，最终用到约29,500个…

Anthropic几个小时前宣布了一件可能被严重低估的研究： 几十个Claude智能体用11天60亿token，几乎完全独立地完成了人类几十年来一直想完成、原本预计仍需数年的费马大定理端到端形式化证明。 https://t.co/LRGD2KsIft 但“AI证明了费马大定理”其实不是这里最有意思的地方。 几个细节非常震撼： Wiles 当年的证明只有129页。Claude把它变成了约1300万行Lean代码，最终用到约29,500个…

Anthropic 用几十个 Claude 智能体耗时 11 天、消耗约 60 亿 token，端到端完成了费马大定理的 Lean 形式化证明。这件事的重点不仅在于“AI 证明了数学难题”，更在于它展示了一种新的 AI 科研范式：大模型 + 多智能体协作 + 外部验证框架，可以连续运转两周完成超大规模工程任务…

兄弟们！感觉前端工程师要失业了！ Codex 6 Astra 必装 Product Design插件，你也能轻松做超高审美的网站 以前写前端页面，要写各种标签元素，手动调整样式，而且还要反复修改 你只要用Product Design说一句需求，它会先理解产品定位、目标用户和页面场景，再完成 视觉方向、信息架构、交互逻辑和可运行页面，「视频看效果」。 我让它做了一个「G哥太空漫步」AI 科普个人网站，一句 Prompt 直接生成 Her…

兄弟们！感觉前端工程师要失业了！ Codex 6 Astra 必装 Product Design插件，你也能轻松做超高审美的网站 以前写前端页面，要写各种标签元素，手动调整样式，而且还要反复修改 你只要用Product Design说一句需求，它会先理解产品定位、目标用户和页面场景，再完成 视觉方向、信息架构、交互逻辑和可运行页面，「视频看效果」。 我让它做了一个「G哥太空漫步」AI 科普个人网站，一句 Prompt 直接生成 Her…

开发者@govan999999在X平台展示Codex新推出的Product Design插件，宣称只需一句自然语言需求即可生成包含视觉方向、信息架构与可运行页面的完整网站。该演示指向AI编程工具正从“辅助写代码”向“全流程产品设计执行”迁移，对前端开发的日常分工构成直接冲击。

OpenAI 在 Astra 官方文档里给了一段去 AI 腔的写作提示词，我觉得这个很重要，值得单独分享。 它写得很具体，要求模型少用术语，删掉空洞的过渡语和结尾总结，直接说清楚要做什么。还专门点名了“值得注意的是”“简而言之”“不是 X，而是 Y”这些常见表达。 比如“这不是性能问题，而是配置问题”，直接写“问题出在配置”就够了。一个意思已经讲清楚，结尾又换个说法总结一遍，也可以删掉。 我觉得这种提示比一句“写得自然一点”有用得多。…

OpenAI 在 Astra 官方文档里给了一段去 AI 腔的写作提示词，我觉得这个很重要，值得单独分享。 它写得很具体，要求模型少用术语，删掉空洞的过渡语和结尾总结，直接说清楚要做什么。还专门点名了“值得注意的是”“简而言之”“不是 X，而是 Y”这些常见表达。 比如“这不是性能问题，而是配置问题”，直接写“问题出在配置”就够了。一个意思已经讲清楚，结尾又换个说法总结一遍，也可以删掉。 我觉得这种提示比一句“写得自然一点”有用得多。…

OpenAI 在 Astra 官方文档中加入了一段专门“去除 AI 腔”的写作提示词，明确列出应删掉的空洞句式和术语。这件事说明 AI 厂商开始把“自然表达”当作产品能力来系统优化，而不再只靠开发者自己摸索提示词技巧。

高强度体验下来，感觉现在用 Astra 开发体验非常好，不像之前用 Fable 那么割裂。 Fable 真的各方面都很强，但太贵了，用过的都知道，$200 的订阅基本上用不了几次，根本就舍不得放开了用。 用 Fable 指挥其他模型会节约 Token，但是效果会打折扣，尤其在 UI 细节上会执行歪。 GPT 6 Astra 现在综合实力已经很强了，包括以前短板 UI 设计都做挺不错了，我用它做了几个原型细节都处理的蛮好的，做完原型接着…

高强度体验下来，感觉现在用 Astra 开发体验非常好，不像之前用 Fable 那么割裂。 Fable 真的各方面都很强，但太贵了，用过的都知道，$200 的订阅基本上用不了几次，根本就舍不得放开了用。 用 Fable 指挥其他模型会节约 Token，但是效果会打折扣，尤其在 UI 细节上会执行歪。 GPT 6 Astra 现在综合实力已经很强了，包括以前短板 UI 设计都做挺不错了，我用它做了几个原型细节都处理的蛮好的，做完原型接着…

开发者@dotey 高强度体验后认为，GPT 6 Astra 在编程与 UI 原型开发上的综合体验已接近 Claude 家族顶级模型（文中称 Fable 5），但在速度、成本与额度压力上明显更友好，标志着高阶 AI 编程助手市场不再由 Anthropic 一家独大。

完全重写了一版给GPT-6 Astra用的AGENT.md，个人用了一会以后感觉良好： #AGENT.md ## 沟通 – 面向用户的叙述默认使用简体中文；代码、命令和技术标识保持英文。 – 先给影响与结论，再给行动、待决策和必要证据；没有对应内容就省略。 – 使用简洁、连贯的段落；只有确实适合并列比较或按步骤执行时才使用列表。 – 使用具体、简单的词，避免无意义术语、套话、重复总结和未经请求的对比。 – 技术细节只保留对理解结论、判…

完全重写了一版给GPT-6 Astra用的AGENT.md，个人用了一会以后感觉良好： #AGENT.md ## 沟通 - 面向用户的叙述默认使用简体中文；代码、命令和技术标识保持英文。 - 先给影响与结论，再给行动、待决策和必要证据；没有对应内容就省略。 - 使用简洁、连贯的段落；只有确实适合并列比较或按步骤执行时才使用列表。 - 使用具体、简单的词，避免无意义术语、套话、重复总结和未经请求的对比。 - 技术细节只保留对理解结论、判…

一位资深 AI 开发者公开分享了他为 GPT-6 Astra 完全重写的 AGENTS.md 规则文件，核心是压缩冗余流程、强化开发者自主推进权。这件事之所以值得关注，是因为它展示了下一代大模型交互中“规则工程”正在取代“提示词工程”。

🚨开启 Codex 的这个新功能可以大幅度减少GPT-6的消耗！！ Codex之前是把历史反复压成摘要，任务越跑越长，摘要也跟着压了一遍又一遍。 前面的一些细节，就可能在这个过程中丢掉。 现在更新了一个实验性的功能，把上下文压缩换成了笔记 + 可搜索历史。 Astra 可以跨上下文窗口保留笔记，需要细节的时候，直接回去搜索同一个任务里之前的消息和工具结果。 这意味着，前面试过什么方案、为什么改这段代码、工具当时返回了什么，都有机会重新…

🚨开启 Codex 的这个新功能可以大幅度减少GPT-6的消耗！！ Codex之前是把历史反复压成摘要，任务越跑越长，摘要也跟着压了一遍又一遍。 前面的一些细节，就可能在这个过程中丢掉。 现在更新了一个实验性的功能，把上下文压缩换成了笔记 + 可搜索历史。 Astra 可以跨上下文窗口保留笔记，需要细节的时候，直接回去搜索同一个任务里之前的消息和工具结果。 这意味着，前面试过什么方案、为什么改这段代码、工具当时返回了什么，都有机会重新…

OpenAI 为 Codex 推出一项实验性上下文管理功能，用“笔记 + 可搜索历史”替代反复压缩摘要，据网友实测可显著降低 GPT-6 额度消耗，对长任务和复杂开发场景尤为实用。