Codex在成熟库里找出失败案例
ErnestRyu · x · 2026-07-14
SymPy 里的 agentic bug hunt
作者补充说，SymPy 作为数学基础设施，原本被认为已经很“经得起考验”。但在这个项目里，他的 UCLA 博士生 Xinjie 和 Hyunsik 使用 Codex + GPT-5.6，仍然在其中找到了很多“非常简单”的失败案例。
这强化了一个信号：即便是成熟、核心的开源项目，编程智能体也能作为真实的代码审计/漏洞发现工具发挥作用。
所属事件:Codex 在 SymPy 中挖出多处正确性漏洞(3 条相关)→
「编程与Agent」频道最新
- BELL stack 开源：浏览器+Agent 框架+iMessage+支付，一套搭个人智能体 — jeff_weinstein · 2026-10-27
- 法律 AI 公司 Legora 在 Modal 上并行跑 2000 个 agent eval — blelbach · 2026-10-27
- 两名工程师用 AI 3.5 个月重建 FedEx 供应商计费核心,原估 7-8 个月 — alex_verem · 2026-10-27
- AA 实测 GPT-6.1 Terra:编码 Agent 得 48 分,成本仅前代三分之一 — ArtificialAnlys · 2026-10-27
- Shift-1 模型路由器发布：编码 Agent 成本最高降 55% — ypatil125 · 2026-10-27
- 零基础用户用 Claude Code 两周 vibe coding 出一款 Godot JRPG — ADHDavid · 2026-10-27