User blog comment:JoshQuest1/What AI's are which?/@comment-1886172-20101002035937/@comment-160529-20101002180623

I cant help but think the original tex AI's technical name was beta

maybe its mu or lambda for all we know