AI in mathematics

Mathematician Terence Tao warns that artificial intelligence could push mathematics into a crisis on par with the foundational upheaval of...