IBM gives artificial intelligence computing at MIT a lift