丘成桐
A generalization of this theorem was proved by Shing-Tung Yau in 1973.