"Best of CES Innovations 2012" in the Video Displays category —International CES. "Samsung's KN55ES9000 is a beautiful masterpiece of accurate color reproduction and maximized performance. It provides a suite of advanced Smart TV features with a high performance dual core chipset.".
So we assume that this model number is the official one Samsung's gonna use. Of course this may change later as it hasn't been officially announced.