zlacker

Your argument has a fundamental flaw; the information content of a large set of elementary math problems is minimal, the information content of obvious facts is much, much higher. A few hundred bytes in any decent programming language can generate the first on demand in a fraction of a second, if you can do that for the second set you deserve every accolade you will receive. It is not at all obvious that any property of the first will apply to the second.

I think Cyc is a joke, too, but your argument doesn't hold.

>>jerf+(OP)
The information content of elementary school math problems is quite high. They contain lots of names of hypothetical multi-ethnic children, statements about adding and taking away apples, amounts of money needed to purchase carpeting for rooms of particular dimensions, etc. Excluding this information because you know in advance it's useless for building a CPU is cheating, since it uses your knowledge of what a functioning adding machine looks like.