第507章 数学AI的训练 六（2 / 2）

「不愧是梁圣啊。」徐辰忍不住感慨。

在这个资本为了争夺算力和市场份额已经杀红了眼的时代，每一个还保持着「做真正有意义的事「这种念想的人，都显得弥足珍贵。

徐辰还记得，梁总曾经专门为DeepSeek开发过一款DeepSeek-Math，虽然那只是一款用来解决中小学奥数题的过渡产品，但也足以证明他对数学逻辑在AI领域重要性的深刻认知。这不是一个只看KPI的商人，而是一个真正的技术理想主义者。

梁文锋这种人，在商业世界里其实挺稀有的。大多数创业者嘴上都说「改变世界」，融资PPT里写满「AGI」「星辰大海」「人类未来」，但真正要他们拿几亿资源去做一个短期不赚钱丶还很可能被同行嘲笑为「学术玩具」的项目时，十个有九个会瞬间冷静下来，开始谈ROI丶谈现金流丶谈董事会压力。

梁文锋不一样。这个人骨子里有一种技术洁癖。他会在别人忙着做营销的时候，蹲在底层架构里抠算子效率；会在全行业都去追逐通用聊天助手时，硬是抽出团队做DeepSeek-Math这种看起来不性感的东西。某种意义上，他和徐辰是一类人。只不过徐辰是在数学里追求绝对真理，梁文锋是在工程里追求极致优雅。

一个想造能证明千禧难题的数学AI，一个想看看AI逻辑推理的极限到底在哪里。

这俩人凑到一起，不能说商业上一定赚钱，但学术界和AI界肯定要有人睡不着觉了。

双方很快就约定了见面时间时间。梁文锋此时在杭州的DeepSeek总部，但恰好下周要到北京的分公司视察，两人一拍即合，决定在北京当面详谈。

……

和梁文锋约好下周在北京总部见面后，徐辰看了看日历，接下来这几天正好有个空档期。

「来都来了，总不能一直在机房里窝着。」

徐辰伸了个懒腰，走出超算中心。自己好歹也是雁栖湖应用数学研究院的正牌院长，虽然日常事务全权委托给了刘正伟，但既然难得回一趟「大本营」，于情于理都该去院里转转，了解一下目前的研究员生态，看看有什么需要自己这位大院长出面解决的问题。

不过，徐辰并不打算搞那种兴师动众的官方视察。

他提前给刘正伟打了个电话，要来了一份院里常驻专家的电子花名册，先在手机上快速过了两遍。毕竟院里藏龙卧虎，万一待会儿遇到哪位学术界的老前辈，自己却叫不出名字，那可就太尴尬了。

在电话里，刘正伟本想安排几个主任陪同，却被徐辰果断拒绝了。

「别别别，刘院长，千万别发什么官方通知。搞数学的平时都在闭关憋大招，精神本来就脆弱。我这要是带着一帮人突然推门进去，搞得兴师动众的，人家还以为新院长新官上任三把火，来查实验室经费了呢。」徐辰在电话里半开玩笑地调侃道。

这种事在学术圈可不少见。很多行政领导一去视察，底下的人就得停下手头的活儿，打扫卫生丶准备PPT汇报。对于把时间看得比命还重的数学家来说，这简直就是一场灾难。

按照以前在法国高等科学研究所（IHES）交流时的经验，徐辰决定采用最传统的学术破冰方式——去休闲区喝下午茶，一切随缘。

……