形式化验证

形式化验证是对数学证明使用计算机进行精准的验证。

校企联合完成三维粘性挂谷猜想形式化验证

近日，南开大学讲席教授郭少明带领团队与字节跳动Seed合作完成三维粘性挂谷猜想的形式化验证工作，并在开源代码托管平台GitHub上发布。

此次形式化验证的三维粘性挂谷猜想在他们的前两篇文章中证明，同时也是他们最后一篇（以及Guth-王虹-Zahl后来发布的对最后一篇的简化证明）所需要依赖的关键结果。