好久没写了，难得文章写完了，回顾一下两个月都发生了什么吧。
六月底应该是摸了，去威海之前应该都在打失落城堡2，出发之前开始改起来陈年老文章了。然后去威海那天没赶上车，可见不要选早上九点的动车，到那之后已经是晚上快十点了，宾馆也没有空调没有洗衣机，难得再次感受了一下ICBS的感觉。威海的会可以说是毫无收获，脑袋感觉是一团浆糊，什么东西都没听进去。饭感觉也一般，橙汁会喝完。不知道为什么一直在改陈年老文章，因为太久了，已经忘记了自己排除的坑，重新踩了好几回，改了好几遍。唯一的收获可能是发现蜜雪冰城很好喝，但是有好几天没睡好觉。然后就是去上海，又是整整一天的行程，不知道为什么这次动车要8个小时，到的时候都没地铁末班车了，快十二点才到宾馆。这回有洗衣机了，可惜没有窗户。B站大楼旁边的罗森的鸡排在很饿的时候还挺好吃，可能是因为没吃晚饭。为什么8个小时的车会没有餐车啊！上海的这几天也几乎是屁事没干，讨论的东西到现在都没写，陈年老文章也没能改完，总是在圈子里打转。我觉得主要还是因为我在等梁圣的正式版端上来，可惜到现在也是处于不能用的状态。不过在上海至少还是有点收获，一是感觉听到了一些自己之前不知道的事，可惜之后也没有做整理，现在对这些的感觉还是一片混沌，二是感觉肯德基的咖啡好像没那么难喝，大神卡开了之后早餐还挺便宜的，考虑到沪币可能是最便宜的那一档了。然后在台风和IMO之前回了北京，把陈年老文章拆成了两篇写了，第二篇我感觉应该是再也写不出来了。第一篇差点被AI干掉了，后来发现还是之前的我们技高一筹，感觉应该能有GPT-Pro的水平，不会被5分钟秒杀，可能15分钟差不多了。一个人在北京的这几天我在干什么呢？我已经不记得自己在看什么漫画了，倒是清楚地记得自己先吃了一顿牛油麻辣烫，再吃了一顿，再吃了一顿骨汤的，可能又吃了一顿麻辣拌。食堂的饺子窗口那时候关了，可惜，只吃到一回没有酸汤的水饺。我只记得每一天都很累，莫名其妙的累，晚上打一把失落城堡2就动弹不得的那种，然后不知道为什么震击剑盾玩得像区。然后出去玩了一趟，基本上就是在宾馆里面无所事事，期间终于把第一篇挂出去了。然后感觉自己年龄真是大了，结果快回来的时候越发的感觉自己身体不行了。不知道为什么那几天很痴迷于北地的龙，接着就很想玩骰子游戏，然后把FTK下回来又通关了一次。回北京之后就开始吃药，结果还是拉肚子，比不吃药好了一点，但还是停不下来，真是折磨啊。拖了好几天才去看医生，结果去了肠道门诊却拉不出来。我这辈子再也不想做第二次粪常规了。总之最后还是稳定下来了，可喜可贺可喜可贺。虽然拉完肚子就开始感冒了。休息的时间里基本上在打赛菲利亚，大剑还挺好玩的，但是冰武好垃圾。然后电脑的风扇坏了，一打开电脑就像牛一样叫。等到打赛菲利亚发现卡住不动的时候，我知道它已经没法工作下去了。所以银行余额怒减1w，被开学季狠狠宰了一刀。换完电脑之后打了几天脑叶，确实蛮上瘾的，上层核心抑制那几天感觉相当上头，不停回库。一通爆玩之后不知不觉就到了8月下旬，啥事没干就在G师教导下意识到一直在搞的问题有了大进展，于是就是每天写文章的日子了，直到今天，文章初稿写完了，发完邮件了。
这就是前两个月的总结了。说实话，AI正如我预想的那样在进步，但它带给我的帮助以及我因此得到的快乐，却远未达到我的预期。看AI写的东西非常累，说实话，如果不是专家，恐怕很难快速地理解并利用AI生成的内容：里面有太多完全没用的东西了，而真正有用的东西很可能不对。但如果是有能力有毅力又有态度的人的话，做检验确实也只是时间和精力的问题，难怪很多人抽卡上瘾。我这次或许也算是抽到卡了？但我发觉，搞明白AI写的东西（不管AI明不明白我明白的东西）好像也没那么有成就感，感觉和从文献里找到了能用的工具也没什么区别。我不太清楚如果是我自己从哪本书里翻出了关键引理会不会让我对这个成果更有归属感一点，恐怕也不太会吧，就像我对我现在要修的文章一样————我从来没感觉vanishing那部分是什么新的东西，那篇文章里面我觉得唯一有价值的东西是不可分解性的组合刻画，虽然不幸地被不完整地claim掉了，anyway毕竟credit对我也没这么重要，全给别人也无所谓。但知道了一个大结果其实没有什么奇怪的思路就能做掉还是有点沮丧的，或许是我忽略了什么看上去自然但是没那么平凡的事情，或许读一读相关的文献会有更好的结果。但做这些的时候，又不免想，是不是只要和AI说一句，让它做就行呢？我觉得这样是不太行的，数学里有些事可能确实需要人来做才有意义，数学可能不是一门止步于正确的学科。
在明天到来之前结束吧，新学期开始了，我的未来要做什么呢？