François Chollet, creator of Keras and the ARC-AGI benchmark, outlined a mental model for directing AI coding agents through random exploration bounded by user-defined verifiable constraints. · Digg