TLDR：数学抽象在压缩下游工作时很有价值：证明变得更短，重复的模式消失，并且库变得更容易扩展。
1分钟阅读 · 2026年5月21日
2026 · mathematical-progress · evaluation · reading · systems