玛格丽特·汉密尔顿（Margaret Hamilton）：写下登月舱软件，也写下了「软件工程」这个词
玛格丽特·汉密尔顿——Margaret Hamilton——这个名字在 软件工程与航天软件可靠性 史上出现得太频繁，以至于常被当作背景而非主角。在没有软件工程师这个职业、没有单元测试、没有代码评审的年代，她把登月舱软件写成了能在陌生硬件上安…
作者：Mona tao
理查德·萨顿（Richard Sutton）：证明从交互中学习的那位强化学习奠基人
理查德·萨顿——Richard Sutton——这个名字在 强化学习的理论基础 史上出现得太频繁，以至于常被当作背景而非主角。他证明了一件让整个领域安静了三十年的事：真正能自我改进的学习算法必须从交互中学习——而这个结论他自己花了二十年才证…
王选：让汉字从计算机的障碍变成可以印刷的文字
一个方向的价值不由它能否产出漂亮论文决定，而由它是否最终改变了成千上万普通人的日常工作方式决定。
凯伦·斯帕克·琼斯（Karen Spärck Jones）：信息检索的隐形奠基者，那个被忽略五十年的词
凯伦·斯帕克·琼斯——Karen Spärck Jones——这个名字在 信息检索与自然语言处理 史上出现得太频繁，以至于常被当作背景而非主角。她写下的那个统计量，是今天每一次搜索排序、每一次大模型训练的隐性地基，而它在半个世纪里被整个行业…
约翰·冯·诺依曼（John von Neumann）：计算机体系结构与数理逻辑领域的关键人物
John von Neumann（约翰·冯·诺依曼，匈牙利，1903 年生）在 计算机体系结构与数理逻辑 领域的位置，很少有人能给出准确坐标。冯·诺依曼结构是至今几乎所有通用计算机的骨架，而他对自身贡献的估价是"技术细节，可被后人超越"。
伊恩·古德费洛（Ian Goodfellow）：生成对抗网络领域的关键人物
伊恩·古德费洛——Ian Goodfellow——这个名字在 生成对抗网络 史上出现得太频繁，以至于常被当作背景而非主角。GAN 论文 2014 年发表时被同行评审质疑"缺少理论支撑"，六年后它重塑了整个图像生成领域。
高德纳（Donald Knuth）：算法分析与计算文献学领域的关键人物
Donald Knuth（高德纳，美国，1938 年生）在 算法分析与计算文献学 领域的位置，很少有人能给出准确坐标。他花了二十多年写《计算机程序设计艺术》，这套书的深度至今没有后来者真正接得住。
马文·明斯基（Marvin Minsky）：人工智能认知架构领域的关键人物
1927 年生于 美国 的 Marvin Minsky，其研究路径与 人工智能认知架构 的主流路径几乎不重合。Minsky 的历史位置很特殊：他提出了框架、给 AI 定了定义，也在 1970 年代亲手主导了让 AI 第一次寒冬到来的那份报告…
无界智航发布 Spark-0：触觉进预训练，再融数亿元
清华系具身智能公司无界智航（Xspark AI）完成新一轮融资（猎道投资、华山资本、元航资本等参投），年内累计融资数亿元。同步发布原生触觉多模态模型 Spark-0——把触觉从预训练阶段内建而非后接传
DeepSeek融资翻倍至1000亿元，投前估值5000亿元，IPO提速
10月13日，多方消息确认DeepSeek第二轮融资即将完成：金额从此前计划的500亿元增至约1000亿元，不到半个月翻了一倍，投前估值仍约5000亿元。
Oratomic完成B轮融资
Oratomic 是 面向纠错的容错量子计算机 硬件与系统，是本周深科技（量子、神经接口、前沿化学）资本回暖的代表。本轮4.75亿美元Series B使投后估值达约54亿美元，资金将用于容错量子比特扩