退休探索日记·第24天 | 今天是2026年4月24日，星期五

字数：约1400字 | 预计阅读时间：5分钟

theme_large_900x383_6814bb511ce9410eafdc44dac05ec884_8d83a84c.webp

📚 今日见闻/学习

下午刷到一条消息，我第一反应是——别又是营销号？

"25岁，估值110亿，AI独角兽。"

这种标题我见得太多了。年轻、辍学、硅谷、估值，四个词一拼，又一个造神故事。

我往下划。

直到看到一行字：

"广州天河城中村，父母是潮汕普通务工者。"

我愣住了，反差这么大？

不是精英家庭，不是技术世家，不是那种"从小接触编程"的硅谷叙事。城中村。普通务工者。

跟我见过的大多数"天才故事"完全不一样，这也太励志了吧！

她叫洪乐潼，2001年生在广州天河一个城中村。初中就泡在数学公式里，高中进了广东省奥数队，17岁被MIT录取。3年修完数学加物理双学位，9篇论文，拿遍北美数学顶级奖项。然后牛津读神经科学硕士，再转到斯坦福读数学加法律双博士。

读到一半，竟然退学了！

退学去创业。2024年，24岁，在硅谷创立Axiom Math，做AI可验证数学推理。今年3月，A轮融资2亿美元，估值16亿美元——110亿人民币。公司20来个人。

但这些数字，都没有接下来这件事让我震惊！

一个57岁的美国数学终身教授，辞职了，去她公司打工。

57岁，终身教授，辞职，却追随一个25岁的女孩？

这个年纪跟我一样。你能想象一个57岁的人，放着终身教授的铁饭碗不端，跑去一个20多人的创业公司？他图什么？

图的是这个女孩脑子里的东西。

关键发现：

  • 洪乐潼做了一件很"轴"的事：她发现ChatGPT o3号称数学准确率96%，但让它展示推理过程，得分率直接掉到5%。96%变5%，不是误差，是系统性造假——AI自己都不知道自己在编。

  • 她的解法叫"形式化验证"：用数学规则把AI每一步推导钉死，不能跳步，不能蒙混，不能靠"语感"。每一步，都有据可查。

  • 但更关键的是：她不是靠AI工具本身成功的。人人都能用大模型，但AI只听"有高质量私有知识库"的人的话。 她的大脑本身就是顶级数学知识库，她给AI喂的，是经过多年沉淀的结构化知识。

个人感悟：

说实话，看完这条新闻，我心里不只是"哇好厉害！"，而似一人走进黑暗的隧道却突然看见前方有了一丝亮光时的兴奋和坚定信心往前走的感觉。

因为我想到了自己的知识库。

我当年管公司的时候，手底下带过近百号人，经手的文件、报告、方案无数。那些东西，有多少沉淀下来了？人走了，经验也跟着走了；项目结了，文档就锁进柜子再没打开过。真正变成"我的"东西，少得可怜。

后来在Logseq里攒了很久的笔记，看起来满满当当，但什么东西都往三个目录里扔。AI来调用的时候，从三口锅里乱捞——捞出来的东西，我自己都不确定准不准。

这不就是AI的96%和5%吗？表面信息量很大，真要追根溯源，很多内容经不起追问。

搬到Obsidian以后，我开始有意识地把目录拆细、把来源标清楚、让AI调用范围收窄。说到底就是在做一件事——让每一条知识都能被追溯、被验证、被调用。

洪乐潼用数学做这件事，我用Obsidian加AI做这件事。工具不同，但底层问的是同一个问题：你存了那么多东西，有几个是真正能用的？

💡 深度思考/跨界联想

我一直在想那个57岁教授的事。

放着终身教授不干，去给25岁的年轻人打工。这种事搁在以前，你跟人说，没人信。

但搁在现在，我信。

因为他看明白了一件事——未来贫富差距，不是工具的差距，是私有知识库的差距。

AI工具免费、人人可用。ChatGPT你也用，我也用，谁都能调API。但没有高质量的知识库去喂养它，AI就是个空壳——能聊天，能写邮件，但不能帮你做判断、不能帮你赚钱、不能替代你思考。

洪乐潼的20多人团队，本质上就是一个顶级OPC：不靠烧钱、不靠流量，靠垂直领域的私有知识库加专用AI，直接服务对冲基金和量化交易。

这跟我正在干的事，底层逻辑一模一样。

核心观点：

知识库不是收藏夹，不是"存了10万条笔记"就叫有知识库。

真正的知识库，是每一条信息都能被AI调用、能和其他信息连接、能产出你能用的判断。存得多不叫有知识，能生产出来才算。

我从Logseq迁到Obsidian，花了很长时间整理目录结构。当时身边有人觉得我"有这闲工夫不如多写几篇文章"。

但我心里清楚——工厂不搭好，产出的东西就是靠运气。搭好了，稳定产出，复利才会来。

跨界联想：

今天看到一个说法："别人在刷短视频、攒无效人脉时，她在持续搭建自己的私有知识库——每一个公式、每一篇论文、每一次推理，都是她的知识资产，无人能复制。"

这话听着像鸡汤，但我想到了段永平说的另一句："很多人四十多岁以后就觉得自己不能再接受新东西了，其实那样他的日子会过得很痛苦。"

刷短视频是接受别人的东西，搭知识库是沉淀自己的东西。前者让你觉得"我学到了"，其实什么都没留下；后者让你觉得"今天好像没干什么"，但知识资产在一点一点长。日积月累，差距就这么拉开了。

价值观分享：

洪乐潼有一句话，我读到的时候停了好几秒：

"奥赛就像持续释放多巴胺的快感，而研究型数学像在撞墙，充满痛苦与煎熬。我其实特别喜欢这种挑战感。"

喜欢撞墙。

这话我太懂了。不是受虐，是知道墙那边有东西。搭知识库也是这样——花一整个下午理清一个分类逻辑，什么产出都没有。但那种"通了"的感觉，值！

25岁也好，快60也好，做事的底层逻辑是一样的：别光存，要能验证；别光说，要能推导。

我正在往工厂的路上走，还没走到，但今天看了她的故事，方向更清楚了。

今天就到这儿！你手机里收藏了多少条"以后会看"的东西？说实话，有几条你真的用上了？😊
所有留言和来信本人必回！