Vibe News

有人扒了最近很火的一门新语言，专为AI编程时代设计：人写规则，AI写实现和证明，编译器检查证明对不对。官方演示里，写清楚玩家不能碰旗子这条规则要五十八行代码，AI证明它又写了四百四十二行。批评者说这是vibe coding陷阱：不知道这领域早有更好方案，就把整套语言和编译器搭了出来。他让AI用形式化验证语言SPARK重写同一逻辑，代码短得多，验证工具十二项检查全通过。评论区吵翻了，有人翻出这语言自己写的说明，编译器九成九由AI写成还没审计；也有人扒出开发者早年做过验证项目，认为那条指控只是一场误判。