Scientists Deliver Formal Proof of Famous Kepler Conjecturesci-news.com3 points·mattpavelle··0 commentsOpen articleSaveView on HN