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」频道最新
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11
- 用 prompt 造硬件:一次对话让智能体组装定制设备寄到家 — paraschopra · 2026-09-11
- 模型之外才是关键:一文拆解 RAG 到多智能体的六大 AI 架构 — goyalshaliniuk · 2026-09-11
- 零基础开发者自建分层记忆架构，仅 20k token 记住一年对话 — matteoianni · 2026-09-11
- Warp 六个非工程团队全用 Linear 和 Claude Code 工程化运作 — mon__lim · 2026-09-11