[FOM] Hales's proof of the Kepler conjecture
Alasdair Urquhart
urquhart at cs.toronto.edu
Fri Jul 4 11:31:00 EDT 2003
I've been reading the popular book on Kepler's
Conjecture by George Szpiro. The book takes
the point of view that Hales's proof is correct.
According to John Baldwin's recent posting:
"I am reposting Leo Marcus's note because I think many readers, those as
uniformed as I, may have missed the
significance. Hale's proof involves extensive computer checking. The
paper has been accepted by the Annals
(with an asterisk). Hales is organizing a project for further
computer work."
When I was at the ASL meeting in Chicago this year, I heard
a rumour that the referees for the Annals of Mathematics
had all given up, or resigned, or something. So, this would
mean that the Annals is essentially saying: "We've tried
our best to verify this, but we can't say for sure that it's
correct." Is that right?
Can somebody more knowledgeable clarify the status of
Hales's proof?
More information about the FOM
mailing list