随记2026年7月30日老师说，引理不必命名——太像AI写的，容易被拒。曾几何时，命名和破折号还是修养的徽章。后来人类为了抵御不可束缚的造物，选择了自废武功。呵。投稿时，CVPDE能直接注册，arXiv倒要人背书了。这世道，连门槛都长得古怪。