Why might the way we *represent* mathematics shape what LLM are ultimately able to *reason about* — and is it possible to engineer a truly transformer‑native mathematical notation?