Seems like all the push for #AI / #LLM use in #servo is coming from a guy named Gregory Terzian. Who is a medium article writer and seems too really love Leslie Lamport and TLA+ and believes "how to future proof your career? Learn TLA+."
You can go read his articles and post on reddit under the handle polyglot_factotum