Anthropic Fermat Proof Signals Reproducible Autoformalization

Anthropic presented a Claude-generated Fermat proof backed by a public Lean repository, pinned dependencies, replayable builds, and explicit verification boundaries. Multi-agent coordination initially failed through lost shared state and improved with external DAG-based memory, reinforcing structured persistent context; evidence that the workflow scales beyond a showcase remains limited.