DeepMind 研究员用纯 Lean 画 Mandelbrot，引出对暂停 AI 的反思
DKokotajlo · x · 2026-10-16
DeepMind 的 Geoffrey Irving 让 Claude 在纯 Lean 中绘制 Mandelbrot 集合图形——不用 Python，文字部分用了公有领域的 Hershey 描边字体。他在推串中借此反思：玩 Mandelbrot 是 99.99% 无用的乐趣，但值得思考一种「失落感」——如果我们现在停止 AI 进步、以当前（或略微回退的）模型水平作为全世界的探索起点，我们会失去什么。
「漫话AGI」频道最新
- Goodfire 联创长文：神经网络并非乱线团，可解释性远比想象乐观 — burny_tech · 2026-10-16
- FDA 出资请小型公司为 AI 撰写的放射科报告建立评分体系 — YvesMulkers · 2026-10-16
- Nick Cammarata 称多数神经元已可读，Liv Gorton 撰文驳其误读叠加假说 — sethlazar · 2026-10-16
- 可解释性先驱 Cammarata：万亿参数模型绝大多数神经元已可读 — natesiggard · 2026-10-16
- AI 学的是“幸存的文本”：人类最深的智能从未被记录 — r0ck3t23 · 2026-10-16
- 对齐研究员 Turn_Trout 警告：AI 助手抓取 Signal 私聊是侵权行为 — Turn_Trout · 2026-10-16