Not really, top players are already using engines to create theoretical novelties, and no doubt engine assisted analysis is published frequently, but even the best engines are still too weak in the opening phase to really revolutionise our basic understanding of the major openings.
From personal experience dating back 30 years any pre-2008 literature in sharp openings needs to be flushed through Houdini's brain. An extreme example is MCO 15 where several main lines are completely winning for White even though MCO 15 regards them as "playable".
As a theoretician for the past 30 years, it seems clear that we are an entirely new phase in opening theory. Even a strong chess engine like Fritz 12 is not in the same league as Houdini 3.
What this means is that Houdini could be used by post members to completely redo opening theory in an open source book on chess theory developed by post members using Houdini 3 to create what I call HOT. Every main line in MCO 13, 14 and 15, ECO, BCO and and relevant organizations/publications like New In Chess or chesscafe, etc can be analyzed and published.
The next step is for post members to play and post their innovations in their own games. This would be huge jump in our understanding of opening theory.