数学强到用 Lean 写 Minecraft

arena · x · 2026-07-13

转发的核心梗是：所谓 **GPT-5.6-Sol-Ultra** 数学能力强到离谱，甚至“用 Lean 写了一个 Minecraft 克隆”。这条更像模型能力玩梗/名场面，而不是严肃评测；分享价值在于反差和好笑程度。