"We use Big Data techniques all the time to mine large data sets. So, we set out, determined to solve a big problem by mining the zeros and ones in the computer. We chose to solve for Pi exactly.