绝大多数着法可以通过算法简单的排除。以前算力不足即使排除了也是不可行，现在可以了。本质上没有智能只有遍历和人类的算法化简

来源: 于 2024-09-01 14:46:05 [旧帖] [给我悄悄话] 本文已被阅读：次