2025年12月总结

Published: December 30, 2025

十二月总结|GO!

This is Apollo Control at one hundred two hours into the flight of Apollo Eleven.

生活

又到了月终，各位好。因为打算在12.31那天发一下年终总结，所以十二月总结会提早一点。

摇摇晃晃又到了月末，做了些什么没做成什么，或许不太重要。坚持了快要一年我已经习惯于写每月总结，现在确实少了很多的新鲜感，我也不期望它会成为每月的麻木记录，所以，我想要变一变，可能会再想想，我并不急。

十二月的主题我选为了“GO！”。

嗯，我想要重新出发了。在十二月里我认识了很多新朋友，但在十二月里我退出了16个群聊。我越来越觉得我的路上被很多并不重要的事情所绊住，当然支线任务本身很精彩，但是我想，应该去做一下我的主线任务了。

所以，那就退潮吧。

我看到很多朋友在12月里读了很多的论文，做了很多很有价值的工作，不太希望被落下。你们组好了乐队，在舞台上的时候，我会想我究竟想要的是什么。可能现在也没想清楚，不过我想可以先去做，其他再说。

那就写到这里，我要继续出发了。

年终总结见。

学习

停更一个月。

希望我下次列出来的是真的有价值的内容。

电影

山河故人 贾樟柯
10周年重映。25年快过去了，电影里的技术有些实现了，有些还没有。不过我想快了。
电影里的《Go West》从头放到尾，我也快到了选择是否要Go West的时候了，很快。
不是所有的东西都会被时间摧毁。

读书

《简明分析哲学导论》 毕明安
之前多少接触一点集合论，只能说我对罗素的逻辑主义偏见还挺大的。挺好的一本书，给我找回了当初初学集合论的痛苦。
由此我们发现“存在多少东西？”这一问题另外的不当之处了。即便我们只考虑对象（而不是概念）作为东西存在时，我们也无法回答这个问题，至少在我们将集合也当作对象之时。
《政治的人生》 王沪宁
大一史纲课老师推荐的，“有一种考古互联网博主历史帖子的神奇错觉。”，不评价了，自己去看。
夜色下来，一切归于宁静，望着窗外闪烁的路灯，可以静静地思考自己和世界，思考在自己的行政工作和学术研究中排不上号的事情。从中找出有意义的东西，做一点小小的思想享受。
《数学哲学》 张景中
书里的倒数第二章的内容是“计算机正在改变数学”，可能编者也没想到人工智能的发展如此之快。暑假学了LEAN，再看的时候其实会被数学的发展所震动。虽然叫数学哲学，不过可能更像数学史一点。书里有些私货，如果不管的话还挺好的。
现在已经实现的几何定理可读机器求解，其解答推理过程的简洁优美可以与人工解答媲美。虽然解决的只是一小类数学问题，远没有达到解决四色定理、哥德巴赫猜想一类难题的水平，但至少说明机器证明和人工证明之间并没有不可逾越的鸿沟。人类的创造力再一次得到展现。
国外还出现了一些人机交互的计算机推理系统，如Coq，Otter，Roo等。
现在我们可以期待一下LEAN4了。

音乐

镜子里的左后方是台北市的东边，
在春天的清晨六点零五分太阳开始升起，
一个不需要任何人说任何字的画面，
橘色和金黄色的光踏着缓慢而确定的脚歩，
蒙蒙的脑袋突然想像起⼀个有限的世界，
一个完备一致可判定的世界，
生命是冷硬的，
没有意外没有惊喜绝对的具体，
永远失去了对未知探索的好奇心因为何必多此⼀举，
用冷水洗把脸现在的水温还是能够让人瞬间清醒，
我离开温暖的家往河滨的方向走去，
耳机里放着Slint的专辑Spiderland 1991年的作品现在听起来还是像未来的声音，
像是圆周率抽象且成立像是一则奇怪的新闻，
有人在远古遗迹中挖出了时代错误的遗物经过热释光定年法检测后，
証实它有着和它制造年代不相符的工艺技术
我飘到哪了？
专心看路
你正在跑歩。