For the first time, computer scientists and mathematicians have used artificial intelligence to help prove or suggest new mathematical theorems in the complex fields of knot theory and representation theory.

The astonishing results have been published today in the pre-eminent scientific journal, Nature.

Professor Geordie Williamson is Director of the University of Sydney Mathematical Research Institute and one of the world’s foremost mathematicians. As a co-author of the paper, he applied the power of Deep Mind’s AI processes to explore conjectures in his field of speciality, representation theory.