这期张小珺的播客又是很精彩的一期。主角是00后”华人女孩洪乐潼（Carina Hong @CarinaLHong )。 洪乐潼创办的 Axiom 是一家专注于 AI for Math（数学人工智能） 的前沿实验室，目前估值已达 16 亿美元，旨在利用 Lean 形式化语言 打造具备深层逻辑推理能力的“AI 数学家”。该公司开发的系统在普特南数学竞赛（Putnam Competition）中斩获满分。其核心愿景是通过形式化验证技术消除 AI 幻觉，并将这种严密的逻辑能力应用到芯片设计验证、代码安全和科学发现等高价值商业领域 洪在访谈中表现了超出其24岁年龄的对人生的感悟，凭记忆想几点： Free Attention（自由注意力） 比起被邮件和任务填满的“受限注意力”，她更看重像爱因斯坦洗澡时间一样的“自由注意力”。她怀念小时候走路上学时那种“不线性”的思考时间，认为这才是拉开人与人之间差距、产生灵感和直觉的关键。 Collaborative Tribes（协作部落） 她拒绝被驯化成竞争者，讨厌内卷的“零和游戏”。 从初中起，她就喜欢寻找志同道合的“小部落”，通过群策群力去解决像“马步棋”或高等数学那样的“正和游戏”。 她认为，最好的领导力不是拿着喇叭喊话，而是成为那个在后方递水的服务者。 对“苦难”上瘾，将“失败”默认化 她直言，优秀的创始人大多“对苦难上瘾”（Addicted to suffering）。她习惯性地把自己放在“最愚蠢”的位置，将失败设为默认选项（Default），所以她能永远保持乐观。 正如她所说，这种持续不在舒适区的状态，才是对人最有塑造力的体验。 这种“极致乐观但时刻准备着失败”的韧性，会让这位年轻的数学天才在AI浪潮中走得更远。