數學那些絕妙證明機器在可見的將來是做不出來的。 比做證明更高層次是發現新的理論和數學工具技巧。 嗬嗬, 小艾同學還早呢。
數學機器證明搞了幾十年連邊都不沾
所有跟帖:
•
又有幾個搞數學的做到了那個程度
-2008VGirl-
♀
(0 bytes)
()
02/07/2023 postreply
06:40:44
•
數學永遠超前現有技術。 如果做小艾的能突破現有機器證明理論,就可以獲得數學大獎
-槍迷球迷-
♂
(139 bytes)
()
02/07/2023 postreply
07:26:36