Codex在SymPy里挖出漏洞
ErnestRyu · x · 2026-07-14
用 Codex 在 SymPy 里找漏洞
Ernest Ryu 介绍了一个“agentic bug hunt”项目：他的 UCLA 博士生使用 Codex + GPT-5.6，在数学库 SymPy 中找到了许多“出人意料地简单”的失败案例和 bug。
这条信息的核心
- SymPy 是一个核心数学基础设施项目，通常被认为已经经过充分实战检验。
- 这次工作表明，Codex 这类编程智能体仍然能在成熟代码库里挖出不少明显但真实的问题。
- 结论更偏向“智能体能用于真实漏洞发现/代码审计”，而不只是写 demo。
所属事件:Codex 在 SymPy 中挖出多处正确性漏洞(3 条相关)→
「编程与Agent」频道最新
- HF Hub CLI 大更新:缓存去重省 19GB,GPU 任务可重试重跑 — yb2698 · 2026-10-26
- 一条 Prompt 生成完整 Blender 动画,作者全程未手动建模 — iamfakhrealam · 2026-10-26
- 用户用 Claude Code 拆解本田车机：发现 root 后门与静默装 APK — IndraVahan · 2026-10-26
- Claude Code + MCP 接 Google Maps/Apollo/LinkedIn，搭年省万美元的获客引擎 — aryanXmahajan · 2026-10-26
- Karpathy 公布 CLAUDE.md 十条军规，治 AI 编码技术债 — mdancho84 · 2026-10-26
- Agent 时代依赖取舍新标准：省 20 行代码就别引库 — gethackteam · 2026-10-26