Artificial intelligence helped Linux developers find bottlenecks in the kernel, but the code they created to fix it was “frequent”.