AI 的新闻如今每天铺天盖地,大多我扫一眼就过去了,但最近有一条让我提起了兴趣:协和医院一位神经外科博士后,用 AI 把一个数学界二十二年没人证出来的 Crouzeix 猜想给证明了。 我的第一反应是将信将疑,顶尖数学家研究了二十多年都没啃下来,怎么就被一位医学博士后顺手搞定了? 带着疑问多看了几篇详细报道,越看越感兴趣:原来金博士是在研究经颅超声仿真里的矩阵计算问题时,碰到这个数学问题的。 经颅
深夜,趁着老婆孩子都睡了,我又更新了一版小龙虾(OpenClaw),不出意料,又出现了很多未知的Bug。我叹了口气,熟练地翻出日志,修改配置,甚至调出我的另一个 AI 工具,来帮我修这个 AI 惹出的麻烦。 明明是找了个 AI 助手来"帮我"干活,为什么我反而觉得更累了? 这不是错觉,而是一个越来越多人感受到的真实现象。正如最近看到的一句话:"AI 是最强大的工具,也是最耗人的工具。两件事都是真的