Some of the world's leading mathematicians have joined forces with a team of computer scientists to use artificial intelligence (AI) to develop new theorems and untangle seemingly impenetrable questions in the fields of knot theory and representation theory.