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

来源: 枪迷球迷 于 2023-02-06 20:52:35 [] [旧帖] [给我悄悄话] 阅读数 : (189 bytes)
回答: 您低头仔细看看，您还有鞋么。 由 borisg 于 2023-02-06 20:30:41

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

所有跟帖： 

请您先登陆，再发跟帖！