开发者 gandamu_ml 用决策点验证法证明 Minecraft 世界生成克隆与原版等价

开发者 gandamu_ml 展示了 Minecraft 世界生成器克隆的决策点验证法：不必证明生成顺序分布与 Java 原版一致，只需证明在给定相同顺序时两者结果等价。实现上他借助 LLM 自动寻找合适的决策点，使克隆环境的验证回放流程能无缝切换到接下来需要执行的代码。他坦承不确定 LLM 具体做了什么，但认为该方案理论上可行。