正确性是通过交互式证明工具来保证的,大概过程就是用神经网络去猜测一个新结论,然后让这个外部的验证器来确定猜得对不对,直到达成最终目标..所以没做出来的题目属于没有在有限次数内找到路线的


【 在 vinbo 的大作中提到: 】
: 可以了，一步步来吧。
: 他们现在的方法可以保证证明准确性吗？
--
FROM 61.149.73.24