[WP] To keep highly intelligent AI busy in their spare time, we effectively drug them by forcing them to calculate pi. Unfortunately, one of them just finished.