>>106227488
Well, I mean, yeah.

You use the LLM as a kind of computational substrate that handles purtabative instantiations of the symbolic algebra.

1+1=2, right? Why?

Because of the definitions of each term.

Well, you can apply that same logic to other qualitative domains. What's red+blue? You just map every symbol to every functor.

That's literally what LLM's do. Obviously you have to be a master of every branch of math, physics, geometry, etc., to do it.