符号推理与形式逻辑

为啥氛围编码还得写代码？不能彻底放飞自我吗？答：因为电脑现在还是个“死脑筋”，你得用它能听懂.

陶哲轩说现在的AI就像个偏科天才：眼睛贼好使（看图认字牛得很），鼻子却像感冒了似的（数学直觉完全不行.

都知道三大编程范式吧？面向过程（像C语言）、面向对象（Java）、函数式（Haskell）。.

哎呦我去！我琢磨了半天"决策问题"跟数独求解器有啥关系，越想越邪门！我倒是想搞个系统化思考流.

机器学习方法比传统的数学公式更好地描述了许多生物系统。这说明了生物系统是如何组织和运作的？<.

以ChatGPT、DeepMind、特斯拉等为代表的“主流AI界”较少强调具身性，甚至可能对其“嗤之.