mp dot weixin dot qq dot com slash s slash XErFod3ax-yvf6iKTPP3TQ

另外还有一件事，去年手动交互式的AI辅助证明 NP<>P 按照文中说法是被承认了的？怎么不见媒体报道呢？
--
修改:vinbo FROM 202.120.11.*
FROM 202.120.11.*