Google's AlphaProof is capable of solving complex mathematics but it's greatest feature may actually be finding errors.
A particle accelerator that produces intense X-rays could be squeezed into a device that fits on a table, my colleagues and I ...