Transformers are actually Cauchy-Poisson Check the lean code in this repo and compile it :) the relationship is very trivial to proof…