他先与郑绍远合作,用实的Monge-Ampere方程解决了著名的闵可夫斯基(Minkowski)猜想和闵可夫斯基时空中的伯恩斯坦(Bernstein)问题,此后再将他自己发展的梯度估计技术发挥到极致,终于在1975年完全解决了卡拉比猜想。
首先,对于第一陈类小于和等于零的紧卡勒流形,卡拉比猜想告诉我们,Kahler-Einstein度量总是存在。