LLM 助 Minecraft 世界生成克隆验证

2026年9月30日，AGI Hunt 报道开发者 gandamu_ml 展示针对 Minecraft 世界生成器克隆的决策点验证法：不必证明克隆版的生成顺序分布与 Java 原版一致，只需证明在给定相同顺序时两者结果等价；实现上借助 LLM 自动寻找合适的决策点，使克隆环境的验证回放流程能无缝切换到接下来需要执行的代码。他坦承不确定 LLM 具体做了什么，但认为该方案理论上可行。同日另一篇报道（署名写作 gandamuml）称，该方案让 LLM 在 tapes 中记录执行顺序，再在克隆环境按序回放，为 Minecraft 1.21.11 世界生成提供可复现的确定性验证，并指出 1.21.11 世界生成受 Java 运行时差异影响，同一版本自身每次运行结果都可能不同；该方案在完成确定性验证的同时保留了正式发布运行的灵活性。两篇报道均未提及是否已获得与原版的比对结果。

AI 根据报道生成 · 3 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。