[moonpolysoft]

Gödel might have said something about the possibility of a universal inference engine.

Like TrueKnowledge and the Freebase answers in Powerset, this system will likely be good at answering a small subset of very direct questions. Having access to Mathematica's symbolic solver algorithms would definitely help in building this system.

If it's successful it will either be faster than current inference engines, or capable of solving more complex queries. Or perhaps both. We'll see.