0 boosts
Thomas Hales and Koundinya Vajjha claim a proof of Mahler's first conjecture, that the most unpackable centrally symmetric convex disk in the plane is a smoothed polygon

(via Greg Egan)