Torvalds: 'AI Is a Tool, Just Like Other Tools. It's Clearly a Useful One'