Mathematicians deliver formal proof of Kepler conjecture, open for 300 yearseurekalert.org3 points·mrkgnao··0 commentsOpen articleSaveView on HN