齐斌和陈剑平两个人离开之后，叶清河坐着电梯上了 3 楼。
新斋在他接手军方的项目之后，就有点被闲置下来了。大多数时间他都在蒙科楼那边，这边一般就是中午休息的时候会过来一下。
不过在让叶大力收购 AI 项目后，他觉得是时候重新把之前的研究拿起来。
实际上最近一段时间，他觉得在超算这一块领域，有一点过于拖后腿了。而他之前研究的相关课题，如果能够完成的话，那么在这一块会极大地提升效率。
这也是他为什么让叶大力去收购一家 AI 公司的原因之一。
如果能够解决这个问题，那么在数学、流体力学、拓扑学等很多领域都会有突破性的进展。
同时也会打破国外交互式定理证明工具的垄断。
Lean、ISabelle长期主导全球机器证明生态，完成研究后开发的国产引擎，将建成国内独立自主的形式化推理底座，不再依赖海外框架，规避工具层面的后门风险，为国内科研AI建立自主生态。
在三层研究室，他将之前存在平板上的内容重新调了出来，并将相关的一些研究资料也找了出来，开始着手接下来的研究。
他的想法是，以后每天上午去蒙科楼，下午就在新斋这边进行这一块的研究。
一旦这部分工作完成，那么就可以增加一个科研助手。
到时候只需要输入高维几何拓扑学猜想，引擎自动完成几何构型到逻辑表达式的对偶转换，调用超算资源批量搜索证明路径，输出可复合的形式化证明脚本。
这样就可以减少很多重复的编码工作，加速前沿猜想的验证节奏。
不只是科研，这个引擎完全可以开发出三个版本。一种是涉密军工版，这种不对外公开，不属于国家级超算集群。可以对超音速构型的多物理耦合仿真开展形式校验，自动核验国密协议逻辑完备性，完成复杂军工几何模型的矛盾筛查。
一种是商用工业版，面向高端制造业。工程师只需要导入船舶、核电、航空部件三维几何模型，AI 自动检测模型内部潜藏的几何矛盾、离散崩坏缺陷，对仿真结果开展逻辑核验，标注仿真中因模型产生的异常解，用于高端装备研发的仿真质控。
另一种就是叶清河自己需要的科研版了。
当然，他研究的这个不是通用大模型，不会打造出新的聊天 AI，而是创造一条严谨机器证明专用人工智能路线，和现有基于统计概率的大模型属于完全不同的范式。
现有大模型依据海量数据拟合答案，输出存在幻觉。而这个体系依托逻辑几何强对偶定理，以严格数理演绎作为运行根基，结果具备数学层面的可证明正确性。
简单的说，就是范式撕裂，开辟确定性的 AI 分支。
这会改变国内 AI 的研发思路，不再单纯追逐参数量，开始重视逻辑严谨性方向的投入。
………………………………
“这可不像我黄老虎的孙女啊，我可听说你在学校里头，只要看上哪个男生，就能够立马拿下。这次怎么这么久了，还没有拿下呀？”
军区大院，黄老虎坐在黄雅琴面前，一脸笑容地调侃道。
“这些事情，爷爷你是知道的？”
黄雅琴以为学校的事情家里人不知道，没想到自家爷爷居然门儿清。
“也就是听别人随口说了那么两句。不过这个叶清河当时确实是个有本事的人，要是能够成为我黄家的女婿，当然是最好了。”
黄老虎笑着说道，他并没有解释他的消息来源。
“可是他已经跟周婉儿订婚了，我认识他时间太晚了！”
黄雅欣叹了一口气。
“你知道当年你奶奶是怎么跟我在一起的吗？”
黄老虎扭头看了一眼墙上挂着的一张照片，感慨道。
黄雅琴没有说话，而是看向黄老虎。
这个事情，她耳朵都听出茧子了，但是并不妨碍她再听一遍。
“你奶奶年轻的时候那叫一个漂亮，而且家里头也是书香门第，她见过的青年才俊太多了，第一次见到我的时候，我还是一个大头兵，她眼里根本就没有我。
我后来还专门问过，她是真不记得第一次我跟她见面的时候。”
黄老虎的语气里满是缅怀。
“就算战争年代，她的样貌、她的学识依旧是很多人心目中的女神。是的，用你们现在的话来说，就叫女神。
那个时候有很多人追她，但最终只有你爷爷我抱得美人归。
我在那些人当中，条件不是最好的，职位不是最高的，长相不是最帅的。但我是最有韧性的，最能坚持的，最真心的。
所以就算叶清河现在已经订了婚，那不是还没有结婚吗？你还是有机会的。他们只是从小一起长大，感情久了，但那个感情真的就是男女之间的爱情吗？
你不试试怎么知道他会不会喜欢你？
哪怕就算最终确实没有走到一起，那几十年后你也可以拍着你的胸口说，当年这段感情你努力过了，不后悔。”
黄老虎的话让黄雅琴不自觉地点了点头。
这些天，她一直在反复挣扎。她想要去追求叶清河，可是又觉得人家已经订婚了，自己再去不合适。完全没有了在黄跃辉面前的那股叛逆劲。
患得患失！
不然，如果按照她以前的性格，在酒吧门口碰上叶清河，她就应该打开门直接坐进去，而不是看着叶清河的车离开。
“大胆地去做吧，你们还年轻，一切都未定！不要给自己留下遗憾！”
黄老虎说完，站起身，用手在黄雅琴头上揉了两把，然后背着手慢悠悠地上楼去了。
黄雅琴坐在沙发上坐了许久，然后站起身，使劲给自己握拳加了个油，对着楼上喊了一句自己回学校了，就离开了。
站在二楼的黄老虎看着黄雅琴跑出院子，脸上露出了一丝笑容。
最近一段时间，黄雅琴的情况他全看在眼里。这可不是他那个不怕天不怕地的孙女，现在这个样子才算是有点以前的样子了。
您可以在百度里搜索“全身瘫痪，系统让我每天五公里 下载楼”查找本书最新更新！
下载本书最新的txt电子书请点击：http://www.daxingwx.net/info/347/347415.html
本书手机阅读地址：http://m.daxingwx.net/wapbook-347415-96683466/
为了方便下次阅读，你可以点击"加入书签"记录本次（ 第一卷：默认 第775章 AI 研究）阅读记录，下次打开书架即可看到！请向你的朋友（QQ、博客、微信等方式）推荐全身瘫痪，系统让我每天五公里，谢谢您的支持！！
