基于AI的机器证明，已经搞到头了，至少该挖的金矿都挖了。



【 在 Sunyata 的大作中提到: 】
: 是法国人发明的，coq就是法语公鸡，高卢公鸡。
: 我看到科普，说这玩意是人工智能可以搞机器证明。
: 后来看了本教程，看来看去看不懂（＃－.－）
: ...................
--
FROM 111.18.168.*