[jessriedel]

Maldacena conjectured a correspondence. It's never been proven.

[contravariant]

He managed to prove it quite rigorously for a specific example, which is the paper semi-extrinsic mentioned. He did indeed not prove the correspondence in general, but even this 'limited' example already turned out to be immensely useful.