第134章 玄学与逻辑（2/2）

既然回了宿舍，徐辰也就懒得再折腾回研究室了。

他的被褥本身就留了一套，拿出来铺上就能直接睡。

当晚，301宿舍久违的四个人齐聚。

薛超和刘鑫羽看完书后，陆续上床睡觉了。而徐辰则戴著降噪耳机，缩在自己的铺位下，开始疯狂敲代码。

代码，本质上就是写给计算机看的数学语言。

只要逻辑是通的，只要算法是清晰的，所谓的编程，无非就是把脑子里的数学公式，翻译成python的语法而已。

这比在脑海中构建高维的cntt变换，要简单得多。

对於一般程式设计师来说，写代码慢，主要是因为要一边写一边思考逻辑，甚至还要不断试错。

但对於徐辰这种数学逻辑能力逆天的人来说，整个程序的架构、数据流向、甚至每一个张量的维度变换，都在他脑海中清晰得如同全息投影。

他不需要思考“怎么写”，他只需要把脑子里的东西“抄”下来。

只要手速跟得上，代码就能一遍过。

……

第二天中午。

方博睡眼惺忪地从床上爬起来，抓了抓像鸡窝一样的头髮，准备下床找水喝。

一低头，发现徐辰还在那儿坐著，姿势甚至都没怎么变过。

“我靠，老徐你修仙呢？昨晚没睡？”方博嘟囔了一句，心中暗暗惊呼，不愧是学神，这身体素质就不是一般人能比的。

徐辰摘下耳机，伸了个大大的懒腰，浑身骨节咔咔作响：“稍微眯了一会儿。刚好，跑通了。”

“啥跑通了？”

方博端著水杯凑了过去，目光扫过徐辰的屏幕。

屏幕上，右边的终端窗口里，损失函数曲线正在以一个极其漂亮的姿势极速下降，而在左边的代码编辑器里，密密麻麻的文件列表铺满了侧边栏。

model.py

logic_embedding.py

geometric_projection.py

train.py

……

方博隨意瞥了一眼中间打开的 logic_embedding.py文件。

本以为会看到一堆乱七八糟的拼凑代码，或者直接调用的现成库函数。

结果，入眼的是整整齐齐的类定义，复杂的自定义算子，还有大段大段关於“流形映射”和“体积计算”的英文注释。

代码结构清晰得像是开源社区里的高星项目。

“你……你真的是第一次学python？”方博瞪大了眼睛，不敢相信地问道。

“是啊。”徐辰一脸理所当然，“我就是按照官方文档要求的语法写的呀。有什么问题吗？”

方博张了张嘴，最后只憋出来一句：“……没问题。”

他心中一阵感嘆。

数学好就是可以为所欲为啊！

他想起了以前看过的那些传奇故事。比如那个写出tex排版系统的数学大神高德纳，为了写书顺手发明了一门程式语言。

这种人的大脑构造，跟普通人绝对不一样。

“不是……”方博放下水杯，指著屏幕，还是有点不死心，“你昨天不是连环境都还没配好吗？你以前写过pytorch？”

“没啊，昨天现学的。”徐辰喝了口水，“看了一遍官方文档，逻辑都差不多。反正都是矩阵运算，只不过换个api名字而已。”

方博嘴角抽了抽。

难得有个事徐神能来请教下自己，结果也就是一夜功夫，人家就已经从“入门”直接干到“精通”了。

“行，你牛逼。”

方博默默地转过身，爬回床上。

“我一定是在做梦，我再睡会儿。”