Chi Wang(@Chi_Wang_):Anthropic says its first Fermat runs failed not on math, but because dozens of Claude agents lost track of shared project state. They only succeeded after moving to Prove2Me's DAG of statements and proofs. At that scale, "memory" must be external, structured infrastructure, not prompts.

Chi Wang

@Chi_Wang_

Agentic AI & multi-agent systems. Created AutoGen (now AG2) and FLAML. Ex-@GoogleDeepMind, ex-@MSFTResearch, ex-@Meta. PhD @UofIllinois, BS @Tsinghua_Uni.

Joined June 2023

845 Following 6.8K Followers

Chi Wang@Chi_Wang_

2026.09.05 19:05

Anthropic says its first Fermat runs failed not on math, but because dozens of Claude agents lost track of shared project state. They only succeeded after moving to Prove2Me's DAG of statements and proofs. At that scale, "memory" must be external, structured infrastructure, not prompts.