可微性的本质不是"变化率"，而是非线性映射在局部被线性映射精确逼近。微分 df_p 不是数，是切空间之间的线性变换。

1+1=2 为什么必须依赖公理？从直觉推导的循环、弗雷格的失败、到用万有性质代替内部描述——范畴论没有绕开公理，但给了它一个更干净的接口。

从几何视角理解大模型的推理能力

AI 还是太好用啦～

从希尔伯特空间到自我意识，探讨宇宙为何存在、意识为何诞生 ———— 种基于逻辑自洽的哲学推演。