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