數學機器證明研究了幾十年連邊都不沾。 程序猿能解決這個問題才稀奇了。
證明提出來的數學命題還隻是數學的一部分。 小艾同學要掌握數學需要的想象力和創造力還遙遙無期呢。
• 等到哪天機器人打一篇你們看不懂的亂碼,你們就傻眼了 -avw- ♀ (0 bytes) () 02/11/2023 postreply 08:31:35