Consegui obter 3840 × 2160 @ 30Hz no meu rMBP de final de 2012 (intel HD4000) usando apenas uma mini-porta de exibição para exibir o cabo da porta e um aplicativo chamado SwitchResX . A única diferença possível é que eu usei o monitor AOC U2868PQU 4K que usa MST e acho que seu monitor é apenas SST. Enfim, aqui estão minhas configurações personalizadas, você precisa reiniciar a máquina para aplicá-las:

Como uma palavra de advertência, isso torna as coisas incrivelmente pequenas. (Muito legal - tamanho grande )

Pessoalmente, achei a resolução 'escalada' de 1920 × 1200 a melhor para mim, porque usa o HiDPI para dar a você a sensação de retina que você está acostumado. Será parecido com 1920 × 1200, mas na verdade use mais pixels para pintá-lo. Aqui estão as configurações:

Isso é muito mais sensato (embora eu queira que seja menor para ser honesto). A desvantagem é que você perde parte da tela pelas laterais. Deixe-me saber se você tem alguma sugestão melhor.
Se você achar as cores um pouco engraçadas, usei o SwitchResX para alterar o perfil de cores para sRGB IEC61966-2.1, assim:

Para obter mais detalhes, acesse o meu blog aqui: http://www.mattburns.co.uk/blog/2014/09/30/running-the-4k-aoc-u2868pqu-and-intel-hd4000-graphics/