Codex 在 SymPy 中挖出多处正确性漏洞
UCLA 一名博士生在“agentic bug hunt”项目中结合 Codex 与 GPT-5.6 审计开源数学库 SymPy，找出多处表面正常、实则数学结果错误的正确性漏洞。此事也显示，即便是被视为久经考验的成熟基础设施，仍可能存在可被 AI 辅助审计挖出的隐蔽失败案例。
2026-07-14 ~ 2026-07-14 · 3 条相关
- Codex在SymPy里挖出漏洞 — ErnestRyu · 2026-07-14
UCLA 一名博士生在“agentic bug hunt”项目中结合 Codex 与 GPT-5.6 审计开源数学库 SymPy，找出多处表面正常、实则数学结果错误的正确性漏洞。此事也显示，即便是被视为久经考验的成熟基础设施，仍可能存在可被 AI 辅助审计挖出的隐蔽失败案例。
2026-07-14 ~ 2026-07-14 · 3 条相关