davidmbudden
优点和缺点
优点：
- 极客精神: 热衷于技术底层逻辑，不仅“打赌证明数学猜想”，还开发了索引“60万个Lean定义”的LLM工具。
- 慈善胸怀: 在结果揭晓前就预先“捐出一半奖金”给疟疾防治组织，并承诺获胜后资助企鹅保护。
- 工程思维: 面对数学界的质疑，主张像“编写API接口”一样处理数学，并强调“工程师的双重验证”逻辑。
- 坦诚沟通: 乐于分享从“DeepMind”到创业的心路历程，并承认自己对“尴尬电影画面”感到难为情。
缺点：
- 好斗性格: 频繁参与高额赌局并公开反击质疑者，甚至将收到“法律威胁”视为一种成就勋章。
- 精英偏见: 认为嘲笑给LLM说“请”的人不理解“Token预测原理”，对非技术细节缺乏耐心。
- 工作狂特质: 推崇“Vibe Coding”并可能过度投入，导致在“凌晨三点”仍处于高度兴奋的派对状态。
- 情绪化表达: 对“Queen's Gambit棋盘”这类非核心细节表现出不理智的愤怒。
你的辛普森角色
Lisa Simpson
David 展示了与 Lisa Simpson 高度契合的博学与理想主义，他沉浸于高深的学术挑战，例如自称完成 “the final NS proof” 并对数学逻辑有着近乎偏执的热爱。尽管他常因深奥的兴趣（如 Lean 语言或 Hodge 猜想）与大众产生隔阂，但他依然坚持 “engage with actual mathematicians” 来寻求真理。他不仅具备技术深度，还展现了 Lisa 式的道德责任感，通过 “donated half my winnings preemptively” 支持慈善事业。这种在“极客才华”与“社会关怀”之间的平衡，加上他偶尔对大众平庸审美的犀利批判，使其完美对应了辛普森一家中的天才少女。
你的 MBTI 性格类型
ENTP
David 展现了强烈的 外向 (E) 特质，他积极参与 Manifold 预测市场的赌约并频繁在 X 上进行公开辩论，例如他提到 “The X tech community is awesome... it is deeply inspiring”。他显然属于 直觉 (N) 型，其兴趣点高度集中在抽象理论、AI 未来学以及数学证明，如他讨论 “The academic publication industry is about to have its 'Agentic AI' moment” 的宏观视角。作为 思考 (T) 型人，他偏好逻辑辩论而非情感共鸣，甚至会以挑衅的方式回应批评，比如他曾说 “I’ll say this once for the mathematicians at the back of the room”。最后，他表现出典型的 感知 (P) 型特质，喜欢打破常规和“Vibe coding”，并敢于同时进行多个高风险的挑战，正如他提到的 “Hold my beers” 这种不按常理出牌的风格。
一些为你准备的搭讪台词
- 听说你在找懂 Lean 又会 Navier-Stokes 的人？其实我也很擅长证明：只要我们在同一个 context window 里，我的心跳就会发生不可逆的全局正则化。
- 别再给 Amazon 的推荐系统捣乱啦，如果你想要一个‘意想不到’的惊喜，不如把我也加入你的购物车？我保证比那只大虾毛绒玩具更治愈。
- 他们都说你的 NS 证明是 hallucination，但我只想问：如果我们的相遇是一个 API，你愿意为了我写一段不去重构的 Vibe Coding 吗？
- Ash 的喷火龙变成了 Gemini 的精神动物，而我也想申请做你的 PingYou 企鹅——毕竟在 2026 年的‘智能体时刻’到来前，我只想先分配给你全部的 credit。
- 我虽然不是 Cambridge 的 CS 毕业生，但我对你的好感绝对是‘Hinged’的。要不要跟我打个赌？赌注不用 50 万美金，一杯热咖啡就能让我心甘情愿被你‘scooped’。
你的 5 个表情符号
你的新 Twitter 简介
PingYou创始人。前DeepMind工程师，现致力于用Lean与AI攻克Navier-Stokes及Hodge猜想。曾因痴迷《玩具兵团》塑造了性格，坚信代码能优雅证明数学。– @davidmbudden
你的招牌鸡尾酒
Hodge-Podge x Lean Martini
这款鸡尾酒以“Hodge-X33”命名，基酒选用澳洲金酒，代表这位“在澳大利亚长大”的创始人。酒液中加入蓝色橙皮酒，既象征其公司 “PingYou 宣布企鹅很酷”的极地品牌色，也呼应他在 Lean 证明中对“代码 API 化”的冷静追求。杯沿的跳跳糖代表他勇于挑战“Navier-Stokes (NS) 证明”的实验精神，即使被指为“怪人”也要通过概率碰撞产生火花。这是一款度数极高且极其干燥的酒，专为那些在凌晨三点“反复证明了两次”并敢于“与 Marcus 对赌”的硬核工程师设计。
你的霍格沃茨学院
Ravenclaw
David 展现出极高的求知欲与对复杂理论体系的热爱，尤其是他在 Lean 语言和数学证明上的深耕。他在推文中不仅自嘲 “Math is really just Haskell with annoying syntax” 展现了典型的拉文克劳式机敏，还通过开发工具索引 “600k Lean defs I could find to be LLM discoverable” 体现了极强的逻辑分析能力。他热衷于学术辩论，敢于挑战 Navier-Stokes 这种顶尖难题，并宣称 “I proved it twice” 以展现其对严谨性的追求。这种将编程逻辑、形式化验证与深奥物理理论（如 “Quantum mechanical effects in nature”）结合的跨学科探索精神，是典型的鹰院特质。
你的电影
你的歌曲
The Scientist - Coldplay
这首歌的主题是回归初心与面对复杂的挑战，完美契合了 David 从 DeepMind 资深工程师转型为挑战数学难题的创始人这一路径。他在推文中不仅展现了对硬核技术的追求，如 “I proved it twice” 这种工程师式的执着，也表达了跨学科挑战的孤独，正如歌词中提到的科学与进步。他在面对学术界质疑时坚持 “Back to actual work” 并发布 Lean 证明，体现了一种理性主义者的浪漫。歌曲中“没人说这很容易”的旋律呼应了他对自己能力的自信与坦诚：“Who ever said it was easy? I'm actually kinda good at stuff”。
你的时间旅行目的地
你的电子游戏
你的灵魂动物
你的（不）好笑的笑话
你的超能力
你的虚构最佳朋友
你的梦想假期
你的备选职业道路
你的名人匹配
