Lenat's probably the best-positioned guy out there to back-infer some of alpha's design and limitations from a two-hour demo; this is the most informative summary I've seen.
>>frig+q2
Yes, his description is more on-the-money and bs-free than the other one's I've seen, particularly in describing the computational architecture of the system.