This article covers a useful LLM pattern where you ask the LLM to write code to solve a problem instead of asking it to solve the problem directly.
I know a proof that there's irrational numbers that one to the power of the other give a rational number and this footer is almost the right size for it.