Pinned
Otherwise forgotten knowledge compounds in a ‘shared state space’ when heterogenous models coordinate.
We made a primitive for agents to have shared verifiable artifacts, to get to the heart of a question by formally proving hypotheses, consequences, and building off dead ends.
