博文
我们的P vs NP 证明的形式化验证 复核 成功！
|
我们对形式化验证的代码在4台机器，由4个人独立进行了复核。
结论和预计一致。
===============
形式化代码已经上传到Github，但设置为私密状态。
我们正在对代码进行美化工作，清除掉里面的屏幕显示提示。
===============
我们将在领导批示后即公开完整代码。
https://blog.sciencenet.cn/blog-241229-1552579.html
上一篇：我们的P vs NP 证明的形式化验证成功！
下一篇：P vs NP 的证明 的形式化验证已经公开发布
扫一扫，分享此博文