试图否证卡拉比猜想