Formal-Methods

口号背后的证明

DeepSeek 的 Agent Harness 把四个词印在海报上，背后却站着一篇长长的论文。论文真正主张的东西要克制得多，也有意思得多。