中国团队完成三维粘性挂谷猜想形式化验证

What the source reports

中新网天津9月12日电(记者 孙玲玲)近日，南开大学讲席教授郭少明带领团队与字节跳动Seed合作完成三维粘性挂谷猜想的形式化验证工作，并在开源代码托管平台GitHub上发布。