For the first time, mathematicians have partnered with artificial intelligence to suggest and prove new mathematical theorems.