Lovely.
Folding is more powerful than ruler and compass constructions. One can do cube roots, angle trisections etc.
It's a strange coincidence that I commented about straight edge and ruler constructions in a different thread.
https://news.ycombinator.com/item?id=47112418
Related thread from several months ago
That is really cool. I wish it had an animated video to display the result, that'd be even easier to follow and therefore even more impressive.
Maybe possible with that DSL the YouTube channel 3Blue1Brown created?
I enjoy when HN surfaces out-of-the-box type stuff like this. Very cool.
Is this brute forcing, or is there more to it?
There's more to it. Origami as a calculation tool is more powerful than compass and straight edge.