I've tried using SwitchResX. When I export the EDID, I get the settings for 4K for the monitor, but OS X claims that they are invalid and SwitchResX won't let me use them. I was, however, able to get it to run at 2K at 60Hz.
When I go to Display Preferences, it's not listed under scaled (even if I hold down option first so that it lists all resolutions). I understand I'll only be getting 30Hz, for the work I'm doing that's more than sufficient.
I installed Windows 7 on Bootcamp and the Intel Graphics Driver information panel noted that the TV supports 4K@30Hz, but claims that there is not enough bandwidth to actually do it. I went out and bought another HDMI cable specifically marked as suitable for 4K/UHD@60Hz and had the same error.
OTOH, the system does run at 4K@30Hz in two instances: the initial boot screen (Apple logo with progress bar) and the start up disk selection screen (boot while holding option). But as soon as it gets to the login screen, it switches to 1080p@60Hz.
So I know the system is capable of it, but it seems to be a driver issue where the driver doesn't think it has the bandwidth, but it actually does, and it must be something that is loaded after the main boot, but before the login screen.