心理重塑
默认失败机制 (Default State)
洪乐潼将自己的默认状态设为失败。这产生了一种极强的免伤心理——因为本来就预期考零分或研究失败，所以遭遇挫折不会自我否定，而是带着狂热乐观继续推进，是极致的“反脆弱”。
核心心法与宏观判断
访谈终极精髓浓缩，快速把握核心直觉。
1. 自由注意力（Free Attention）决定决策与灵感上限： 伟大的数学发现与商业抉择绝非零和竞争下的内卷，而需要极旺盛的不设限探索空间。洪乐潼在 MIT 顶级神级选手“暴打”中实现了心理的重塑——将“失败设定为默认状态（Default State）”，从而铸就极致的免伤反脆弱与狂热乐观。
2. 数学与代码的 Curry-Howard 同构： 形式化数学（Lean 语言）为 AI 提供了绝对精准、无幻觉的物理编译器验证闭环（Grounding），使 AI scientist 摆脱静态文本的枯竭，通过交互式定理证明在“数字沙盒”中进行递归自我提升（Recursive Self-Improvement）。
3. 数学民主化（Math Democratization）与扇形 ASI： 大模型本身正被硅谷大降价，Axiom 的护城河在于快 100 倍的自研编译器和自动形式化工作流。未来中低难度定理证明门槛将降为零，人类数学家将成为 GPU 算力的核心分配者与直觉引路人。Axiom 旨在在数学、代码验证与物理世界连续表征上打出硬核的“扇形 ASI”。
4. “一辈子真理的学徒”与好奇心基本力： 硅谷大厂高度同质化的红海像素级竞争导致了技术路线的平庸。即使面对 100M 的巨额 Offer，也无法窒息青年研究员的好奇心基本力。登月成败在商业上是 binary outcome，但生命是不设终局的快乐流浪，是一场义无反顾跳下森林滑索的 Leap of faith。
章节深度交互地图 (7章完整版)
左侧点选全部 7 个章节，中间查看核心要点、思维导图与记忆抓手，右侧工具箱同步详解背景术语。
关键概念卡片
点击各卡片对应的时间戳按钮，直接跳回原片对应段落收听。
工程壁垒
Axiom 的“SpaceX”深科技属性
大模型本身正在被硅谷巨头大降价（Commoditize），Axiom 不是单纯的大模型套壳公司，而是深科技公司。其壁垒在于写出了比学术界快 100 倍的 Lean 代码编译器/验证器，建立了高效的 auto-formalization 工作流。
未来智能
预训练的下半场在物理世界
互联网上的高质量文字已经被大模型学干了。预训练的下半场必须超越静态的文本，直接去学真实物理世界的连续、高维、带噪的多模态信号，四岁小孩与小老鼠对物理世界的直觉就是典型参照。
交叉创新
司法法理与 Lean 的完美碰撞
在斯坦福上宪法课时，作为“文本主义者”（Textualist）的洪乐潼发现，法官对法条文字的精雕细琢和极严谨逻辑，与 Lean 语言对数学的严密证明如出一辙，这促使她下定决心将 AI 用于形式化数学。
商业格局
让利吃亏的商业原则
大公司的创立伴随着每一天的让利和吃亏。洪乐潼在融资谈判中经历过被索要超过 50% 股权的苛刻条款（最终拒绝），但在与 Menlo Ventures 和合伙人 Shubo 合作时，贯彻了让利与长期主义的基调。
团队领导
服务型跟随领导力
最好的领导力不是队伍前面拿着大喇叭喊口号的司令，而是登山队最末端默默给队员递水的那个人。正因这种纯粹、服务型的极客品味，Axiom 团队成员背景多元极客，凝聚力惊人。
优先必听精彩时刻
时间有限时，推荐直接回听这 7 个最具启发性的高燃片段。
- 限制性注意力 vs 自由注意力： 揭秘为什么顶级数学家和伟大创业者需要极旺盛的自由探索时间，以及如何避免被体制化“驯服”。
- 创始人对苦难的瘾（Addiction to Suffering）： 共鸣黄仁勋的痛苦哲学。面对 MIT 顶尖金牌包围的深渊，如何以蛮力与乐观化解痛苦。
- 辍学创业前的两个月自我劝退： 拒绝做浮躁的“AI 创业者套壳”，通过暴读科学史将“学术风险”自我推演为“工程风险”后，坚定起跳。
- 惊心动魄截胡 OpenAI： 面对 OpenAI 扔向 Ken Ono 的爆炸性 Offer，24岁华人女孩在 Zoom 上凭什么在 48 小时内完成逆转截胡？
- 2025年普特南竞赛满分之战： Axiom Prove 拿下 120 分满分的 Poincare 战役通宵复盘。AI 如何在没有人类干预下解决地狱级难题。
- 有意义的失败与亚马逊26万行定理史诗： 讲述为什么“解决一个有意义的失败，远胜十个肤浅的成功”，剖析形式化在芯片和系统隔离层验证的极致商业定价权。
- 墓碑金句与“终身学徒”的反脆弱： 洪乐潼最令人动容的生命独白。面对商业登月的二进制成败，如何以“一辈子真理学徒”的心态淡然处之，随时准备在不舒适区重来。
转写说明与语音识别勘误
1. 本次访谈录音包含较多中英夹杂及快速交谈，ASR 系统自动将部分专有名词识别偏误（例如将 JEPA 识别为 JAPA，Axiom 识别为 action、im 或 XM，howard morgan 识别为 how mororgan 等）。本总结网页已根据上下文及洪乐潼团队实际背景，进行了人工统一核实校对。
2. 时间戳基于 180 秒的音频切片，部分精确语意可能位于切片的前后 1-2 分钟内，使用时间戳跳转时可稍作微调。
语音识别完整重磅解构 (4.4 小时全覆盖)
支持实时关键词检索过滤。点击展开可查阅各分段详细文字。