开发者借 LLM 验证 Minecraft 世界生成克隆与原版等价

开发者 gandamuml 针对 Minecraft 1.21.11 世界生成因 Java 运行时差异导致的非确定性问题，探索了可复现的验证方案。他让 LLM 记录执行顺序并自动寻找合适的决策点，从而证明其世界生成器克隆在给定相同顺序时与原版完全等价，而不必证明生成顺序分布与 Java 原版一致。他还补充了验证回放方案的无缝切换实现细节，并坦言对 LLM 具体行为不完全确定，但理论上该方法可行。

2026-09-30 ~ 2026-09-30 · 3 条相关

• 开发者让 LLM 记录执行顺序，破解 Minecraft 世界生成非确定性难题 — gandamu_ml · 2026-09-30
• LLM 自动寻找决策点：Minecraft 验证回放方案的实现细节 — gandamu_ml · 2026-09-30
• 开发者用决策点验证法证明 Minecraft 世界生成克隆与原版完全等价 — gandamu_ml · 2026-09-30