Mathematicians Wrote Proof for a 100-Year-Old Problem–and It May Change Geometry

Some discussion, a month ago

https://news.ycombinator.com/item?id=43368365