In 2012, he proved the Hsiang–Lawson's conjecture, a longstanding problem in minimal surface theory.
2012年，他证明了项武义-劳森猜想，这是最小表面理论中一个长期存在的问题。