Today, November 30^{th}, is AMS Day! Join our celebration of AMS members and explore special offers on AMS publications, membership and more. Offers end 11:59pm EST.

The Annals of Mathematics will soon publish Thomas Hales's proof of the Kepler Conjecture, a statement about the most efficient way to pack spheres. The Annals is not publishing the proof's computer sections, however; they will be published in Discrete and Computational Geometry. Referees have been checking the entire proof, hundreds of pages long, for years but although they found no mistakes, they can not be completely sure that all the computer calculations in the proof are correct---thus, the proof is being split. In Chang's article, Robert MacPherson, an Annals of Mathematics editor, says the part of Hales's proof being published in the Annals has been verified and "We feel that he [Hales] has made a serious contribution to mathematics." Several mathematicians are quoted in the article, which gives background on Kepler's Conjecture and attempts at proving it. The article also contains a discussion of the role of computers in proofs. Chang writes, "Dr. Hales said that final publication, after a review process originally expected to last a few months, would be almost anticlimactic. 'For me, the big moment was when I completed the proof... and I don't think anything will change when I see it in print.'"

Devlin, in an interview with National Public Radio's Linda Wertheimer, also discusses the conjecture and its proof---pointing out how sphere-packing is connected to data-packing---and reveals that he received "a bag of hate mail" after writing an article on the changing nature of proof.