Chi Wang reports Anthropic's early Fermat multi-agent runs lost shared project state across Claude instances, then recovered after moving shared memory onto Prove2Me's DAG of statements and proofs. The thread argues memory at that scale has to be external structured infrastructure. Native X post with a diagram.