The Vergecast (Live from CES 2013) font

Just a quick question for you guys:

What's the font called used within the background video loop from the latest Vergecast (+ The Verge is at CES 2013 banner on the page)?

If someone could help me out with this I'd really appreciate it!