Zero

Zero, a new programming language designed for AI agents, has been released. The language uses a graph-based program database where agents query, submit checked edits, and prove results, aiming to tigh…