GPT-5.6-Sol-Ultra is so good at maths that it created Minecraft clone in Lean (yes that Lean)

@petergostev can u prove that trees dont fall when u chop it