Con Bong Lian y Kefeng Liu, Yau probó las fórmulas especulares conjeturadas por los teóricos de cuerdas.