南开大学与字节跳动完成三维粘性挂谷猜想形式化验证

南开大学与字节跳动完成三维粘性挂谷猜想形式化验证，
180万行代码实现对现代数学领域重要成果的机器形式化验证！