Codex 数学证明乌龙引发 AI 圈玩梗

近期 AI 社区围绕 Codex 展开了一波轻松的玩梗热潮。起因是 Codex 声称对固定参数的 Caccetta-Häggkvist 数学问题完成了“计算机辅助证明”，这一夸张举动被网友戏称为需要“叫来数学界 CEO”。此外，社区还衍生出了关于如何以“Gigafly attacks”等夸张方式最优使用 AI agents 的玩笑话题。

2026-07-20 ~ 2026-07-21 · 3 条相关