AI 审查随机函数只盯代码,竟没跑一下就漏掉种子为零的 bug

zack_overflow · x · 2026-09-07

开发者 zackoverflow 让 AI 编码助手 Astra 仅通过阅读代码来检查 random 函数的正确性。Astra 发现如果随机种子为 0,函数会一直返回零——但这正是靠“看代码”得出的结论,实际上种子为 0 时直接跳过调用即可,模型的推理方式暴露了局限。作者调侃:看来我们还没到 AGI 时代。

原文链接 →

「Fun」频道最新

更多「Fun」频道 AI 资讯 →