[gste]

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

Then give it to an LLM and let it go nuts

[JumpCrisscross]

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