DeepMind’s latest: An AI for handling mathematical proofs

AlphaProof can handle math challenges but needs a bit of help right now. Computers are extremely good with numbers, but they haven’t gotten many human mathematicians fired. Until recently, they could barely hold their own in high school-level math competitions. But now Google’s DeepMind team has built AlphaProof, an…

Ancient Egyptians likely used opiates regularly

Study identified several trace chemical signatures of opium in ancient Egyptian alabaster vase. Scientists have found traces of ancient opiates in the residue lining an Egyptian alabaster vase, indicating that opiate use was woven into the fabric of the culture. And the Egyptians didn’t just indulge occasionally: according to…