小艾做這個題毫無困難， 看試驗結果

用符號計算軟件 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