AI超越数学家?今年的菲尔茨奖,会是人类的最后一届菲尔茨奖吗?
合集 · 奇点临近了吗?——B站最深入浅出的人工智能科普 (31)
-
AI是如何超越数学家的?今年的菲尔茨奖,会是人类的最后一届菲尔茨奖吗?
29:14
-
为什么你的意识,宇宙中最强大的计算机也模拟不出来?
22:26
-
【视觉起源】先有眼睛还是先有脑子?几十亿年的生命演化正在揭示AI爆发的秘密
18:46
-
坐高铁时,你从未察觉的 5 重生命保障,每道都是高科技
21:54
-
手把手带你推出蝴蝶效应后,你会发现你对混沌的理解都是错的
25:22
-
这种比黄金还贵的金属是如何被人类征服的?如今中国的产量已经独霸全球
20:38
-
赛博、自动机器、控制论——20世纪最伟大的科学构想,最终会带来工业乌托邦吗?
23:55
-
垃圾造的水泥靠谱吗?20分钟揭秘城市垃圾循环的真相
22:53
-
大模型、SLAM、空间智能——人形机器人离进入家庭还有多远?
24:11
-
是什么打败了波士顿动力?液压vs电驱——20分钟看透人形机器人硬件变革
22:19
-
百万美元不如一套算法?研究了32篇论文,我搞懂了机器人运动背后的秘密【具身智能第2期】
35:10
-
未来革命or资本泡沫——研发投入50年,人形机器人突破了什么?
25:02
-
DeepSeek是从0到1的创新吗?是。万字揭秘DeepSeek R1底层原理
27:01
-
半个月前,中国科学家发现16万种新病毒,这意味着什么?
22:42
-
到底什么是工业大模型?一手资料,全网最硬核解读工业大模型的实现细节
24:18
-
AI风头已过?还是正在悄悄改变世界?一年半了,大模型改变了哪些行业?
21:49
-
信息茧房?平台造神?来聊聊算法对人类社会的影响
26:14
-
未必,AI正在引发科学革命,可控核聚变、启发科学直觉、模拟大分子...【人工智能系列视频】
20:48
-
Sora真的能理解因果吗?用人人都懂的语言告诉你OpenAI做对了什么?
20:26
-
【年终总结】我们测评了10款国产AI大模型,结果大跌眼镜
21:44
-
当你有20万字的内容要AI读的时候,在座的各位都是...——全站最深入的大模型长文本能力解读
20:26
-
用初中数学讲透人工智能原理
20:50
-
神经网络是如何一统天下的?
19:54
-
卷积神经网络是什么?AI会毁灭人类吗?
17:43
-
chatGPT的祖宗——词向量和transformer
23:32
-
你真的弄懂chatGPT了吗?全网最深入浅出的chatGPT原理科普,包你看懂
18:06
-
万字解析 | 为什么说GPT不会产生意识?它对我们有多危险?【chatGPT科普(下)】
23:24
-
ChatGPT背后的大模型训练
14:24
-
用100道有毒的问题,就能调教出一个更有善意的AI?【人工智能系列(番外篇)】
16:38
-
AI是如何作画和修复老电影的?10分钟还你一个4K的青春。【AI原理解析系列】
16:03
-
AI自我意识觉醒?15分钟告诉你AI智能体真相
15:07
Description
这期视频我们聊三件刚刚发生的事:单位距离猜想,Erdős 提了近80年,被AI用"升维"加一座"类域塔"推翻了;雅可比猜想,87年历史,AI构造的反例简单到我们自己都能验算;圈双覆盖猜想,图论50多年的硬骨头,AI用一套"发护照"的办法正面证明了出来,证明全文只有三页。 三件事发生在同一个月,准菲尔茨奖级别的突破,主角都不是人类。这到底意味着什么?这期我们尽量用大白话,把三个证明的思路讲清楚。8月11日补,最新消息,黎曼猜想也获得了重大突破。
Comments
感觉公园变了啊,越来越像营销号了[笑哭]。光看标题我还以为辛顿老爷子又放出什么惊悚言论了,跟梭哈了美国科技股的赌徒似的
♥ 32 ↩ 5
实际上比起ai超越人类我更害怕它不能超越人类[笑哭]
♥ 1072 ↩ 37
热知识,目前所有人类的菲尔兹奖成果,诺奖成果,也都是基于前人的知识才做出来的。我是说所有的,无一例外。而评论区某些人却要求ai能“从头开始”做出“全新”的结果才肯承认ai的能力,这无疑是荒谬的。
♥ 73 ↩ 9
数学家不会失业,因为需要数学家来验证ai的论文对不对,甚至随着ai的论文井喷式爆发,需要的数学家也越来越多
♥ 91 ↩ 7
如果说Ai没有创造力的话,那我觉得其实人也没有。[笑哭]
♥ 72 ↩ 14
AI猜想一下,人类啥时蠢死自己[抠鼻]
♥ 2
我还是觉得不大可能是最后一届,因为有些数学问题是需要新的数学工具的(例如黎曼猜想),目前来看AI能运用数学工具,但是还不能发明数学工具
♥ 73 ↩ 3
数学肯定会被先突破,数学是可以推荐的,物理就不一定了,物理上还需要这个实验去论证的,不能说你突破了,就算数学就肯定可以突破
♥ 6 ↩ 1
要知道,距离chatgpt 3.5 发布,才过去仅3年半。。。
♥ 38 ↩ 3
要是猜想是被deepseek证明出来的,评论区又是一种风向了
♥ 19
[笑]可不可以不要听风就是雨,openai和A社有专门的团队培养此类功能的AI,推特上全是“不经意”解决某某世界难题但节省大量经费的案例,这不就是托么?看一下这些AI解决的问题是不是集中在数论图论组合学和CS强相关的这方面?而且拿之前的雅科比猜想证伪举例,很大原因是检索了过去数学家的成果后复制了其思路,AI本来就有更大的视角和阅读量,但是包括现在的这十个问题或者是grok现在尝试的批量处理猜想的计划,都是“借古考今”,进入了一种学术考古的境地,更是欺负像我这样对现代数学分类一窍不通的普通人。如果你觉得不清楚不妨自己问一下AI这些是什么类型的问题,自然豁然开朗
♥ 68 ↩ 7
口是心非[脱单doge]
♥ 155 ↩ 2
本集视频需要大学数学系研究生水平才能理解。人类数学家很难熟练掌握所有定律,而AI却很容易掌握,并且建立强联系,所以AI在这方面超越人类,并不能说明AI很厉害。[吃瓜]
♥ 326 ↩ 83
人脑的信息带宽不够,永远也不能在广度上再有突破了。 AI遍历了人类所有信息后,已经具备了创造新信息的物质基础。 只是没有巧妙的问题激发,这些物质基础并不会主动转化为新的有效知识。 人类接下来的任务,可能就是不断设计巧妙的问题,去激发AI个这创造的黑箱了。
♥ 35 ↩ 4
AI都是人类生产出来的,那它能解出人类的问题很正常吧?
♥ 3
ai没出来之前 还有人问问什么21世纪似乎没有特别大的突破,但实际上,人类科技发展的速度已经让我们连未来三年都无法预测了
♥ 6
多几年前那时候ai还没兴起,看过一个说法,人类的科学进步有点卡住了,卡住的原因就是人类的寿命,现在科学越来越庞杂,很多想要突破性得进展需要多学科多分支的融汇,但是人类巅峰期就那么点时间,几十年前那些科学巨人突破性的进展几乎都是在40岁之前做出来的,很多都在二十几岁做出来的,当时看的觉得挺悲观,结果现在ai补上了广度的问题。
♥ 403 ↩ 14
未来菲尔茨奖可以作为围棋奖的延续,只允许真人评奖,用AI算作弊[doge]
♥ 221 ↩ 37
[笑哭]前提是解决这些难题的数学工具已经被制造出来了。现在数学工具确实已经太多了,人类无法完全掌握。创造工具的没有想到拿来解这道题。解这道题的人没有看到这个工具。
♥ 22
[doge]我觉得豆包破解这些数学难题应该不在话下,可能早就破解了,不屑告诉他们罢了。
♥ 3 ↩ 1