|
(Minor edit Jul 2007)
I've read about Wiles' solution to FLT. I am one of the people who believes that there is still more to do: the math that Wiles used to solve it was certainly not around in Fermat's day. That means that either Fermat was mistaken, or that there is a more elegant proof. Given Fermat's track record, the latter seems likely. At least, that's what I tell myself in order to justify my ongoing obsession :)
As far as the four-color problem goes, don't be intimidated...it's not too bad. Hard to prove, though.
Russ |