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

A Missoula math professor thought his dog was chasing his cat around his home Monday morning when he heard some commotion from inside the house. When he started hearing louder-than-usual sirens and ...