果壳时间

果壳时间

用多样化视角拆解科技,对热议话题思考更深一层。

主播 明月odette、游识猷 出品 明月odette 知识 · 科学 8.1 万 订阅 94 集 1个月前更新

在小宇宙收听

简介

果壳时间由果壳出品,用多学科视角还原科技的复杂性,将热议话题深挖一层,主理人为果壳两位资深女性内容创作者。

最怕幻觉的芯片工程师,正在把狂野的AI变成无所不知的小孩

最怕幻觉的芯片工程师,正在把狂野的AI变成无所不知的小孩

果壳时间

如果把芯片比做高楼,EDA就是盖楼不可或缺的超级CAD。如果把芯片制造比做拍照,EDA就是芯片生产前最硬核的“修图软件”。 你可能频繁听到“卡脖子”,但你也许不知道:在这个支撑着全球数字世界的数百亿美元行业里,核心的开发人员可能过一万人。 当生成式AI 席卷世界的时候,最追求“绝对确定性、不能出哪怕一个漏洞”的芯片行业,是如何对待 AI 的?工程师们真的要失业了吗? 本期《果壳时间》,我们邀请到新思科技的解决方案专家孙路(河马大叔)。我们从“上百亿晶体管如何像 P 图一样被层层抽象设计出来”,一路聊到“AI 进场后,普通人如何撕掉焦虑,把AI 变成无所不知的小孩”。 无论你是对硬科技充满好奇的科技爱好者,还是正在被AI 改变工作方式、探索自身护城河的普通白领,这期节目都有你想要的硬核干货与思维启发。 本期人物: 孙路(河马大叔),新思科技解决方案专家 陈岩,果壳AI创意实验室负责人 00:01:45 一句话听懂 EDA 00:06:27 AI是个无所不知的“小孩” 00:09:00 如何使用AI:5-10 张卡片的"卡片法" 00:12:00 新思 DSO.AI = 芯片设计领域的 AlphaGo 00:19:30 人人都是产品经理:你不用学编程了,你甚至也不用学画画了 00:23:30 50% 报废芯片的成本要分摊到 50% 良品上 00:30:30 AI时代的判断者 vs 接受者 00:36:00 用 AI 写书踩过的三个坑 00:40:06 提问能力才是 AI 时代的稀缺品 00:44:30 如何抓住"不变"的量:我的答案就是做个人吧 本期嘉宾:孙路(河马大叔) 主播:陈岩 后期:尔尼 欢迎收听果壳时间,这是一档果壳推出的播客节目,主播们会和嘉宾一起,提供多学科视角,还原科技的复杂性,将热议话题深挖一层。 你可以在小宇宙、苹果播客、喜马拉雅、网易云音乐、微博、QQ音乐、豆瓣、荔枝、Spotify等平台找到我们。 欢迎留下评论,你的意见对我们很重要。

52 分钟 2k+ 次播放 1个月前

AI疯狂收割数学难题,数学家为什么集体抗议

AI疯狂收割数学难题,数学家为什么集体抗议

果壳时间

最近数学家和AI公司吵翻了天。 事件的起点围绕着千禧年数学问题之一纳维-斯托克斯方程究竟由谁攻克。OpenAI在9月8日宣布用1万个智能体花了88小时破解了这一难题,而稍早的时间,纽约大学数学家巴克马斯特(Tristan Buckmaster)则说是自己和另一个数学家阿尔波格(Levent Alpöge)先解决了问题,并怀疑OpenAI的智能体利用了他们的数据。 虽然事实真相如何至今未有定论,但“AI抢占数学家成果”的可能性已经引起了很多数学家的警觉和批评,讨论也进一步转向了AI暴力破解数学问题会带来的伤害。 但AI巨头收割数学难题的脚步并未因此停止,在节目录制的9月11日,OpenAI又透露,他们已经接近解决了千禧年数学问题中的另一个——霍奇猜想。12日,这家公司再次宣布正尝试解决千禧年数学问题里剩下的问题。同日,包括陶哲轩、邓煜在内的25名菲尔兹奖得主联合发出抗议,认为AI公司正在毁掉数学本身。 这期节目邀请了深耕数学领域多年的科普作者antares回顾N-S方程相关的争议,并解释数学家们到底在反对什么。她引用了格罗滕迪克关于海水包裹土地的比喻:暴力破解的情况下,“你不会得到那片海”。 本期人物 antares,资深科普作者,数学硕士,研究方向是低维拓扑与微分几何。致力于撰写准确清晰的数学科普十余年,近期关注AI与数学的交叉地带,各家AI工具重度用户,但也是这次NS方程事件中被波及的数学社区的一员。 明月,果壳主编 时间轴 03:15 千禧年数学问题,一个有钱人和一个数学家建了个研究所,为最难的七大数学问题悬赏700万美元 06:56 纳维-斯托克斯方程(N-S方程)描述了流体运动,什么叫光滑,什么又叫爆破 10:42 克雷研究所给了两个条件交叉的四个选项,正反两种方向,解出其中之一就算 12:43 我去问了陶哲轩本人,对于奇点是否存在,为什么数学家在17年时间里态度变了 17:05 事件的时间线不是从2025年开始,是始于2021年两个西班牙数学家的工作 22:49 “你为什么要毁掉你的职业生涯?”“为什么发布这件事就会毁掉我的职业生涯?” 26:18 关键的证明思路来自西班牙数学家,他们却无人关注,“要是这是我们自己做出来的就好了” 33:00 知道“一个问题有解”,在数学上就是非常重要的信息 36:11 OpenAI到底有没有使用数学家的数据呢?有很多可能性会让数学家和AI的交互进入模型训练 44:07 目前学术的credit体系,不是为人类和AI协作的分工设计的 46:07 DeepMind也曾用完全不同的方法在这个方向努力,并且恪守学术伦理 49:39 AI解决的数学问题已经不是低垂的果实了,它们格外擅长什么 52:12 人有自己的优势,数学直觉会说,“有一把钥匙藏在了那个架子上” 55:03 AI暴力破解,会让人类损失什么?数学工具,培训下一代数学家的素材,对数学的理解 58:00 格罗滕迪克:暴力拆解之后,“你不会得到那片海” 01:01:41 数学发现的结果到底有用还是没有用呢?当结果不必然关联过程,可能结果本身的意义就大大减少了 01:03:47 这个时代世界上最有影响力的数学家之一是陶哲轩,这件事让人庆幸,如果换成冯·诺依曼或佩雷尔曼就糟了 01:07:03 “数学实际上始终以人为中心” 本期嘉宾:antares 主播:明月 后期:尔尼 欢迎收听果壳时间,这是一档果壳推出的播客节目,主播们会和嘉宾一起,提供多学科视角,还原科技的复杂性,将热议话题深挖一层。 你可以在小宇宙、苹果播客、喜马拉雅、网易云音乐、微博、QQ音乐、豆瓣、荔枝、Spotify等平台找到我们。 欢迎留下评论,你的意见对我们很重要。

72 分钟 4k+ 次播放 1个月前

为了1分钟的黑暗跑到地球另一边,日全食到底有什么好看的?

为了1分钟的黑暗跑到地球另一边,日全食到底有什么好看的?

果壳时间

日全食,地球上肉眼可见最震撼的天象,平均18个月出现一次,掠过地面的宽度有限,亲眼见过的人百不足一。 而世界上有这样一群人,为了追逐日全食,他们会提前一年规划行程、安排工作和生活,有的人已经看过几十次日全食。“追日”变成了他们的生活方式。 每一次,月影完全覆住太阳的时间不过几分钟,有时甚至不足1分钟,一个人一生在日全食里待的总时间不会超过两小时。跨国奔波、花费数万,就为了这已经知晓过程的一个又一个1分钟吗? 这期节目史无前例地邀请了6位嘉宾,他们看过日全食的次数不等,3位“追日老手”都有失败的经历,而这些失败可能比成功的故事还要精彩。 日全食是这样一种奇观,怎样观看都有道理,每次体验都不相同,每次都留有遗憾,你永远想再看一次。没有一台相机能够记录现场体验的百分之一,如果你想亲眼见证一次日全食,别错过2035年国内可见的机会。 虽然听讲述、看照片或视频,都远远不如亲眼看一次来得震撼,不过还是先带大家欣赏他们拍到的照片: 叶人豪的求婚照 圈圈拍的日食串 CK拍的钻石环 马褂在做日食投影 本期人物 “老手”组: * 马褂,科普志愿者,看过5次日全食 * 噗噗,科普译者,看过6次日全食 * steed,果壳主笔,看过10次日全食 “新手”组: * 圈圈,南半球观星向导 * CK,8KRAW Premier摄影师 * 叶人豪,天体物理博士生 主播: * 明月,果壳主编,看过0次日全食 Part1 看日全食,都在看些什么 01:33 “老手组”快问快答自我介绍 02:39 “新手组”去西班牙的原因:为了梦想,为了拍摄,为了求婚(照) 05:45 月球直径是太阳的1/400,地月距离也刚好是地日距离的1/400,巧合造就的奇观 07:54 第一次看日全食的体验:惊慌失措,“看一次疯一次”,“我只看了两眼,但已经订好2027年沙特的酒店,决定找工作一定要找好请假的” 13:29 各阶段详解:偏食阶段漫长无聊,钻石环与贝利珠短暂绚烂 18:24 全食中看什么?看平常看不到的太阳部分,日珥、日冕、色球层 20:51 “后半段的偏食不如狗”,但是别影响别人拍糖葫芦串(见前边圈圈拍摄的那张图) 23:54 一个精彩比喻:月球拿着毛笔笔尖在宇宙游走,扫到地球画下一条线 27:00 即使把太阳从天空中挖掉,日全食时的环境也和夜晚完全不同,是天翻地覆的全方位体验 29:34 动物的异常行为不会错过的,大家注意到鸟、蚊子、海豚、狗 Part2 为了能看到全食,拼了 32:23 如何选择观察地点?入门级看交通、看地景,进阶级看云图 38:13 在两个地方各订了两晚酒店,最后是在第三个地方看的。我就是要跑,绝对不能失败! 41:28 在全食带内的陆地上,选安全的地方,看历史同期天气,剩下的交给老天 46:33 噗噗几乎失败的经历:09年武汉,云遮住了太阳,长江边上完全跑不了 49:05 steed的失败经历:13年肯尼亚图尔卡纳湖边,“现在看天气晴朗”,下一秒刮起了沙尘暴 54:05 如果你决定追日食,有机会就要尽量去,因为不知道下次会怎样 Part3 追日作为一种生活方式 57:29 这到底要花多少钱? 01:00:15 日全食会带你去地图上都找不到的地方,是体验世界的新机会 01:04:48 有也许此生不会再见的新朋友,也有从世界各个角落聚来的老朋友 01:07:40 每一年的日食微信群,都是保存时空交叉宇宙奇观的琥珀 01:11:04 看日食也有世界排名,“你都看10次了,下次还有什么可看的?”其实每一次日全食都是独特的 Part4 怎么看日全食都是有道理的 01:15:27 一开始会带很多设备去拍摄,现在已经不再关心拍成什么样 01:19:58 马褂:我可以用各种方法玩日食,拍小孔成像,用目镜投影 01:23:07 专门去日食带边缘,能看到长时间的钻石环 01:27:09 你的眼睛就是最适合看日全食的工具,任何相机都还原不出现场的百分之一 01:30:16 追日食是一辈子的事,先努力活到2063年 01:35:28 接下来几次特别适合追的日全食 本期嘉宾:马褂 噗噗 steed 圈圈 CK 叶人豪 主播:明月 后期:尔尼 欢迎收听果壳时间,这是一档果壳推出的播客节目,主播们会和嘉宾一起,提供多学科视角,还原科技的复杂性,将热议话题深挖一层。 你可以在小宇宙、苹果播客、喜马拉雅、网易云音乐、微博、QQ音乐、豆瓣、荔枝、Spotify等平台找到我们。 欢迎留下评论,你的意见对我们很重要。

99 分钟 12k+ 次播放 1个月前

宇宙里真有一种物质,不含任何“物质”| 对话“胶球”发现团队成员

宇宙里真有一种物质,不含任何“物质”| 对话“胶球”发现团队成员

果壳时间

本月初,有一项出自中国团队的工作成果被网友们誉为“诺奖级”的发现:8月6号,在巴西举行的国际高能物理大会上,中国科学家宣布证明胶球存在,解开了困扰学术界近半个世纪的谜题。 胶球是什么呢?这是一种“纯由力构成的物质”。 为了解释清楚上边这句天书一样的话,我们邀请了两位参与这项工作的研究者张鹏和石硕,从最基础的粒子物理知识讲起。他们来自中国科学院高能物理研究所,北京正负电子对撞机(BEPCII)上的北京谱仪III(BES III)实验国际合作组。 从发现胶球候选粒子X(2370)到建立完整证据链,一共花了15年时间,而这项工作的基础可以追溯到50年前,包含五代人的努力。 一个多小时的节目,只能带大家略微窥得这项艰苦工作的皮毛,更多的繁杂、周折、枯燥并不能一一呈现。对于这项工作的意义,他们并不想过多渲染,“它在物理上是重要的,我们就得去做”。 本期节目涉及较多粒子物理知识,强烈建议配合以下示意图收听以便理解↓ 标准模型简要示意(图源:CERN): 含有更多信息的标准模型示意(图源:Yinweichen/wikipedia): 正负电子对撞产生胶球示意(图源:BESIII): 本期人物 张鹏,中国科学院高能物理研究所 中国高等科学技术中心 博士后 石硕,中国科学院高能物理研究所 在读博士生 明月,果壳主编 粒子物理101 要点汇总: 6种夸克:上夸克(u),下夸克(d);粲夸克(c),奇异夸克(s);顶夸克(t),底夸克(b) 6种轻子:电子(e),缪子(μ),陶子(τ)以及对应的3种中微子 夸克和轻子都分成三代,一代比一代重,且更不稳定 4种规范玻色子:光子(γ,电磁力的媒介),胶子(g,强力的媒介),W与Z玻色子(弱力的媒介) 希格斯玻色子(H),希格斯场赋予基本粒子质量 强子物质通过强相互作用形成:普通强子包括3个夸克或反夸克构成的重子(其中包括质子与中子),以及1个正夸克和1个反夸克构成的介子;奇特强子包括纯由胶子构成的胶球、四夸克态粒子、五夸克态粒子等。 01:56 6种夸克中,为什么粲夸克和其他夸克名字风格那么不一样,竟来自《诗经》 06:06 就像光传递电磁力,胶子传递的是强力;电荷有正负,色荷有红绿蓝 13:20 没有质量的胶子形成了有质量的胶球,质量可以来自强相互作用 20:08 标准模型好比元素周期表,希格斯玻色子的存在补完了拼图 21:34 胶球属于一种奇特强子,它是唯一不含有夸克的强子态 寻找胶球:15年时间,都在做什么 25:08 对撞机做的事,是撞出更重更不稳定的粒子,再通过探测衰变产物重建母粒子 26:31 谱仪好比照相机,没有谱仪就无法得知撞了之后发生了什么 29:34 名字中含有丁肇中姓的J/ψ粒子,提供了发现胶球的理想环境 33:33 赝标量胶球质量范围内意外发现的X(2370),开启了接下来15年的工作 (注:36:51处提到的JPC代表三个量子属性,自旋、P宇称、C宇称,赝标量胶球的相应量子数为0 - +) 41:29 为了测量疑似粒子的自旋宇称数,要找到干净的衰变末态 44:23 每种夸克是一种“味道”,胶球必须满足不对任何味道有偏好 47:00 上世纪论文给出一条“捷径”,证据链终于完整了 51:32 证明几个属性,为什么要100亿个J/ψ事例那么多? 54:36 理论物理学家解释世界,实验物理学家负责脚踏实地证明出来 那些看不见的粒子,都靠什么来证明存在 01:01:20 人眼能看到的非常有限,尺寸太小、存在时间太短、不和其他物质相互作用,都是阻碍 01:03:40 探测器可以对探测对象施加作用,让不可见变得可见 01:06:31 电子、质子、重离子、介子都可以拿来对撞 01:09:11 围绕大科学装置的实验,有什么特别? 01:12:25 爱因斯坦不在乎的细节,我们在乎 本期嘉宾:张鹏 石硕 主播:明月 后期:Yann 欢迎收听果壳时间,这是一档果壳推出的播客节目,主播们会和嘉宾一起,提供多学科视角,还原科技的复杂性,将热议话题深挖一层。 你可以在小宇宙、苹果播客、喜马拉雅、网易云音乐、微博、QQ音乐、豆瓣、荔枝、Spotify等平台找到我们。 欢迎留下评论,你的意见对我们很重要。

75 分钟 4k+ 次播放 2个月前

评价

还没有人评价。听过的话,留个分数和一句短评吧。

播放列表

自动播放下一个

播放列表还是空的

去找些喜欢的节目添加进来吧