Scientists mostly use artificial intelligence systems to assist in labour-intensive tasks like experimental data processing. A recently developed AI system, equipped with algorithms for logical reasoning, has demonstrated that it can come up with new scientific theories.