Intriguing idea, but why the last bit about Thomas Jefferson? One cannot know what he would have thought of Internet. And more importantly, it doesn't really matter at all.
Is that asterisk part of their logo? It's really distracting. I spent a good few moments looking for a footnote, until it dawned on me that it was just a visual gimmick.
So instead of hearing about their progress, I'm scanning their footer. I say change the logo, because it's first thing on every page. Thus an awesome distractor for whatever they want to tell.
You can beat pretty much any algorithm if you make convenient extra assumptions. In this case they have suitable data for the implication search (good for them!), but the title promises too much.
You can't beat binary search without new assumptions.