极客日报 #2013
极客日报#2013
本期收录 3 条社区推荐，涉及 Claude AI 证明费马大定理、Terpstra键盘、NPC-Forge：无需机器学习的终端助手框架。
2026年9月5日
本期编辑：Harry
本期推荐
Claude AI 证明费马大定理
Anthropic的Claude AI在11天内自主完成了费马大定理的首个计算机验证证明，写了1300万行Lean代码并证明了29,500个中间定理。这一成就标志着自动化数学验证的重大突破，有望简化复杂数学结果的验证过程，提高数学研究的可信度。
Terpstra键盘
Terpstra键盘是一款拥有280个键的创新音乐控制器，采用六边形矩阵布局，支持微音调和多种连接方式（MIDI、USB、无线OSC）。该项目通过众筹募资生产原型，声称能将音乐学习时间从12年缩短至1年，并计划通过RGB LED键帽和开源软件社区实现持续升级。
NPC-Forge：无需机器学习的终端助手框架
作者开发了TERMy，一个不依赖大型语言模型的确定性终端助手，通过自定义数据格式（NDF）和智能解析器在普通硬件上实现毫秒级响应。NPC-Forge框架允许任何人快速构建和共享这样的对话代理，可运行在树莓派等低功耗设备上，旨在提供更高效、民主和负责任的AI助手替代方案。
Rebase 极客日报由社区志愿者共同维护，持续整理值得关注的技术内容与行业信号。