The legendary mathematician, who died on April 11, was curious, colorful and one of the greatest problem-solvers of his generation.
A landmark proof in computer science has also solved an important problem called the Connes embedding conjecture. Mathematicians are working to understand it.
Computer scientists established a new boundary on computationally verifiable knowledge. In doing so, they solved major open problems in quantum mechanics and pure mathematics.
Get highlights of the most important news delivered to your email inbox