Codex 发现 SymPy 正确性漏洞
ErnestRyu · x · 2026-07-14
这条线程展示了一个用 Codex + GPT-5.6 做开源软件审计的案例：UCLA 的博士生在 SymPy 里找到了多处“看起来正常、实际上数学错误”的简单 bug。
作者强调这些问题尤其危险，因为 SymPy 会静默返回一个格式正确但数学上不对的表达式。项目结论是，agentic coding agents 在这类审计中很有效：它们不仅能发现正确性缺陷，还能把问题整理成可复现的测试用例，方便后续调试和修复。
所属事件:Codex 在 SymPy 中挖出多处正确性漏洞(3 条相关)→
「编程与Agent」频道最新
- 受 OpenAI 万机群启发，开发者开源 agent 众包解题平台 — Benjaminsen · 2026-09-11
- 开源 Mac 应用 Lucid：只在跑 AI 时阻止笔记本休眠 — Pitiful_Hedgehog_600 · 2026-09-11
- 20kb 函数匹配达成,banteg 召集 AI 逆向 Snail Mail 剩余 20 个挑战 — banteg · 2026-09-11
- Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关 — IgorCarron · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11