新智元报道 编辑：KingHZ 3 位华人数学家，终结了 65 年的代数拓扑中的著名问题！证明中 105 种假设路径中，计算程序成功排除了其中 101 种可能性，完成了计算上的壮举！ 3 位华人数学家，终结了 65 年的著名数学问题！ 这个问题涉及的是有框流形（framed manifolds）。
新智元报道 编辑：KingHZ 3 位华人数学家，终结了 65 年的代数拓扑中的著名问题！证明中 105 种假设路径中，计算程序成功排除了其中 101 种可能性，完成了计算上的壮举！ 3 位华人数学家，终结了 65 年的著名数学问题！ 这个问题涉及的是有框流形（framed manifolds）。