0/1000
三体问题到底是什么?
13:58
8
4
评论
最近回复-
道生一,一生二,二生三,三生万物
我国古代老子就提出来了啊,三体不可测4月20日北京 8 4 -
反正政治不正确4月20日河北 8 4
-
4月20日河北 8 4
-
回复 很平凡的人:4月20日北京 8 4
-
回复 蓝色的星2: 弱弱地问一句:three body难道不是3b吗?4月20日上海 8 4
-
信息即视觉,人其实就为视觉而活。没有了视觉人就是个一维物体,就是一个点。可能宇宙就是另外一个什么宙中的一个点而已4月19日北京 8 4
-
回复 RecirclesEgg:
打蛋蛋,三体的很多创新思考是前人没有的,所以影响大
4月19日北京 8 4 -
回复 明日天气: 这方面要详细说,非常复杂,我举个比较简单的例子,你体会一下,信息科学的发展有多么神速,它又会对人类文明产生多大的影响。
比如用计算机自动证明数学定理。
这个问题自打计算机诞生那天起,就已经有人提出来了。但是当时计算机能力太弱,没有实际意义。
后来大型机出现后,人们发现,有一类数学问题是可以通过计算机的数值计算解决的,比如著名的“四色问题”。
中国这方面的泰斗吴文俊证明,所有初中阶段的平面几何问题,都可以通过计算机自动证明。
尽管这些成果已经十分惊人,但实际意义却不大,因为物理、化学、生物、医学上,大量需要解决的问题远远超出平面几何的范围,涉及微分方程、积分方程、抽象代数、非线性随机过程等等极其复杂的数学,而计算机证明对这些问题几乎束手无策,毫无建树。
这个困难的原因在于:计算机证明,首先要求提供海量的经过标注过的形式化证明过程,而这要求相关人员具备极高的数学造诣,并且要耗费的时间也是无法接受的。没有哪个一流的数学家会耗时几年、十几年去作毫无创造性的标注工作。
因为,过去的近百年时间,自动化证明一直处于一个发展速度极其缓慢的“黑夜”。
gpt4的横空出世,让这一领域面临一场革命。
因为,现在人们可以通过训练AI,让计算机去把那些浩如烟海的数学证明统统转化为形式化证明,再用这些经过标注的形式化证明去训练AI,对数学定理完成自动化证明,甚至,还可以让计算机自己发明数学定理。
你知道这意味着什么吗?一旦数学求解问题不再成为基础理论的拦路虎,整个人类科技将会以不可思议的速度爆炸式发展。
所以,gpt4的出现,对人类文明而言,其意义并不亚于相对论,只不过它没有颠覆人类的时空观,它颠覆的,是人类科技的发展速度。你说它只是个应用也没错,别忘了,二极管也只是个应用,但是人类之所以能从工业文明走进信息文明,靠的恰恰是二极管而不是相对论。
当然,我个人也更偏爱那种能颠覆时空观的基础理论,但不得不承认,现代科技的主流是信息科学,而不是基础物理。4月19日山东 8 4 -
回复 RecirclesEgg: 科学?科学也是他们定义的4月19日江苏 8 4
-
仨body 的问题是反科学的神话故事,跟奈飞漫威一个系列
有很强的误导和欺骗性4月19日山东 8 4