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

作为一个法语母语者,我喜欢用“personnelambda”这个表达,它表示一个普通人,也就是一个匿名者,这与匿名函数的概念非常契合。更普遍地说,在法语中,lambda作为形容词意味着“普通/常见”,而且你可能知道lambda字母在希腊字母表中居中,所以用它来表示一个平均或普通的概念是有道理的。这个符号起源的争议实际上...

KAN核心团队震撼力作!MIT华人用AI首次发现物理学全新方程

传统中发现可积系统的方法是靠纸笔,它侧重于符号推到,还需要考虑到可能系统和守恒量(CQ)的指数级大搜索空间,效率极低。由此,MIT的物理学家想到:AI可以做什么吗?为此,他们引入了一个可积系统发现解决方案OptPDE。此前,已经有许多工作使用极其学习从物理数据和微分方程中发现守恒量,但MIT研究者的方法,对于偏...

爆火神经网络架构KAN更新2.0!研究者可专属定制,轻松应对经典物理...

2、kanpiler:将符号公式编译成KAN的编译器。3、树转化器,将KAN2.0架构(或任何神经网络)转换为树状图。跟上一版本相比,KAN2.0的解释性更通用,比如像化学、生物学等这种很难用符号方程表示的,模块化结构和关键特征能够来描述。比如,用户可以将模块化结构构建到KAN2.0中。再通过KAN2.0同MLP神经元交换,就可...

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

物理世界是指自然规律和物理学定律支配的世界,例如守恒、对称等等,它包括我们所有能观察到的物质还有运动的基本的现象,实际上是客观存在的这个宇宙。如果Sora能懂物理世界,那么它生成的视频必然就得懂相关的规律,能模拟、准确地来刻画这种规律,但显然Sora现在是达不到的。其次,Sora的基本运行的机制就是基于...

莱布尼茨三个世纪前留下的数学手稿中,除了微积分,他伟大的思想竟...

尽管这些上波浪线看起来相当漂亮,但我不确定莱布尼茨的某些符号是什么意思:就像这些带小点的东西一样:或者是这个看起来很有趣的图解形式:当然,莱布尼茨最著名的符号是他的积分符号(用长“s”代表“summa”,即求和)以及d,在下页上图这张纸的空白处,这些符号首次被总结出来,日期是1675年11月11日(事后“1675”...

2h4h和4l有什么区别

总的来说，2H和4l在符号、含义和应用领域上都有所不同(www.e993.com)2024年11月20日。2H是氢元素的同位素，主要应用于核物理研究；...

最强大的数学和物理工具——张量,复杂的数学结构和高度的抽象性

集合{e_k}是基集。注意标量倍数是上标,而基分是下标。这是物理学中的标准记号。在爱因斯坦求和约定中,我们省略求和符号:在数学表达式中,如果一个索引(比如一个字母)同时作为上标和下标出现,这表示对该索引进行求和运算,涵盖了该索引的所有可能值。这种索引被称为哑指数。假设我们有一个三维向量空间,并选择了一...

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

其中,第一步可以将已知的领域知识嵌入到KAN中,而第二步则专注于从数据中学习新的「物理」知识。具体来说,作者首先提出了用于将符号公式编译成KAN的kanpiler(KAN编译器)。过程如图5a所示:1.将符号公式解析为树结构,其中节点表示表达式,边表示操作/函数;...

有可能统治宇宙的终极武器?对撞机撞出个迄今最重的反物质超核!

反超氢-4的符号表示部分反物质的发现年份(横轴)和质量(纵轴)(图片来源:参考资料[1])反超氢-4寿命很短,在飞行仅仅几个厘米后就会发生衰变。研究团队分析了多达66亿个重离子碰撞事件的实验数据,通过衰变产物反推出了反超氢-4的存在,最终获得了约16个反超氢-4的信号。这大致相当于从全世界的人类当中找出十...

哈耶克:钱之所以是钱,语词之所以是语词,化妆品之所以是化妆品...

我们所观察的人之行动(humanactions)以及这些行动的客体(theobjectsofhumanactions),究竟是因为它们对于作为观察者的我们来说在物理上相同或不同才成了相同种类的事物或不同种类的事物,还是另有什么其他的原因?从现在的情势来看,社会科学各个部门无一例外地都在关注人们在应对他们环境——亦即其他的人或其他...