数学机器证明搞了几十年连边都不沾

来源: 于 2023-02-06 20:52:35 [旧帖] [给我悄悄话] 本文已被阅读：次

数学那些绝妙证明机器在可见的将来是做不出来的。 比做证明更高层次是发现新的理论和数学工具技巧。 呵呵， 小艾同学还早呢。