What's up in

A landmark proof in computer science has also solved an important problem called the Connes embedding conjecture. Mathematicians are working to understand it.

Equiangular lines are an elemental part of geometry. Mathematicians have discovered a tighter limit on the number of such lines that exist in every dimension.