…in which I bounce ideas off GPT-4 until I get a big chunk of my G.U.T. worked out.
An attempted proof sketch for the total aperiodicity of the Rule 30 elementary cellular automaton.
More art? Rule 22 Rule 37 …and more.
Factor pushing is an idea I came up with when trying to establish an easy proof of the existence of a prime in $(n,n^2)$. I haven’t managed that yet, but it’s still on my bucket list. To do it, you take some set of numbers, write them out in a row, and then generate new…