I stand corrected, no official even game wins against professionals. Maybe I remember seeing unofficial games on KGS. The progress is impressive anyway, just a while ago the best computer programs were around 8-10 kyu level.