John McCarthy - Wolfram's Contributions to AI (via searchlore.ai)