你让 AI 找个 bug,它顺手把别名分析也实现了
你有没有过这种时刻:让 AI 帮你改个变量名,它顺手把整个模块重构了,还附赠一份四百行的测试。 这事我吐槽过不止一次。这次来个更狠的——你让大模型从内核补丁里学找 bug,它把别名分析也一并实现了。 9 月 12 号 arXiv 上那篇 TyPatch,就是这么开场的。
你有没有过这种时刻:让 AI 帮你改个变量名,它顺手把整个模块重构了,还附赠一份四百行的测试。 这事我吐槽过不止一次。这次来个更狠的——你让大模型从内核补丁里学找 bug,它把别名分析也一并实现了。 9 月 12 号 arXiv 上那篇 TyPatch,就是这么开场的。