- 主题:从一本正经的胡说八道，到一本正经的乱涂乱画
著名数学家陶哲轩已经宣称现在日常依靠AI进行数学研究了，AI是他的得力助手。
【 在 iidev9 的大作中提到: 】
: 技术在进步，也很有意思：ChatGPT跟人文字聊天，人就拿数学、逻辑去测试它，现在它改画画了，让人找不到毛病了，哈哈
: 论真正的人工智能，我觉得还得看逻辑推理的水平是不是正的提高了。关于数学、逻辑推理之类的AI，有了解现状的么？
--
FROM 123.112.206.*
呵呵，你去看看陶哲轩的博客。
看看是不是你张口就来的“捕风捉影” 。
【 在 iidev9 的大作中提到: 】
: 这也属于捕风捉影的消息
: 如果他所谓的助手功能，只是用AI整理研究成果，那么这其实也不符合普通大众所理解的“人工智能”
--
FROM 123.112.206.*
过去有人用这种比喻来说AI不会下围棋。
九段棋手柯杰听后，呵呵一笑。
【 在 far 的大作中提到: 】
: 嗯，书法家在沙滩上拿树枝练字，并不能说明沙滩和树枝会书法。
--
FROM 123.112.206.*
你说“可能AI永远也理解不了数学”，
也就是说，你也不能肯定，只能说“可能”。
也就是说，你认为可能AI最终可以理解数学。
还有什么叫“理解”，是不是可以说：你根本不理解AI。
你的这些判断都是在一个谁都不能肯定的假说上：“我们存在于一个由高维世界生成的低维世界中”
所以你只能进行情绪判断。
【 在 iidev9 的大作中提到: 】
: 数学是当前AI的基础
: 可能AI永远也理解不了数学，就像人理解不了“生物智慧”一样，一切其实都像大爆炸学说一样：我们存在于一个由高维世界生成的低维世界中，AI理解不了数学，我们超越不了光速，我们可能以100km每小时的速度上限，降维生成一个没有引力的更小的宇宙。
--
FROM 123.112.205.*
AI终究会超过陶哲轩。
未来将是：AI 给出了$10^1000$行的黎曼猜想证明，
能理解前10000行证明的是数学系本科毕业，
能理解前100000行证明的是数学系硕士毕业，
能理解前1000000行证明的是数学系博士毕业，
能理解前10000000行证明的是数学系讲师，
能理解前100000000行证明的是数学系教授，
能理解前1000000000行证明的是陶哲轩级别的数学家。
但是没有人类可以理解AI证明的万分之一。
【 在 far 的大作中提到: 】
: 如果你能用AI研究然后超过陶哲轩，那确实AI很牛。
--
FROM 123.112.205.*
其实呢，最适合被AI干的就是各种高端，只动脑子的事情，比如写作，绘画，音乐，咨询，管理，数学，哲学。。。。
不是有人说哲学就是哲学史吗，比记忆和阅读量，碳基的人类绝对比不过硅基的计算机，
反倒是象厨师等被许多人认为是低端的职业比较难被AI取代。
几千年前先贤就说出了：“食、色性也”。
食、色性也。这两个领域的工作将是给人类留下的最后尊严。
不得不佩服先贤的超凡智慧。
【 在 hhhhcccc 的大作中提到: 】
: 人们希望的AI是用来替代重复性劳动，比方说产线工作，危险场景工作（挖矿、消防、高危工程等），打扫卫生，做饭，洗衣，出行，照顾孤老，照顾伤残病人可是大家发现AI不在这些方面发力，却在聊天、绘画、人文、艺术上发力。这算科技创新严重偏离人们需求，还是别的啥原因呢。大家可以仔细想一想啊。
--
FROM 123.112.205.*