@QuantumTransf: 我不得不说有的人充满一种蜜汁自信 当代计算机泰斗 Knuth 说过一句话「Computer science is a branch of mathematics.」 我使用魔法对攻一下，居然不认为计算机科学是数学，证明这个人的理解停留在一…
摘要
一场关于计算机科学是否属于数学的学术争论，引用计算机泰斗Knuth的名言，涉及离散数学与算法本质的讨论。
查看缓存全文
缓存时间: 2026/07/03 10:34
我不得不说有的人充满一种蜜汁自信 当代计算机泰斗 Knuth 说过一句话「Computer science is a branch of mathematics.」 我使用魔法对攻一下，居然不认为计算机科学是数学，证明这个人的理解停留在一般本科水平，至少没看过 TAOCP，也没有做过任何计算机科学方面的学术研究 当然如今计算机科学已经泛化成了一个包罗万象的名词，其实也包含 Software Engineering 的一部分 正经来说我建议你去看看离散数学，它是计算机科学很重要的一个组成部分，不少算法和思想都产生自这里
lidang 立党 （劝人卖房/学CS/买SP500/纳100/OpenAI/Anthrop第一人） (@lidangzzz): 居然认为dynamic programming，dfs，graph这些东西是数学，
证明这个人的数学水平基本停留在高中，至少微积分和线性代数没学明白过，一丁点真正数学入门的分析、代数、几何、组合都没碰过。
这是典型的油腻中年老登的意识形态，自己水平垃圾、智商低下、学历不高，看到一个数学公式或者证明
相似文章
@Xudong07452910: AI 开始做数学之后，一个更危险的想法可能会出现： 既然机器能证明定理，那人类数学家是不是没那么重要了？ 这篇 essay《Automation Without Understanding》讨论的就是这个问题。 作者的核心观点很直接：数学…
AI系统在数学上取得突破，帮助推翻Erdős关于平面单位距离的长期猜想，但一篇essay警告：自动化越强，人类理解并审计机器推理的能力越重要，而美国数学人才培养管道正因预算削减而退化。
@berryxia: 讲真，这种言论只有真正牛的人才敢说啊！ 本科生就可以来完成LLM的数学训练！ Terence Tao 最近在访谈里把 LLM 最核心的谜题直接说透了。 这位 Fields Medal 得主、数学界最高荣誉，被称作数学界诺贝尔奖，当代最顶尖…
Terence Tao 指出当前 LLM 背后的数学其实很简单，但真正的谜题在于自然语言数据的中间地带导致模型行为不可预测。
@Phoenixyin13: 最近，我终于意识到连续的微积分可能只是人类智力制造的一种工程妥协。 起源是我瑞士的同学给我发来一本书，是一本厚达 1200 页的巨著 A New Kind of Science (NKS)。 这本书的作者，就是我一直关注的天才学者，Ste…
作者分享了对Stephen Wolfram《A New Kind of Science》的思考，认为连续微积分只是算力匮乏时代对离散宇宙的工程妥协，并讨论了计算不可约性对传统预测范式的挑战。
@snowboat84: 补充说明一下，关于AI涌现出来的那些现象，scaling law、emergence、双重下降、表征几何，目前相关讨论的论文已经汗牛充栋。但这里有一个很大的问题：他们都在用计算机科学家的方式思考，而不是物理学家的方式思考。 什么是计算机科…
作者评论当前AI研究过多使用计算机科学的思维方式而缺乏物理学方法，提出需要建立如'Cyber Space'的理想系统来奠定理论基础。
@snowboat84: 今天讨论点硬核的。一个问题：AI用到了什么程度的数学? 从工具和模型本身看，AI用到的数学平均年龄150岁，绝大部分是19世纪中叶之前就有的：矩阵乘法、梯度下降、链式求导、傅里叶、内积、概率，大都是本科前两年的内容。 但AI涌现出的一些现…
讨论AI用到的数学主要是19世纪之前的线性代数、微积分等，但涌现现象如Scaling Law、涌现能力、双下降、情境学习和表示几何缺乏数学解释，类比1900年物理学的乌云，认为可能推动21世纪数学发展。