An artist's representation of our solar system. A new artificial intelligence system combines data-driven pattern recognition with mathematical reasoning to generate scientific theories. In tests ...