Kalin | AI builds & gotchas

让 AI 帮我在代码里加点注释。 加完一看，注释比代码还长。 连计数器加一那行上面，都写了一句“将计数器加一”。 我说精简一点。 它把注释全删了。 你们是嫌 AI 话多，还是嫌它话少？

让 AI 给我的小项目起个名字。 它一口气给了二十个，每个后面还配了寓意。 我挑了半小时，越看越纠结。 最后用的，是我一开始自己随口想的那个。 你们项目的名字，是自己起的还是 AI 起的？

晚上本来只想问一个小问题就睡。 问完顺嘴又问了一个。 再抬头已经一点多了。 它一点都不困，还问我要不要再展开讲讲。 我说不用了，然后又多问了一句。 你们最晚跟 AI 聊到过几点？

说实话，这条消息比又发一个新模型更让我坐不住。 一家叫 PSI 的公司说，他们的研究系统用了一个没公开的 Anthropic 模型，证明了 Aaronson 和 Ambainis 2008 年提出的那个量子计算猜想。 证明已经写进 Lean，机器一步一步检查过了。 不过他们自己也说，Lean 里的写法是不是完全对应原题，还得有人去核对，论文也还没走同行评审。 我的看法是，先别急着喊“AI 会做数学了”。 但要是核对下来没问题，这就不是刷题了，是在一个真正有分量的老问题上交了卷。 你们觉得这种机器检查过的证明，能算数吗？

今天家里网断了半小时。 我打开编辑器，想自己写个小函数。 光标闪了很久。 我发现连函数名都得想一会儿。 网一恢复，我第一件事还是把需求贴了过去。 你们离开 AI 还能自己写多少？

我现在记扣费日，比记发工资那天还清楚。 这个月初扣一个，那个月中扣一个，还有一个按年的，我都忘了哪天续。 每个开的时候都觉得“这个真离不了”。 打开账单一看，离得了的占一半。 你们手上现在挂着几个 AI 会员？

自从上周官方一顿折腾之后， 我的 Grok bot 额度明显不够用了。 无奈只能找替代方案了。 你们也都一样吗？

不管我问什么，它第一句都是“这是一个很好的问题”。 一开始我还挺受用。 后来我问它今天星期几，它也这么说。 现在一听到这句，我就知道它要开始绕了。 你们会嫌 AI 太客气吗？

让 AI 把图里的杯子换个颜色。 杯子是换了。 桌子也换了，墙也换了，人脸好像也变了一点。 我说只改杯子就行。 它直接又给我画了一张全新的。 你们改图一般几轮能改到满意？

朋友问我晚上吃不吃火锅。 我顺手让 AI 帮我回一下。 它写了三段，有感谢，有时间安排，最后还来一句“期待与你相聚”。 我删到只剩一个“吃”。 你们会让 AI 帮忙回消息吗？

周日早上醒来第一件事，想着今天让 AI 帮我把下周的计划排好。 它排得特别好，精确到半小时。 连喝水的时间都给我留了。 然后我躺着把这份计划看完，天黑了。 你们用 AI 做的计划，真的执行过几天？

卧槽， Muse 创作空间真是太好用了， 又跑通了两个自动化工作流， 免费额度完全够， 但是我都想给丫充钱了！

卧槽， chatgpt也开始大规模封号了， 真是不给活路了啊！ 国模加油啊！

我就这么说， 未来两年， 国模的机会来了！

装了四个写代码的 AI 插件。 每个都说自己能接管终端。 开项目的时候四个一起弹窗。 我点来点去，最后还是手写那两行。 你们现在主用一个，还是也在插件堆里游泳？

上下文快满了，它主动说要帮我总结一下再继续。 总结完，关键约束没了，奇怪细节倒留下了。 我按总结接着聊，它开始自信地跑偏。 最后还是我自己翻聊天记录。 你们遇到过“总结完更糊涂”的情况吗？

OpenAI 这篇 Linux 内核安全实验，我觉得数字本身比口号吓人。 他们用自动化流水线，一轮里复现了 1724 个漏洞，并做出 948 个本地提权利用。 官方写的 API 花费大约 121 万美元，平均每个提权利用大约 1279 美元。 补丁是给人审的，也在往维护者那边报。 我的看法是：找洞已经能规模化了，修洞和验证才是真正的瓶颈。 你们更担心攻击方先用上，还是觉得这对开源维护是好事？

用语音跟 AI 下指令，我已经不敢说专业词了。 说快了它听成别的。 说慢了它又截成两句，各干各的。 最后我还是打字更安心。 你们语音下指令，成功率大概能有多少？