When Did Ai Become A Formal Endeavor