- 主题:我感觉物理的研究是永远没有尽头的
妙啊，人搞AI，AI炒菜
这种暴力大法，还真的用AI搞
【 在 molar 的大作中提到: 】
: 大模型是工具，又不是研究对象，亿万参数有啥问题呢。
: 用大模型预测材料参数与材料性质之间的关系，非常有助于快速推进实验方向，总结唯像规律。这非常有助于理论的推进
--
FROM 106.37.199.*
嗯，是的，这个就类似于用AI去预测蛋白质序列和蛋白质结构之间的关系一样。用这个这种方法去预测超导材料的性质，我感觉是近期有可能有突破的方向之一……
【 在 Crusade 的大作中提到: 】
: 妙啊，人搞AI，AI炒菜
: 这种暴力大法，还真的用AI搞
:
--
FROM 111.201.79.*
就是一直在多米诺骨牌中溯源上一张，要么找不到第一张，要么发现第一张就是上帝
【 在 alexanderfd 的大作中提到: 】
我感觉物理的研究是永远没有尽头的，找到了一个理论的原因，就会问这个原因的原因是什么，如果找到了这个原因的原因，就会又问这个原因的原因的原因是什么，就像寻找无穷小量一样，永远逼近0，可以有无穷多个数小于上一个数，物理的研究也是，对应一个现象的原因，可以再寻找下一层原因，永远没有尽头。就像物质是由原子构成的，原子是由电子质子和中子构成的，质子中子是由夸克构成的，又可以问，夸克是由什么构成的，如果按照弦论是由震动的弦构成的，但这些弦是什么构成的，为什么会震动，什么提供的能量等？还是可以继续细分下去，还是有无穷的层级。现在认为质量是由希格斯场的激发产生的，但是希格斯场又是由什么构成的，还可以继续往下找。
--
FROM 106.119.149.*
甭扯了
格局大一点，科物理学学死了几十年了
【 在 Crusade 的大作中提到: 】
: 新理论太多了，弦论，超弦论，M理论。。。理论物理学家一年能给你搞十套出来。
: 请问如何确定哪套是对的？实验物理学无法回答哪套是对的，所以没一个能被学术界接受。
: 看起来就好像是死了。
: ...................
--
FROM 223.104.150.*
好吧，不争了
你觉得遥遥领先也可以
我觉得死了很久也对的
【 在 molar 的大作中提到: 】
: 这几十年，进展还是有的。凝聚态方向比较集中。比如各种霍尔效应、拓扑绝缘体、冷原子什么的。另外量子计算也有进展。虽然不像上世纪那样快了，但是还是在往前走的，离“死”还远。。。
:
--
FROM 223.104.150.*
科学表达的不是百分百真实世界
【 在 alexanderfd 的大作中提到: 】
我感觉物理的研究是永远没有尽头的，找到了一个理论的原因，就会问这个原因的原因是什么，如果找到了这个原因的原因，就会又问这个原因的原因的原因是什么，就像寻找无穷小量一样，永远逼近0，可以有无穷多个数小于上一个数，物理的研究也是，对应一个现象的原因，可以再寻找下一层原因，永远没有尽头。就像物质是由原子构成的，原子是由电子质子和中子构成的，质子中子是由夸克构成的，又可以问，夸克是由什么构成的，如果按照弦论是由震动的弦构成的，但这些弦是什么构成的，为什么会震动，什么提供的能量等？还是可以继续细分下去，还是有无穷的层级。现在认为质量是由希格斯场的激发产生的，但是希格斯场又是由什么构成的，还可以继续往下找。
--
FROM 124.202.185.46
那就不是不会算而是计算能力的问题，感觉肯定达不到AGI要消耗的算力量级，而AGI是本世纪中叶要实现的技术
【 在 molar 的大作中提到: 】
: 这里就是说，讨论上面这一类问题时，类似这种概念会高频出现，所以其确切含义需要厘清。不然很容易陷入各说各话的陷阱而无所获。。。
:
: 从头算（ab initio）一个量子多体系统，如果是从分子甚至电子层面去计算，计算量肯定是极大的。不管是数值还是解析。
: ...................
--
FROM 223.104.67.*
数值模拟嘛，哪里有啥“会不会”的问题。。。
至于说AGI，只是说，这一波进展，Ilya的idea是对的。但是下一波进展，就不一定是在这个方向上发力了。真的实现AGI的那一天，对算力的要求也不一定就要比现在大多少。一切还是不好说的状态。。。
【 在 MVPRose 的大作中提到: 】
: 那就不是不会算而是计算能力的问题，感觉肯定达不到AGI要消耗的算力量级，而AGI是本世纪中叶要实现的技术
--
修改:molar FROM 111.201.79.*
FROM 111.201.79.*
古代的人认为物体越重下落越快是对的，近代的人认为地心说、燃素说、以太、行星原子模型…也是对的，全被推翻了
【 在 semipunk 的大作中提到: 】
: 因为量子力学是对的，不确定原理已经被证明了。有不确定原理，必然有普朗克长度
--
FROM 223.104.67.*
还是觉得这属于偷换概念。哥德尔不完备定理的证明是因为人为构造了一个自指的逻辑命题，造成了类似于说谎者悖论或罗素悖论那样的东西，但数学家不会闲的没事天天盯着这种东西，重要的工作多的是。你能想象哥德巴赫猜想或黎曼猜想难以证明是因为包含了什么自指序列吗？开玩笑。在形式逻辑中可以像哥德尔这样tricky地玩一把，但这对于亟待发现的正常的数学定理和物理规律恐怕没有什么帮助。
【 在 semipunk 的大作中提到: 】
: 哥德尔定理和我们是否能以有限数量的原理构建宇宙终极理论有什么关系呢？一个联系是明显的。根据实证论科学哲学，一个物理理论乃是一数学模型。因此如果有数学命题不能证明的话，那就有物理问题不能预测。
: 在标准的实证论科学哲学看来，物理理论无偿居住于柏拉图式理想数学模型天国中。也就是说，一个模型可以任意程度地详细，可以包含任意多量的信息，而不会影响它们所描述的宇宙本身。但我们不是天使，可以从外面观察宇宙。相反，我们和我们的模型两者都是我们所描述的宇宙中的组成部分，因此一个物理理论是自指的，就像哥德尔定理所说的那样。人们因此可以认为它或者是不一致的，或者是不完备的。我们迄今所有的各种物理理论既是不一致的，也是不完备的。
: 如果不存在一种可从有限条数原理推导出来的终极理论，一些人将非常失望。我过去就属于这个阵营。但是我已改变了我的看法。现在我很高兴我们寻求知识的努力永远都不会到达终点，我们始终都有获得新发现的挑战。没有这种挑战，我们就会停滞。哥德尔定理保证了数学家们总有事情要做，我想M－理论也将为物理学家们做同样的事情。
--
FROM 223.104.67.*