这休息一天感觉跟没休息一样，又什么事也没做，好难受，感觉休息一天不如不休息。

感觉我生来就应该是要浑浑噩噩地过日子的，我有能过这种日子的能力，可惜去学数学了。和人打交道是比烂，和勾八数学打交道不行，只能和勾八做数学的人比烂。搞数学的能不疯也是神人了。这个东西最糟糕的就是不管你是做什么的，在绝大多数时候绝望和寂寞感都会包围着你。想要缓解这种感觉，要么去交流，但这只不过是麻痹，清醒过来你知道这不过是烂人抱团取暖罢了，就像这个世界是勾八草台班子一样；要么去学习，然后掉进“naruhodone”和“我超这么牛逼的人也说他不会做”的循环。本质上你不过是个烂人，所以干不出任何超过已知的事情。你只会做一些平凡的没有价值的搬运，只是因为天才们时间有限还没有扫到这种犄角旮旯才给了你发表的机会。然后你就有了成果，声称是原创的，确实是原创的，有什么用呢？人们做出了他们本来就知道的结果。

前几天好像聊到关于严格证明是否重要的问题，大家都知道这是普遍被认为不重要的东西，只有极少数数学家特别关心这个问题。虽然听到周围人发表这样的观点让我颇为震惊，但我仔细想了想，我确实也不属于极少数的那一类。与其说是严格性，我所关心倒不如说是正确性。众所周知，严格性在事实上讨论的是具体的构造，即需要具体写出一个在逻辑上达到数学界公认严密程度的证明。但在实际操作中，我们从来只关心具有这种性质的证明的存在性，这是我们讨论的所谓“正确性”，即给出足以具体写出严格证明的信息。你只需要说服别人你知道这个问题怎么解决，你自然就解决了这个问题。当然你其实主要需要说服的是自己。

看上去这些都是比较偏离数学本质的讨论，意义并不大。但我突然意识到AI技术的发展说不定能让基于这个想法的新型工作方式成为现实。众所周知，我们最担心的是AI犯错，而且是很低级的错误。但数学这个学科最容易验证的就是低级错误。如果说之前数学的发展方式是顶级数学家指明方向，一流数学家发明技术工具并解决主要问题，二流数学家应用工具解决交叉问题，三流数学家找能被工具解决的小问题，牛马们不知道自己在做什么问题。那么不管怎么样，这个证明的构造能不能由AI给出再由人来验证呢？反正工具是现成的。

我头好痛啊，好像要晕过去了，感觉不知道自己再说什么了，就这样吧，先睡了，楼道里不知道什么东西在打电话，学数学的也都是神人了，个个跟聋子一样，tm我现在都不知道他们是怎么忍下来一个学期都在课上不是睡觉就是轻哼的人的。总之秋冬季节流感高发，希望大家照顾好自己身体，也体谅一下浑身上下都有问题一活动身体就咯吱作响的人。

没错我说的就是我自己，我快被自己搞出来的声响弄得神经衰弱了。不过上课睡觉的不是我。真tm心累，想骂人又骂不了，要是我在无耻一点就好了，或者也迟钝一点。再或者是个完人，和空气一样不会影响别人，这样就有底气去骂别人了。