z80ai

GitHub
1.1k 46 中等 1 次阅读 3天前语言模型开发框架
AI 解读 由 AI 自动生成,仅供参考

z80ai 是一款极具创意的微型语言模型,专为在复古的 8 位 Z80 处理器上运行而设计。它成功解决了如何在仅有 64KB 内存和 4MHz 主机的极端受限硬件上实现交互式对话的难题,让上世纪 70 年代的电脑也能拥有"AI 人格”。

该项目非常适合嵌入式开发者、复古计算爱好者以及希望探索模型极限压缩技术的研究人员。通过简单的 Python 训练流程,用户可以将自定义的对话模型导出为 CP/M 或 ZX Spectrum 平台的二进制文件,直接在模拟器或真实老式硬件上聊天甚至玩游戏。

其技术亮点令人惊叹:模型采用独特的 2 比特权重量化技术,将参数压缩至极致;利用三字符哈希编码(Trigram hash)处理输入,使其对拼写错误不敏感且忽略词序;整个推理过程完全基于 16 位整数运算,无需任何浮点支持。最终生成的程序仅约 40KB,却能包含推理引擎、权重数据和聊天界面。虽然 z80ai 无法通过图灵测试,但它能以极简的方式回应问候或进行猜谜游戏,为绿色屏幕带来一抹会心的微笑,是连接现代 AI 技术与复古计算文化的奇妙桥梁。

使用场景

一位复古计算爱好者试图在 1976 年的 Z80 架构电脑(如 ZX Spectrum)上运行本地 AI 聊天程序,以体验纯粹的怀旧交互。

没有 z80ai 时

  • 硬件门槛极高:传统大语言模型需要 GB 级内存和现代 GPU,完全无法在仅有 64KB 内存的 8 位老机器上运行。
  • 开发链路断裂:缺乏将现代 Python 训练的模型转换为 CP/M .COM 二进制文件的工具链,开发者需手动重写底层汇编代码。
  • 交互体验单一:老式电脑只能运行预设脚本或简单的关键词匹配程序,无法实现具有“性格”的动态对话反馈。
  • 资源占用过大:即便强行移植小型模型,浮点运算需求也会瞬间撑爆老旧处理器的算力,导致系统死机。

使用 z80ai 后

  • 极致轻量化部署:z80ai 通过 2-bit 量化技术,将模型压缩至 40KB,完美适配 64KB 内存限制,让 AI 在 4MHz 处理器上流畅跑动。
  • 现代化训练流程:支持直接在 Python 环境中利用 QAT 技术训练对话模型,并一键导出为老电脑可执行的 .COM 或 .TAP 文件。
  • 拟人化智能交互:内置的 Trigram 哈希编码让模型具备容错能力和个性,能像"tinychat"示例那样对问候或提问做出简短有趣的回应。
  • 纯整数高效运算:z80ai 摒弃浮点运算,全程采用 16 位整数数学,确保在无任何协处理器的古董硬件上也能实时生成字符。

z80ai 的核心价值在于打破了现代 AI 与复古硬件的次元壁,让几十年前的老电脑也能拥有会“思考”的灵魂。

运行环境要求

操作系统
  • Linux
  • Windows
  • macOS
GPU

不需要 GPU,专为无浮点运算的 8 位 Z80 处理器设计

内存

最低 64KB (运行于 Z80 环境); 宿主机器仅需运行模拟器所需内存

依赖
notes该工具主要运行在复古计算环境(CP/M 或 ZX Spectrum)中,需通过模拟器(如 iz-cpm 或 Fuse)在现代操作系统上运行。模型本身仅占约 40KB,无需现代深度学习框架(如 PyTorch/TensorFlow)。若需从头训练模型,需参考 TRAINING.md,可能涉及 Ollama 或 Claude API 生成数据。
python未说明 (构建和训练脚本可能需要 Python,但运行时为二进制文件)
iz-cpm (CP/M 模拟器)
Fuse (ZX Spectrum 模拟器)
z80ai hero image

快速开始

Z80-μLM:一款复古计算微型语言模型

Z80-μLM 是一款“对话式 AI”,能够逐字符生成短序列,并采用量化感知训练(QAT)技术,以便在配备 64KB 内存的 Z80 处理器上运行。

该项目的出发点是这样一个问题:在保持一定个性的同时,模型还能做到多小?并且是否可以轻松地进行训练或微调?同时实现便捷的自托管部署?

答案是肯定的!我们已经成功构建了一个 40KB 的 .com 可执行文件(包含推理引擎、权重以及聊天风格的用户界面),可在一台 1976 年生产的 4MHz 处理器上运行。

它或许无法通过图灵测试,但也许能在绿屏前让你会心一笑。

如需了解如何更好地训练自己的模型,请参阅 TRAINING.md

示例

项目中包含了两个预构建的示例:

tinychat

这是一个基于日常问答对训练的对话型聊天机器人。它能回应问候、关于自身的问题,以及一些轻松的闲聊,给出简洁而富有个性的回答。

> hello
HI
> are you a robot
YES
> do you dream
MAYBE

guess

这是一个“二十问”游戏,模型会设定一个秘密主题,而你则通过提问来猜测。回答可能是 YES、NO 或 MAYBE。猜对即可获胜。

GUESS.COM 示例

该示例还提供了使用 LLM(Ollama 或 Claude API)生成训练数据并平衡类别分布的工具。

快速入门

不到 5 分钟即可开始运行:

1. 下载 GitHub 发布页面上的预编译二进制文件:GitHub Releases

2. 安装模拟器:

平台 CP/M (.COM 文件) ZX Spectrum (.TAP 文件)
Linux iz-cpm apt install fuse-emulator-gtk
Windows iz-cpm Fuse
macOS iz-cpm brew install fuse-emulator

3. 运行:

  • CP/Miz-cpm CHAT.COM
  • ZX Spectrum:先运行 fuse --tape CHAT.TAP,然后输入 LOAD "" CODE 并执行 RANDOMIZE USR 32768

如需从源码构建或训练自己的模型,请参阅 TRAINING.md

特性

  • 三元组哈希编码:输入文本被哈希为 128 个桶——容错性强,且不受词序影响。
  • 2 位权重量化:每个权重取值为 {-2, -1, 0, +1},每字节打包 4 个。
  • 16 位整数推理:所有计算均使用 Z80 原生的 16 位有符号算术。
  • 约 40KB 的 .COM 文件:可容纳于 CP/M 的临时程序区(TPA)。
  • 自回归生成:逐字符输出文本。
  • 无浮点运算:所有计算均为整数运算,并采用定点缩放。
  • 交互式聊天模式:直接运行 CHAT 即可,无需任何参数。

平台支持

Z80-μLM 支持多种基于 Z80 的平台:

  • CP/M:原始目标平台。使用 buildz80com.py 生成 .COM 文件。
  • ZX Spectrum 48K:通过 buildz80tap.py 提供完整支持。详情请参阅 ZX-SPECTRUM.md
    • 生成用于模拟器或真实硬件的 .TAP 文件。
    • 使用 ZX Spectrum ROM 子程序进行 I/O 操作。
    • 内存针对 48K 系统进行了优化。
    • 兼容大多数 ZX Spectrum 模拟器。

对于 ZX Spectrum 构建版本,可使用示例目录中的 run-zx.sh 脚本,或参考 ZX Spectrum 指南

交互风格

模型并不真正理解你的输入。然而,它却以某种方式“读懂”了你。

你的输入会通过三元组编码被哈希到 128 个桶中——这是一种抽象的“标签云”表示法。模型响应的是你输入的“形状”,而非确切的词语:

"hello there"  →  [桶 23: 64, 桶 87: 32, ...]
"there hello"  →  [桶 23: 64, 桶 87: 32, ...]  (相同!)
"helo ther"    →  [桶 23: 32, 桶 87: 32, ...]  (相似——容错性强)

这种机制对于短句输入非常有效,但也存在局限性:较长或依赖词序的句子可能会因为多个概念竞争同一组桶而变得模糊。“打开门并开灯”很可能与“开开门并打开灯”难以区分。

短小的回答,丰富的含义

仅用一两句话就能传达出令人惊讶的细微差别:

  • OK —— 表示认可,态度中立。
  • WHY? —— 质疑你的前提。
  • R U? —— 抛出存在主义式的疑问。
  • MAYBE —— 表示真正的不确定性。
  • AM I? —— 将问题原封不动地抛回给你。

这并不一定是缺点,而是一种不同的交互方式。简短的回答迫使你根据上下文推断含义,或者通过直接的“是/否”问题来试探它是否真的理解(例如,“你是机器人吗?”、“你是人类吗?”、“我是人类吗?”等)。这些问题是经过逻辑一致处理的,模型会给出预先记忆的答案。

适合的应用场景

  • 短小、多样化的输入,搭配结构化且一致的输出。
  • 模糊匹配(拼写错误、改写、词序变化)。
  • 通过词汇选择展现个性。
  • 在资源受限的 8 位硬件上运行。

不适合的应用场景

  • 生成全新句子的聊天机器人。
  • 需要深度追踪多轮对话上下文的任务。
  • 理解语法的解析器。
  • 任何接近通用人工智能的功能。

它虽然小巧,但却实用。而有时,这正是你需要的。

架构

  • 输入:128 个查询三元组桶 + 128 个上下文桶。
  • 隐藏层:可配置深度和宽度,例如 256 → 192 → 128。
  • 输出:字符集中每个字符对应一个神经元。
  • 激活函数:隐藏层之间使用 ReLU。

量化约束

Z80 是一款 8 位 CPU,但我们利用其 16 位寄存器对(HL、DE、BC)来进行激活和累加操作。权重以每字节 4 个(每个 2 位)的形式打包,并在乘累加时解包为 8 位有符号值。

16 位累加器为我们提供了数值稳定性(可以安全地累加 256 个输入而不溢出),但模型的表达能力仍然受限于 2 位权重。若不采用量化感知训练,简单的训练过程可能会导致溢出或出现“奇怪”的行为。

Z80 内层循环

推理的核心是一个高效的乘累加循环。权重以每字节4个的形式打包:

; 从打包的字节中解包2位权重
ld a, (PACKED)      ; 获取打包的权重
and 03h             ; 屏蔽低2位
sub 2               ; 将0、1、2、3映射为-2、-1、0、+1
ld (WEIGHT), a

; 循环左移以获取下一个权重
ld a, (PACKED)
rrca
rrca
ld (PACKED), a

乘累加部分处理4种可能的权重值:

MULADD:
    or a
    jr z, DONE       ; 权重=0:完全跳过
    jp m, NEG        ; 权重<0:减去
    ; 权重=+1:加上激活值
    ld hl, (ACC)
    add hl, de
    ld (ACC), hl
    ret
NEG:
    cp 0FFh
    jr z, NEG1       ; 权重=-1
    ; 权重=-2:减去两次
    ld hl, (ACC)
    sbc hl, de
    sbc hl, de
    ld (ACC), hl
    ret
NEG1:
    ; 权重=-1:减去一次
    ld hl, (ACC)
    sbc hl, de
    ld (ACC), hl
    ret

每层计算完成后,进行算术右移2位,以防止溢出:

sra h        ; 算术右移(保留符号位)
rr l
sra h
rr l         ; ACC = ACC / 4

整个神经网络就由这些步骤组成:解包权重、乘累加、移位。对于每个生成的字符,这一过程会重复约10万次。


许可证:可根据需要选择 MIT 或 Apache-2.0 许可证。

版本历史

v0.22026/01/18

相似工具推荐

stable-diffusion-webui

stable-diffusion-webui 是一个基于 Gradio 构建的网页版操作界面,旨在让用户能够轻松地在本地运行和使用强大的 Stable Diffusion 图像生成模型。它解决了原始模型依赖命令行、操作门槛高且功能分散的痛点,将复杂的 AI 绘图流程整合进一个直观易用的图形化平台。 无论是希望快速上手的普通创作者、需要精细控制画面细节的设计师,还是想要深入探索模型潜力的开发者与研究人员,都能从中获益。其核心亮点在于极高的功能丰富度:不仅支持文生图、图生图、局部重绘(Inpainting)和外绘(Outpainting)等基础模式,还独创了注意力机制调整、提示词矩阵、负向提示词以及“高清修复”等高级功能。此外,它内置了 GFPGAN 和 CodeFormer 等人脸修复工具,支持多种神经网络放大算法,并允许用户通过插件系统无限扩展能力。即使是显存有限的设备,stable-diffusion-webui 也提供了相应的优化选项,让高质量的 AI 艺术创作变得触手可及。

162.1k|★★★☆☆|今天
开发框架图像Agent

everything-claude-code

everything-claude-code 是一套专为 AI 编程助手(如 Claude Code、Codex、Cursor 等)打造的高性能优化系统。它不仅仅是一组配置文件,而是一个经过长期实战打磨的完整框架,旨在解决 AI 代理在实际开发中面临的效率低下、记忆丢失、安全隐患及缺乏持续学习能力等核心痛点。 通过引入技能模块化、直觉增强、记忆持久化机制以及内置的安全扫描功能,everything-claude-code 能显著提升 AI 在复杂任务中的表现,帮助开发者构建更稳定、更智能的生产级 AI 代理。其独特的“研究优先”开发理念和针对 Token 消耗的优化策略,使得模型响应更快、成本更低,同时有效防御潜在的攻击向量。 这套工具特别适合软件开发者、AI 研究人员以及希望深度定制 AI 工作流的技术团队使用。无论您是在构建大型代码库,还是需要 AI 协助进行安全审计与自动化测试,everything-claude-code 都能提供强大的底层支持。作为一个曾荣获 Anthropic 黑客大奖的开源项目,它融合了多语言支持与丰富的实战钩子(hooks),让 AI 真正成长为懂上

139k|★★☆☆☆|今天
开发框架Agent语言模型

ComfyUI

ComfyUI 是一款功能强大且高度模块化的视觉 AI 引擎,专为设计和执行复杂的 Stable Diffusion 图像生成流程而打造。它摒弃了传统的代码编写模式,采用直观的节点式流程图界面,让用户通过连接不同的功能模块即可构建个性化的生成管线。 这一设计巧妙解决了高级 AI 绘图工作流配置复杂、灵活性不足的痛点。用户无需具备编程背景,也能自由组合模型、调整参数并实时预览效果,轻松实现从基础文生图到多步骤高清修复等各类复杂任务。ComfyUI 拥有极佳的兼容性,不仅支持 Windows、macOS 和 Linux 全平台,还广泛适配 NVIDIA、AMD、Intel 及苹果 Silicon 等多种硬件架构,并率先支持 SDXL、Flux、SD3 等前沿模型。 无论是希望深入探索算法潜力的研究人员和开发者,还是追求极致创作自由度的设计师与资深 AI 绘画爱好者,ComfyUI 都能提供强大的支持。其独特的模块化架构允许社区不断扩展新功能,使其成为当前最灵活、生态最丰富的开源扩散模型工具之一,帮助用户将创意高效转化为现实。

107.7k|★★☆☆☆|2天前
开发框架图像Agent

NextChat

NextChat 是一款轻量且极速的 AI 助手,旨在为用户提供流畅、跨平台的大模型交互体验。它完美解决了用户在多设备间切换时难以保持对话连续性,以及面对众多 AI 模型不知如何统一管理的痛点。无论是日常办公、学习辅助还是创意激发,NextChat 都能让用户随时随地通过网页、iOS、Android、Windows、MacOS 或 Linux 端无缝接入智能服务。 这款工具非常适合普通用户、学生、职场人士以及需要私有化部署的企业团队使用。对于开发者而言,它也提供了便捷的自托管方案,支持一键部署到 Vercel 或 Zeabur 等平台。 NextChat 的核心亮点在于其广泛的模型兼容性,原生支持 Claude、DeepSeek、GPT-4 及 Gemini Pro 等主流大模型,让用户在一个界面即可自由切换不同 AI 能力。此外,它还率先支持 MCP(Model Context Protocol)协议,增强了上下文处理能力。针对企业用户,NextChat 提供专业版解决方案,具备品牌定制、细粒度权限控制、内部知识库整合及安全审计等功能,满足公司对数据隐私和个性化管理的高标准要求。

87.6k|★★☆☆☆|今天
开发框架语言模型

ML-For-Beginners

ML-For-Beginners 是由微软推出的一套系统化机器学习入门课程,旨在帮助零基础用户轻松掌握经典机器学习知识。这套课程将学习路径规划为 12 周,包含 26 节精炼课程和 52 道配套测验,内容涵盖从基础概念到实际应用的完整流程,有效解决了初学者面对庞大知识体系时无从下手、缺乏结构化指导的痛点。 无论是希望转型的开发者、需要补充算法背景的研究人员,还是对人工智能充满好奇的普通爱好者,都能从中受益。课程不仅提供了清晰的理论讲解,还强调动手实践,让用户在循序渐进中建立扎实的技能基础。其独特的亮点在于强大的多语言支持,通过自动化机制提供了包括简体中文在内的 50 多种语言版本,极大地降低了全球不同背景用户的学习门槛。此外,项目采用开源协作模式,社区活跃且内容持续更新,确保学习者能获取前沿且准确的技术资讯。如果你正寻找一条清晰、友好且专业的机器学习入门之路,ML-For-Beginners 将是理想的起点。

85k|★★☆☆☆|今天
图像数据工具视频

ragflow

RAGFlow 是一款领先的开源检索增强生成(RAG)引擎,旨在为大语言模型构建更精准、可靠的上下文层。它巧妙地将前沿的 RAG 技术与智能体(Agent)能力相结合,不仅支持从各类文档中高效提取知识,还能让模型基于这些知识进行逻辑推理和任务执行。 在大模型应用中,幻觉问题和知识滞后是常见痛点。RAGFlow 通过深度解析复杂文档结构(如表格、图表及混合排版),显著提升了信息检索的准确度,从而有效减少模型“胡编乱造”的现象,确保回答既有据可依又具备时效性。其内置的智能体机制更进一步,使系统不仅能回答问题,还能自主规划步骤解决复杂问题。 这款工具特别适合开发者、企业技术团队以及 AI 研究人员使用。无论是希望快速搭建私有知识库问答系统,还是致力于探索大模型在垂直领域落地的创新者,都能从中受益。RAGFlow 提供了可视化的工作流编排界面和灵活的 API 接口,既降低了非算法背景用户的上手门槛,也满足了专业开发者对系统深度定制的需求。作为基于 Apache 2.0 协议开源的项目,它正成为连接通用大模型与行业专有知识之间的重要桥梁。

77.1k|★★★☆☆|昨天
Agent图像开发框架