计算复杂性理论50年:从P与NP问题到元复杂性
这就是希尔伯特提出第二个条件——完备性(completeness)的动机:他要求所有数学命题都可证明真伪。他的第三个条件是可判定性(decidability),要求有明确的机制程序确定任何数学命题的真假。希尔伯特在1930年的一次会议上宣称:“我们的口号是‘我们必须知道,我们终会知道’”。仅仅一年后,哥德尔就给希尔伯特的梦想带来了第...
中国人不缺逻辑能力,而缺训练
黑格尔想象的是“辩证逻辑”,那是逻辑的反面教材。辩证法是一种形而上“语法”,请允许我使用这个不太准确的说法,辩证法在逻辑上无用,但在哲学上是有用的,可以用来发现事物所暗含的“别的可能性”。有趣的是,经过流俗歪曲之后的黑格尔“辩证逻辑”在中国似乎颇得人心,不知道黑格尔会有何评论。爱因斯坦的说法有些...
王沛然|从控制走向训导:通用人工智能的“直觉”与治理路径 | 东方...
大规模参数支持下的压倒性概率,使机器摆脱了对工程师预设逻辑规则的依赖,但由于深度神经网络的“直觉”机制难以清晰呈现,传统符号主义时代的可解释性规制也将从教义式的规范信条转变为实现“模型可信”的工具手段,其并非以算法为中心的完全透明,而是区分对象、目的、内容、效果的模型说明方案。通用人工智能的行为决策主要...
王浩︱生物学的形式与直觉
王浩是享誉国际的数理逻辑学家、计算机科学家、哲学家,中国西南联大数学系、清华大学哲学系毕业,1948年获哈佛大学逻辑学博士,先后在英国牛津大学、美国哈佛大学及洛克菲勒大学任教授并领导研究项目,其中他提出的一个数理逻辑的命题被国际上定名为“王氏悖论”。王浩与比雷尔断断续续讨论了一年多,定下开幕演讲题目:“生...
周劲黎|人工智能生成内容的可版权性及默认权属分配
独创性的选择概率标准是指,如果信息内容的产生概率较低而不容易出现偶然一致,且在因果链条上是由非抄袭的、容易识别的人类选择导致的,则该表达具有独创性,著作权默认属于作出选择的主体。选择概率标准能够得到不同法域司法实践及著作权法一般理论的支持。根据选择概率标准,人工智能生成内容通常具有可版权性,其著作权默认...
人类凭什么不怕AI?答案是:“假说”
「就像任何一个其他的科学领域一样,它不得不靠着经验、直觉和推理手段的配合使用而发展,如果直觉方法在逻辑严密性和完备性上难孚众望,那么推理的办法则面临着基本项,选得是否正确的问题(www.e993.com)2024年7月31日。这并不是某一个别理论和个别科学家的问题,而是科学史上的相当普遍的现象。」...
李德毅院士:人类的四种基本认知模式
1.1时间是认知的基石宇宙一直处在运动和变化中,在人类创造出时间概念之前,生物在地球上出现之前或者灭绝之后,这些运动和变化都一直延续[7]。宇宙里没有绝对时间,同一个时钟放置在宇宙的不同位置呈现不同的时间,时间不能完全脱离和独立于空间。但对人类来说,进化使大脑有了分工的记忆区,包括瞬时记忆区、工作记忆...
GenAI的“关键一跃”:推理与知识
1931年,库尔特·哥德尔的第一不完备性定理从根本上改变了数学的面貌。该定理揭示了没有既能够“完备(包含其范围内的每一条真理)”,又能够“一致(即没有矛盾)”的形式系统。哥德尔后来阐明了其定理的深刻含义,他说:“思维在使用中不是静态的,而是不断发展的,也就是说,随着我们不断使用抽象术语,我们对它们的理解...
万字聊聊面向不确定性环境的自动驾驶运动规划
由于自动驾驶和辅助驾驶技术不断发展和进步,汽车工业正迎来一次智能化浪潮。以车道偏离预警、车道保持、全速域自适应巡航等为代表的一系列辅助驾驶功能,在乘用车上逐渐普及,并被越来越多的消费者接受。以辅助驾驶技术为主的渐进式自动驾驶路线开始与变革式的完全自动驾驶路线在人工智能赛道上出现交汇。
机器学笔记|奥本海默与智能机器时代
为什么哥德尔必须在这里出现?仅仅为了展示一下晚年爱因斯坦的朋友圈,以及奥本海默对数学不那么在行(如泡利所说,他的计算几乎总是错的),所以忽略了在世最伟大的数学家和数理逻辑学家(我怀疑要不要加上之一)?当然不是,哥德尔必须出现,是因为哥德尔不完备性定理,它和海森堡(也就是电影里反复提到的纳粹德国核计划领导...