One of the amazing things about LLMs is that I can explore ideas easily. Take for instance, this MIU theorem explorer inspired by the book GEB. Much faster than paper and pencil and it won’t let you make an error.