案例
逆向工程需要更大的模型吗？东方 Project 重建中的通用模型与专用模型
REA 网站上 N0zoM1z0 的一篇文章（2026 年 10 月 13 日）依据注明日期的东方 Project 重建提交，探讨精确的函数匹配究竟需要更大的通用模型、针对编译器的专用模型，还是更好的检索。文章逐一介绍 TH09、TH095、TH04 与 TH08 中较晚的 GPT-6 系列会话攻克难以匹配函数的案例，以及 TH08 一次审计发现部分已接受函数含有错误浮点常量的经过。专用模型与强化学习的对比被作为未来实验提出，并未评估任何经过训练的专用模型。
- 目标
- 二进制 · 游戏
- 类别
- REA 官方：案例
- 关联
- REA 官方案例
- 来源复核于
使用条件与局限
- 前提条件：文章与证据说明不提供游戏文件、编译器或构建产物；所链接的各东方 Project 仓库自行说明其要求。
- 范围：文章注明日期为 2026 年 10 月 13 日；其证据说明记录当天审阅了仓库历史、维护中的源码和比对记录，没有运行游戏目标、编译候选源码或重复历史运行检查。文中示例是链接的 TH09、TH095、TH04 与 TH08 提交中记录的函数级比对，而非整款游戏的运行检查。
- 局限：较晚的会话继承了此前的源码、诊断和失败实验，因此前后对比的攻克结果并非对模型规模效应的受控估计。证据说明指出 gpt-web 是随时间变化的标签，无法据此确定单次运行所用模型；各次运行的推理强度和预算并未统一记录；GPT-6-Luna-max 的那次攻克被表述为跨模型档位的发现，而非经测量的小模型优势。
- 测试证据：TH08 的例子来自提交 a393f400（9 月 2 日），该提交对每个 VC7 浮点字面量重定位都对照目标进行检查；后续审计共检查 1,548 处重定位，修正了五个已接受单元中的 12 条过时记录。文章担心以旧检查为基础的奖励可能强化错误源码，但这被明确表述为推断：证据说明并未记录任何实际的强化学习利用或训练模型这样做。
- 许可：游戏权利仍归原权利人。
- 署名：文章并未说明 REA 在所引会话中的作用。
关于此条目
说明已依据一手来源复核；这不代表已运行验证、经过安全审计或确认兼容。
一手来源
- website/evidence/reverse-engineering-models.md GitHub · morluto/rea · 修订 e8da7e1
- website/public/blog/reverse-engineering-models/index.html GitHub · morluto/rea · 修订 e8da7e1
- https://github.com/N0zoM1z0/th08/commit/a393f400786e4cc6cbb1000af0dad3276da12c78