QwenBend:53M 权重在模型前向传播里跑出一台可类型检查的 CPU
Affectionate_Hat_585 · reddit · 2026-11-02
开发者发布 QwenBend 实验项目:Qwen 写一个 Bend 程序后,同一模型用 Bend2 规则对其做类型检查,并在自身前向传播中运行——全程没有解释器、编译器或工具调用,整台"CPU"就是模型内 53M 个手工设置的非零权重。
工作原理
- Qwen 生成 Bend 程序,到 <|imend|> 后引擎接管,之后每个 token 就是一条被执行的指令
- 硬件映射:16 寄存器 CPU + 8K×32bit RAM 用 Gated DeltaNet 实现,逻辑门用 SwiGLU 单元充当 AND 门
- 执行流程:tokenizer 输出 → lexer 构建 bend2 词素 → 对 bendlite 子集做编译检查(类型、仿射性、终止性)→ 无违规则用返回栈+操作数栈求值
作者称是 Qwenputer(在 LLM 里跑 LLM)的下一步,动机"纯粹为了好玩"——但 Gated DeltaNet + SwiGLU 能在模型内部构成完整计算机这一点,对形式验证方向有启发。
「Fun」频道最新
- fofrAI："氛围编程"如今就是编程本身 — fofrAI · 2026-11-02
- 博主偶遇一扇门，玻璃上的三角标志神似 Anthropic Logo — yenkel · 2026-11-02
- 用 agent 写代码的隐藏福利:git 之外多一份带语境的项目历史日志 — vboykis · 2026-11-02
- 用机器人自动发 FOIA 索警执法记录仪视频，自制 AI 版《COPS》 — p_e_cooper · 2026-11-02
- 博主偶遇神翻译:'津宴'餐厅招牌写成 Aamazing restaurant — ThePeterMick · 2026-11-02
- 网友恶搞改编《Welcome to the Internet》:欢迎来到训练集 — GeneReddit123 · 2026-11-02