Ken Kirksey wrote: > I was reading Hawking's _Black Holes & Baby Universes_ and an interesting > question struck me: If a Grand Unified Theory exists, would it not > prove P=NP to be true? No. For a couple of good arguments for this answer read the ``Mathematical Recreations'' column in the latest SciAm. (Or maybe it was last month's).