Bend 语言作者推出证明专用 agent Bender

Taelin @VictorTaelin原推发布于 2026.09.18

在 X 上打开原推

Also, in a last hour decision, we're launching Bender, an AI agent specialized in Bend proofs. For now, it is just a thin wrapper over public models. I don't recommend buying it yet. On the upcoming months (or less), we'll integrate it with SupGen, our symbolic program synthesizer, with the goal of making it orders of magnitude faster than LLMs. But that's NOT shipped yet. If you do want to buy it now, we're offering a 50% founder discount. These credits will be usable for everything we offer in our ecosystem in the future.