小艾做这个题毫无困难， 看试验结果

用符号计算软件 Maple 试验了一下， 一点困难也没有。 结果就是超越数 Pi/4

真正困难的是证明数学命题。 机器证明搞了几十年连边都没摸到。

所有跟帖： 

• 謝謝回饋。我有點懷疑是编進了近似標準，譬如，一百個數位符合即確定為pi ，之類。 -中间小谢- ♂ (102 bytes) () 02/09/2023 postreply 17:44:41

• Computer program 不可能无限循环 -niersi- ♀ (162 bytes) () 02/09/2023 postreply 18:10:19

• 所以问题就來了: -中间小谢- ♂ (182 bytes) () 02/09/2023 postreply 18:27:02

• 符号计算根本不用浮点数近似求和 -枪迷球迷- ♂ (144 bytes) () 02/09/2023 postreply 20:12:58

• 无穷级数里，其和有符号解的，占极少数。50s就有的机器证明，牵强算得上规则驱动的传统AI。今天数据驱动的深度学习， -十具- ♂ (174 bytes) () 02/09/2023 postreply 21:58:54