他先与郑绍远合作，用实的ngepere方程解决了著名的闵可夫斯基inkski猜想和闵可夫斯基时空中的伯恩斯坦ernsein问题，此后再将他自己发展的梯度估计技术发挥到极致，终于在1975年完全解决了卡拉比猜想。

首先，对于第一陈类小于和等于零的紧卡勒流形，卡拉比猜想告诉我们，ahlerinsein度量总是存在。