ニューラルネットに使われている各演算はテンソルのアインシュタイン和(einsum)によって表せて、論理プログラミングの推論も疎なテンソルのアインシュタイン和で表せるから、テンソルのアインシュタイン和をベースとしたプログラミング言語/ライブラリを作ればさいきょーのAI言語になるよ、って話?

https://arxiv.org/abs/2510.12269

カーネル法とか確率的グラフィカルモデルとかも表せるとか。