丘成桐等人利用AI辅助为所有7维奇异球构造正截面曲率度量。涉及数学与AI。