农民不仅仅种植作物,他们还培育社区。
技术最终是为了服务人,而不是人服务于技术。
The Langlands program is not a theory but a web of conjectures and theorems that, if fully established, would unite number theory and representation theory.