ai_programming

OpenAI Codex

Codex是OpenAI发布的一个轻量级编码代理工具，可以在终端本地运行，同时支持与ChatGPT账户或API密钥集成。项目主要由**Rust**开发,支持MCP服务器、非交互模式、沙盒及审批规则等功能，还支持TypeScript SDK …
ai_programming

OpenAI Codex

Codex是OpenAI发布的一个轻量级编码代理工具，可以在终端本地运行，同时支持与ChatGPT账户或API密钥集成。项目主要由**Rust**开发,支持MCP服务器、非交互模式、沙盒及审批规则等功能，还支持TypeScript SDK和GitHub Action等扩展使用方式。
📅 2025-11-30 ⏱️ 4 分钟 📝 1528 字
#OpenAI #Codex #Rust
big_companies

【翻译】打造 AI 原生工程团队：编码智能体如何加速软件开发生命周期

OpenAI关于通过将复杂的编码智能体集成到软件开发生命周期（SDLC）中，来实现构建人工智能原生工程团队的转变。涵盖了从规划和设计蓝图到生成完整的构建实施、测试以及操作维护。通过将起草测试、处理样板代码和进行初步代码审查等机械性工作授权给 …
big_companies

【翻译】打造 AI 原生工程团队：编码智能体如何加速软件开发生命周期

OpenAI关于通过将复杂的编码智能体集成到软件开发生命周期（SDLC）中，来实现构建人工智能原生工程团队的转变。涵盖了从规划和设计蓝图到生成完整的构建实施、测试以及操作维护。通过将起草测试、处理样板代码和进行初步代码审查等机械性工作授权给智能体，团队的工作效率得到大幅提升。这种转变使工程师能够将注意力集中于高级架构、系统推理和产品意图，保持对关键战略决策和最终代码质量的最终所有权。
📅 2025-11-29 ⏱️ 19 分钟 📝 7539 字
#AI #Coding Agent #SDLC
papers

DeepSeekMath-V2 技术白皮书：迈向自验证数学推理

本文介绍了DeepSeekMath-V2，旨在克服传统上依赖最终答案的数学推理奖励机制的局限性。其核心创新在于通过训练一个专门的证明验证器来评估推导的逻辑严谨性，从而实现自我可验证的数学推理能力。该系统引入了元验证过程，以确保验证器识别的错 …
papers

DeepSeekMath-V2 技术白皮书：迈向自验证数学推理

本文介绍了DeepSeekMath-V2，旨在克服传统上依赖最终答案的数学推理奖励机制的局限性。其核心创新在于通过训练一个专门的证明验证器来评估推导的逻辑严谨性，从而实现自我可验证的数学推理能力。该系统引入了元验证过程，以确保验证器识别的错误是准确的，并利用此验证器作为奖励模型来训练生成器进行自我评估和迭代优化。这种生成与验证的协同作用创建了一个循环，通过扩展计算规模来自动标注难以验证的新证明，从而提高了系统的能力。
📅 2025-11-29 ⏱️ 17 分钟 📝 6424 字
#AI #DeepSeek #Math