137. 对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造与被发现的

《晚点聊 LateTalk》由《晚点 LatePost》出品。 最一手的科技访谈，最真实的从业者思考。

全新一季的「商业WHY酱」，邀请充满好奇心和对商业故事感兴趣的你一起，继续跟随 36 氪主编杨轩的视角，今年会有什么重大商业节点，背后又有怎样的逻辑和故事。身在变局中的我们，又该如何去理解和把握新经济的变迁，以及人与商业的关系？

「风风火火」是两个都市女孩儿的日常畅谈类节目，一档“氧气播客”。我们炽烈地爱和成长，用丰盛的生命力去感知和表达。欢迎和我们一起“风风火火享受人生”！ 在这里，我们聊与自己、与他人、与世界的关系，聊与成长、与爱、与生活本身有关的一切话题。我们坦诚分享，也期待不同观点的碰撞。 我们想成为你慵懒放松时的背景音乐、疲惫困顿时的移动电源、探索美妙世界时的拍立得、平凡普通日子里的冰镇起泡酒。 去经历、去探索、去感受。 世界就是我们的游乐场，一起来玩吧！ ?‍?节目主播 Jasmine: 底色是旺盛的好奇心和乐观主义，热爱网球/户外/晒太阳，去过更宽阔更明亮的生活（全网同名：jaswanders） 带鱼：热爱人间的体验家，寰宇瑜伽和营养学爱好者，探索身心平衡的艺术，传播/快消/大健康赛道（全网同名：带鱼Yuyi） ?联系我们 进听友群，微信：hi_lively 商务合作，微信：FFHH-01 听友来信，邮箱：hi_lively@163.com 欢迎在小宇宙/喜马拉雅/荔枝/QQ音乐/网易云音乐/Apple Podcast/Spotify/微信公众号和豆瓣等平台订阅和收听，期待与你连接

你和我同样源于火焰， 我们命中注定要一起燃烧。 我是Chosen岛主。 这档播客是一档社科与艺术、影视与音乐、商业与品牌、潮流与体育的综合节目，不同系列各有10期节目，会有点小众、会有点冷门、会有点深度，欢迎订阅。 播客主要发布平台在小宇宙/蜻蜓FM/荔枝，RSS链接同步更新在苹果podcast/网易云音乐/喜马拉雅/QQ音乐

一档为提前养老打基础的中年危机播客

【四十而已，双倍「婧」彩的人间游乐场】 这里是两位同名不同命的40+姐姐的烟火人生直播间——我们用麦克风解剖生活盲盒，用调皮自黑拆解中年困惑，在真诚磁场里吸引相近的灵魂，在家长里短里打捞人性的微光。这里没有人生导师，只有两个提前拿到「不惑」剧本却貌似还没长大的傻大姐，陪你一起寻找想要的快乐。

一起探索好玩的商业世界

欢迎大家收听《读书吧！少女》播客，我是Frida木小莎子。 新的一年，我非常开心《读书吧！少女》能够以播客的方式和大家见面，为大家推荐更多有趣、有价值、有意义的好书。

用毒辣视角，聊科技热点。

探讨如何慢慢做品牌，建立与事物、人和世界的长久连结。