AI 新闻

OpenAI 发布开源工具 Codex Security CLI，可在命令行自动发现并修复代码仓库中的安全漏洞，已内部修复超 3000 个严重缺陷，与 Anthropic Claude Security 形成直接竞争。

Coding Tools MCP v0.2.2 为AI聊天和智能体提供直接操作代码的能力，通过模型上下文协议（MCP）实现文件编辑、终端命令执行等，标志着AI从对话辅助向主动编码代理的演进。

OpenAI最新报告显示，科学家正利用AI编程代理加速科学计算软件的开发与迭代，尤其在基因组学等领域显著提升研究效率。

Hacker News 上展示了一个形式化验证的3D CSG库，强调用93行规范取代对上千行AI生成代码的信任，引发对AI代码可靠性的讨论。

AI 编程工具 Cursor 宣布印度已成为其第三大市场，将通过本地化定价、扩大招聘和加强企业销售来深化印度布局。

Boffin 是一个为 AI 编程智能体增加“资深工程师”能力层的工具，旨在提升代码生成质量和项目级理解。

Cursor 用新 Agent Swarm 系统将 SQLite 重写为 Rust，仅凭文档完成，测试满分；旧系统则被合并冲突卡死。实验表明，将规划与执行分离后，廉价模型也能胜任大部分编码工作。

一项覆盖49国763名计算机教师的调查显示，68%的教师因AI改变了考试形式，转向口试、监考和项目制，但近半数缺乏AI融入课程的成功案例。

TechCrunch记者体验了OpenAI新推出的AI键盘，认为它对部分程序员来说很有趣，但对大多数用户而言可能难以理解。本文解读这款产品的设计意图、目标用户以及行业影响。

Cognition收购对话设计公司Poke，将其交互风格融入编程助手Devin，标志着AI助手从“能用”到“好用”的竞争升级。

Poolside 发布第三款代码模型 Laguna S 2.1，通过训练模型在长任务中持续检查、修正并坚持尝试，以紧凑参数量超越多个更大规模的竞品，并仅用不到10美分解决了一个自1975年悬而未决的数学问题。

日本 IT 服务巨头 NTT DATA 利用 ChatGPT Enterprise 和 Codex 为 9000 名员工赋能，将安全事件分析时间从数小时缩短至 30 分钟，并规模化推广安全 AI 应用。