AI 的新闻如今每天铺天盖地,大多我扫一眼就过去了,但最近有一条让我提起了兴趣:协和医院一位神经外科博士后,用 AI 把一个数学界二十二年没人证出来的 Crouzeix 猜想给证明了。 我的第一反应是将信将疑,顶尖数学家研究了二十多年都没啃下来,怎么就被一位医学博士后顺手搞定了? 带着疑问多看了几篇详细报道,越看越感兴趣:原来金博士是在研究经颅超声仿真里的矩阵计算问题时,碰到这个数学问题的。 经颅
AI 越来越强,我和身边不少医生同事都已经习惯用 ChatGPT、豆包、千问这些工具。有时是想快速了解一个陌生问题,有时是写文章、做课题。 AI 确实大大提升了效率,数分钟内就可以写出让我自愧不如的文章。但对临床医生和科研工作者来说,最头痛一个问题是不知道它的哪句话可以相信,不知道它在哪里给你埋一个雷。 AI列出的几十篇参考文献,题目、作者、期刊、年份甚至 DOI 都写得像模像样。问题是,当你真的
深夜,趁着老婆孩子都睡了,我又更新了一版小龙虾(OpenClaw),不出意料,又出现了很多未知的Bug。我叹了口气,熟练地翻出日志,修改配置,甚至调出我的另一个 AI 工具,来帮我修这个 AI 惹出的麻烦。 明明是找了个 AI 助手来"帮我"干活,为什么我反而觉得更累了? 这不是错觉,而是一个越来越多人感受到的真实现象。正如最近看到的一句话:"AI 是最强大的工具,也是最耗人的工具。两件事都是真的