Google's AlphaProof is capable of solving complex mathematics but it's greatest feature may actually be finding errors.

Professor Raúl Rojas has published a book about how symbols have been used throughout history in mathematics. The work was translated into English this year.