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

来源: 2025-09-29 19:41:12 [旧帖] [给我悄悄话] 本文已被阅读: