The Never-done Machine

Plus: Meet Proof, where agents and humans write together