三维粘性挂谷猜想
分类
形式化验证
（原题：中国团队完成三维粘性挂谷猜想形式化验证）
文章
中新网天津9月12日电(记者孙玲玲)近日，南开大学讲席教授郭少明带领团队与字节跳动Seed合作完成三维粘性挂谷猜想的形式化验证工作，并在开源代码托管平台GitHub上发布。
文章
三维粘性挂谷猜想
据介绍，此次形式化验证的三维粘性挂谷猜想在他们的前两篇文章中证明，同时也是他们最后一篇所需要依赖的关键结果。
文章
事件
2026-09-12
中新网天津9月12日电(记者 孙玲玲)近日，南开大学讲席教授郭少明带领团队与字节跳动Seed合作完成三维粘性挂谷猜想的形式化验证工作，并在开源代码托管平台GitHub上发布
文章
其它
中新网天津9月12日电(记者孙玲玲)近日，南开大学讲席教授郭少明带领团队与字节跳动Seed合作完成三维粘性挂谷猜想的形式化验证工作，并在开源代码托管平台GitHub上发布。
文章
