The most promising approaches I've seen combine analog pattern-matching-based compression of calculation with traditional digital computation. We see this right now, where human+computer regularly outperforms either alone: the goal is to move both types of reasoning into hardware.