Codex与GPT-5.6-Sol-Ultra用LEAN构建Minecraft克隆

转推自 @reach_vb: Codex 和 GPT-5.6-Sol-Ultra 用 LEAN 构建了一个 Minecraft 克隆（！！）

我们真的被自己的创造力所束缚。