Someone should make a language where every math formula is a word.

Then give it to an LLM and let it go nuts

This isn’t far off from Gödel’s work.