Artificial intelligence community mourns John McCarthy
bbc.co.uk