Lastly I asked ChatGPT to do something even more niche and prove that the topological entropy of the golden mean shift was log. It proceeded combinatorially as someone who has first encountered symbolic dynamics would but