04.08.2020 Graced With Knowledge, Mathematicians Seek to Understand A landmark proof in computer science has also solved an important problem called the Connes embedding conjecture. Mathematicians are working to understand it.