Douglas Lenat - AI as a Tool for Global Challenges (via searchlore.ai)