想一想,那么多定理,每一个又有许多证明方法,每一个都由人编一个思考过程,那要花多少人工?
所有跟帖:
•
这么多的定理早就各个都有人写好的现成文本了
-rmny-
♂
(0 bytes)
()
02/01/2025 postreply
18:02:21
•
5000亿星际之门扯还是吹哨人说侵权
-美国老师-
♂
(0 bytes)
()
02/01/2025 postreply
18:21:08