Hacker News 史诗级论战:“图灵博导”阿隆佐·邱奇是不是计算机...

Lambda这个名字来自数学家阿隆佐·邱奇对函数的符号表示法(Church,1941)。Lisp通常偏好使用富有表现力的名称而不是简短的希腊字母,但lambda是个例外。一个更好的名字应该是make-function。然而,另一位评论者提出了不同观点:“这个广为流传的故事可能并不准确。”,并引用了其他历史资料说明这可能只是一个随...

追问weekly | 过去一周,AI领域有哪些新突破? Vol.37

在该模型中,每个函数-表示可以视为一个参数化函数,通过连接各个单元实现更复杂的行为。这种“表示即函数”的理念不仅降低了知识检索的复杂度,还在系统中引入了涌现行为的可能。例如,在图像识别任务中,通过多个函数-表示单元的连接,可以实现模式识别等高级功能。相比于传统的认知架构,如SOAR和ACT-R,该模型摆脱了符号...

人工智能及其创造力——基于心灵-认知哲学的视角

许多进化程序还包含适应度函数,它能从每个新一代任务程序的成员中挑选出最好的成员,作为下一轮随机按规则变化的“父母”。没有适应度函数时,这样的选择由人来做,而有了这样的函数,机器就可以“自己”做了。这意味着,机器由于程序概念的变革而有了特定意义的自主性和创造力,也能生成符合人类创造力两个标准(即新...

深度解析KAN:连接符号主义和连接主义的桥梁

KART的核心思想是:对于任何一个多元连续函数,都能够表示为有限个单变量函数和加法的组合。数学定理读起来比较拗口,但如果把它图示化出来,就很容易弄懂。假设有一个多元连续函数y=f(x1,x2),它可以表达为一个有着2个input(x1和x2)、一个output(y)、以及5个隐藏层神经元的KolmogorovNetwork。隐藏层神经元数量...

Excel 中运算符号减号的神奇用法

可以用双减号配合SUMPRODUCT或者SUM函数!这里咱用乘积函数做示范!输入公式:=SUMPRODUCT(--(C2:C21="合格"))神奇吧,这样咱就获得了更多更灵活的计数公式了,离成为Excel高手又近了一步~要想扎实掌握Excel知识,还是得上上课,系统化了解表格!

人大Sora 思辩:Sora 到底懂不懂物理世界?

更早期的,以stablediffusion为代表的图像生成模型,可以生成太空上骑马、火星上骑马等画面,显然这些现象都不是符合我们所在的物理世界的规律的,并不是理解物理世界的一种表现(www.e993.com)2024年11月20日。正是因为它不能理解物理世界,Sora才可以基于统计相关性构筑它自己的世界。所以说我认为Sora是不懂物理世界的。

代数运算对应于认知运算,使用随机向量表示计算函数 VSA到VFA

??在VSA中,两个符号表示的向量绑定形成一个符号对的表示,表达符号之间例如键值或角色填充者的关联。有趣的是,在VSA框架中,函数向量的绑定表达函数卷积。卷积已被证明是函数的重要组合/分解操作,正如卷积神经网络(Bengio等人,2021)的成功所示范。??基于VSA绑定操作的分数幂编码(FPE),一种现有的LPE方法,为一维...

革命性KAN 2.0横空出世,剑指AI科学大一统,MIT原班人马再出神作

-重要特征:例如,y完全由x1和x2决定,其他因素并不重要;即存在一个函数f使得y=f(x1,x2)-模块化结构:例如,存在函数g和h是的y=g(x1)+h(x2)-符号公式:例如,y=sin(x1)+exp(x2)MultKAN在原始KAN网络的基础上,这篇最新的论文引入了一种称为MultKAN的新模型,其核心改进是引入额外的乘法层进行...

KAN2.0震撼发布:构建AI+Science大统一的新范式

初代的KAN就提供了这么一套交互式的、可解释的AI工具,因为初代KAN把高维的函数分解成了若干个一维的函数,对这些一维函数的符号回归就形成了对原函数的一种解释。然而,初代KAN对可解释的定义还是有点狭隘,把可解释性等价于能否用数学符号表示。实际上科学不是总能够或者需要用符号来表示。比如化学和生物...

无心插柳:苏联数学家柯尔莫哥洛夫与神经网络的新生

随后相关的研究不断。丘奇的学生克莱尼(StephenColeKleene,1909-1994)1956年进一步研究了McCulloch-Pitts网络的表达能力。各种激活函数的选择是门艺术。McCulloch-Pitts网络是离散的,更特定地说,是布尔值的,非0即1。现代的神经网络激活函数大多是非线性的,不局限于布尔值。可以说,McCulloch-Pitts网络更像是布...