Bend 2 trial reportedly uncovered four false laws proposed by an AI agent

A team testing Bend 2 on real projects says an AI agent proposed roughly 20 laws for one project, but attempts to prove them showed four were false. The counterexamples led the team to revise its implementation. It says it also rewrote one correctness-critical part of a TypeScript project in Bend, compiled it to JavaScript and left the rest of the app alone. The team claims that part is now bug-free and four times faster, but says proving every part of an app can cost too much time and too many tokens.