Many users called the AI building a Minecraft clone in Lean 4 cool and amazing due to its creative coding feat, while a few dismissed it for lacking theorems or frontend polish.
Based on 18 visible X reactions from 38 accounts; directional sample.
Ask a question below.
Published answers will appear here.
@petergostev The fact that you think that this in particular demonstrates anything about gpt-5.6's math ability suggests that you have no understanding of the relationship between theorem proving and programming in Lean. There are literally no theorems in the.lean files in the project.
@petergostev This is one of the wildest experimental projects I have ever seen! Supporting Windows can be difficult, so I spent a few hours on it, PR sent. This time with Fable 5. 🥂
@petergostev thats awesome. always interesting how they always forget skybox aspects when its so simple, but still, if that was one shot, then thats great
@petergostev this is so cool
@petergostev This is crazy!!! So cool.
The code includes a complete 3D rendering pipeline using Raylib.
@petergostev This is one of the wildest experimental projects I have ever seen! Supporting Windows can be difficult, so I spent a few hours on it, PR sent. This time with Fable 5. 🥂
@petergostev thats awesome. always interesting how they always forget skybox aspects when its so simple, but still, if that was one shot, then thats great
@petergostev this is so cool
@petergostev This is crazy!!! So cool.
@Exomnium @petergostev umad
wow we now have an LM-generated minecraft clone in lean. next step: GTA 6 in lean https://twitter.com/petergostev/status/2076342016099696851
Lean is in. https://x.com/tunguz/status/2076520070373937503/photo/1 https://twitter.com/petergostev/status/2076342016099696851
Many users called the AI building a Minecraft clone in Lean 4 cool and amazing due to its creative coding feat, while a few dismissed it for lacking theorems or frontend polish.
Based on 18 visible X reactions from 38 accounts; directional sample.
Ask a question below.
Published answers will appear here.
@Exomnium @petergostev umad
wow we now have an LM-generated minecraft clone in lean. next step: GTA 6 in lean https://twitter.com/petergostev/status/2076342016099696851