AI这么牛了?
【 在 vinbo 的大作中提到: 】
: mp dot weixin dot qq dot com slash s slash XErFod3ax-yvf6iKTPP3TQ
: 另外还有一件事，去年手动交互式的AI辅助证明 NP<>P 按照文中说法是被承认了的？怎么不见媒体报道呢？
--
FROM 123.117.172.*