果壳时间

如果把芯片比做高楼，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等平台找到我们。
欢迎留下评论，你的意见对我们很重要。

在小宇宙查看该单集文稿

最近数学家和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等平台找到我们。
欢迎留下评论，你的意见对我们很重要。

在小宇宙查看该单集文稿

日全食，地球上肉眼可见最震撼的天象，平均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等平台找到我们。
欢迎留下评论，你的意见对我们很重要。

在小宇宙查看该单集文稿

本月初，有一项出自中国团队的工作成果被网友们誉为“诺奖级”的发现：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等平台找到我们。
欢迎留下评论，你的意见对我们很重要。

在小宇宙查看该单集文稿

本世纪初，一种名为人造石英石的石材出现在家装市场，它美观耐磨好打理，相比天然石材性价比高，越来越多地用于厨卫台面。但很少有人了解，这些性能优越的材料，让一种此前似乎已经得到控制的疾病在石材加工行业从业者中快速流行。切割打磨人造石英石产生的细小粉尘，含有超高量的二氧化硅，这些粉尘进入人体，就可能造成矽肺。
矽肺本已被称为尘肺之王，而与人造石英石相关的矽肺则更为凶险，能够在5到10年的时间里快速进展。患病甚至死亡的患者很多都是“90后”。
自2010年首次报告病例，人造石英石矽肺已经成为全球范围的一场职业健康危机。2024年，澳大利亚率先发布了人造石禁令。
在中国，人造石英石加工行业规模更大、涉尘工人数量更多，潜在风险更不容忽视。2025年，大爱清尘在5个省的21个人造石英石作业场所展开调研，报告于今年6月发布，调研得出的判断是：人造石英石矽肺并非工人个人防护没做好，而是材料特性、行业结构、劳动关系与监管制度交织的系统性失灵。
新技术出现让整个社会受益，而相关的风险落在了一线工作的弱势人群身上，这样的事在历史上反复发生。
它与我们有关系。
相关链接：
大爱清尘2025年中国尘肺病农民工调查报告（人造石英石矽肺特辑）
2025尘肺病国际治理经验汇编（澳大利亚人造石禁令特辑）
本期人物
谢少平，北京大爱清尘公益基金会研究中心主任
明月，果壳主编
Part1 一次调查
01:37 人造石英石矽肺，尘肺王中王，极短时间内极快进展
04:59 97年的患者，14岁入行，24岁查出矽肺，今年去世
07:29 小作坊占比这么高，如何估算行业规模？后来是靠高德地图解决的
15:53 5个城市，3种类型，21个场所
19:14 断面锋利的微小粉尘，生物活性更强，停工很久后依然飘在空中
21:40 7个工作场所，没有一处粉尘浓度达标，最高超标32倍
27:06 直到查出病才第一次听说尘肺病，职业健康教育是谁的责任？
33:18 农民工有没有可能像外卖员和快递员一样得到保障？
Part2 一场全球范围的职业健康危机
34:50 当新技术相关的疾病在不同国家快速同步扩张
36:59 为什么澳大利亚能做到完全禁止？专业证据、政治背景、行业条件缺一不可
40:36 我们并不知道全世界目前有多少患者，一级预防全面失效
46:16 夹缝中的职业健康问题：新技术让整个社会受益，风险则落在了弱势群体头上
Part3 中国能做什么
51:07 诊断-劳动合同-职业病认定-赔偿，在漏斗末端，拿到赔偿的人只有1.22%
54:18 “前半生拿命换钱，后半生拿钱续命”，但是已经续不上了
59:17 消除、替代、工程防护、管理防护、个人防护，效力递减的控制等级，中国能做到哪一步？
01:04:41 必须要引发社会事件，事情才能被推动吗？
本期嘉宾：谢少平
主播：明月
后期：Yann
欢迎收听果壳时间，这是一档果壳推出的播客节目，主播们会和嘉宾一起，提供多学科视角，还原科技的复杂性，将热议话题深挖一层。
你可以在小宇宙、苹果播客、喜马拉雅、网易云音乐、微博、QQ音乐、豆瓣、荔枝、Spotify等平台找到我们。
欢迎留下评论，你的意见对我们很重要。

在小宇宙查看该单集文稿