blue2 writes: Fresh out of press from the "Journal of cellular automata"
... geeky author Evangelos Georgiadis disproves legendary Stephen Wolfram on 44 conjectures. Abstract reads:
In this note, we disprove 44 claims in  on minimal Boolean formula size
of one-dimensional two-state nearest neighbor cellular automata as well as set a new lowersize bound.