Mathematicians deliver formal proof of Kepler conjecture, open for 300 yearseurekalert.org3 pointsmrkgnao9 years ago