重点是协助, 协助数学家去证明定理。

请您先登陆,再发跟帖!