博文
我们的P vs NP 证明的形式化验证成功！
|
在本机上形式化验证成功！
但是，为了严谨起见，这里只是发个消息，报告一下。申明：本消息可撤回。
我们将在这两天让小组成员以及相关人士进行独立测试。在独立测试以后，再上传到github！
本次形式化验证 达到了 0公理，0 Sorry 和0 Error！
https://blog.sciencenet.cn/blog-241229-1552339.html
上一篇：P vs NP 证明的形式化验证Cook-Karp 版已经发布
下一篇：我们的P vs NP 证明的形式化验证 复核 成功！
扫一扫，分享此博文