Richard Pritches writes in to let us know that MIT errata expert Evangelos Georgiadis has disproved 44 conjectures set by Dr. Stephen Wolfram (founder of Mathematica) in A New Kind of Science
. The paper was published in the latest issue of the Journal of Cellular Automata and can be read in PDF form
at Prof Edwin Clark's collection of reviews
of Wolfram's ANKS. "The formulas provided by Wolfram for these  rules are not minimal. Moreover for 8 of these cannot be minimal even by simple inspection since minimal formula sizes for 3-input Boolean functions over this basis never exceeds 5."