4 ms·Mathematicians deliver formal proof of Kepler conjecture, open for 300 years3 points by mrkgnao 9y ago