====== 2026-09-16 ======

到底要不要学proof formalization？我已经觉得学代数是sell the soul to devil, 而不是追求几何直觉或者物理，再让我去做formalization？不如去写诗。

每天在跟G老师学习。今天学的是Oh-Tanaka的Local system of categories given by Liouville manifold bundle. 挺好。之前真的是思而不学则怠。

还是要每天整理一下，学了点啥，要不只是假装听得懂，睡一觉都忘了。