第5次回看题干。
    齐物盯著题干里设置的核心障碍:退化临界子流形s以及海量零特徵值的hessian矩阵。
    “高维鞍点陷阱……”
    齐物已经猜出阿力八八遇到的难题了。
    阿力八八在ai大模型的训练中,应该是梯度趋近於零时,导致优化器失效,然后ai死锁。
    自2018年,openai发布gpt-1以来,ai正式进入大模型时代,全世界的网际网路巨头都在开发自己的大模型。
    阿力八八自然也不意外。
    “阿力八八肯定遇到了梯度消失和loss停滯的问题,並且迟迟无法解决。”
    齐物看穿一切,“这道题就是在求救。”
    “常规的加速器,不管是加动量还是adam,本质上还是依赖歷史梯度的惯性。但是在这种绝对平坦的鞍点陷阱里,歷史梯度早就消耗殆尽了,所以ai才会被死锁。”
    第6次回看题干——
    “题目要求构造一个纯几何的拓扑补偿项Ω(x),不能改变全局极优解,还要能指数级逃逸……”
    齐物陷入沉思,“不能顺著梯度走,那就必须製造一个和梯度正交的力?
    引入空间的內蕴曲率,用拓扑扭矩把系统强行甩出去!”
    齐物开始在草稿纸上推演。
    “就像在平底锅里放了一颗玻璃球,平底锅太平了,球不动,常规做法是倾斜锅底(梯度下降),但是现在锅底卡死了,那么我就在锅里人为製造一个磁场,让球自己旋转起来!
    利用——洛伦兹力逃逸!”
    思路清楚了,齐物开始在latex里输入自己的答案。
    ————
    与此同时,千里之外的杭城。
    阿力八八西溪园区,达摩院ai大模型【九章】的核心研发中心。
    大屏幕上,代表著阿里耗资百亿打造的下一代通用大模型【九章】的训练损失函数(loss曲线),正死死地卡在一个平缓的平台上,犹如一条死去的心电图,已经整整停滯了三个月。
    “还是不行!张总,我们增加了学习率、引入了动量梯度下降,甚至使用了最新的adamw优化器,但是梯度流依然在11维度的张量特徵空间里打转!
    彻底迷失了!”
    高级算法研究员小林无奈地道。
    达摩院首席ai科学家,张宙双手抱在胸前,眉头紧锁,站在屏幕前一言不发。
    这是他从openai跳槽回国之后,开发的第一个大模型,没想到就遭遇了罕见的高位拓扑死锁。
    在超高维度的参数空间里,模型陷入了一个巨大的鞍点陷阱,这就像是一辆汽车开进了一个四周都是平缓高地的盆地,无论怎么踩油门,都找不到冲向真正谷底的下坡路。
    他和达摩院將近百名来自世界各个名校的博士、研究员,奋战了三个月,仍旧找不到那一丝破局的灵感。
    loss降不下来,不仅仅是工程问题了,张宙觉得这是一个纯粹的数学死锁。
    “张总,您执意要把死锁问题脱敏成数学题,塞进这次全球数学竞赛里,当预赛的压轴题,是否太冒失了呢?”
    小林苦笑道,“咱们达摩院上百个博士都没解决,难道还指望参加预赛的人能在48小时之內解出来?
    这无异於大海捞针啊。”
    “不要小看民间的智慧。”
    张宙嘆气道,“【九章】每天的训练成本高达数百万,咱们烧不起了,全球大赛匯聚了世界最聪明的大脑,哪怕有一个人能从纯数学的拓扑角度给我们提供一丝灵感,这都是值得的。
    后台监控怎么样了?”
    小林打开了赛事的后台实时数据。
    【当前参赛总人数:125402人】
    【压轴题回答人数:30人。】
    【ai初步阅卷后,压轴题答案有效者:0人。】
    “张总,现在距离开考才一个半小时不到,大部分人都在做选择题,只有30来人尝试解答压轴题,但是大部分都是0分。
    我看了一下,大部分都尝试用布朗运动或常规hessian对角化去解,系统自带的逻辑引擎直接判定证明不通过。”
    张宙嘆气,预料之中的事。
    若是隨隨便便就能答出来,倒显得他们达摩院的百名博士是个笑话了——
    “滴!”
    就在这时,安静的研发中心里,忽然响起清脆的“滴滴”声!
    【警报:系统逻辑引擎捕捉到一份压轴题解答,初步判定逻辑自洽度:99.9%!】
    “什么!”
    所有人都抬起头!
    以为自己听错了!
    99.9%的逻辑自洽度!
    张宙连忙喊道:“快,把答案调出来!”
    小林飞快从后台调出了的解答——
    【考生姓名:齐物。考生编號:177888。】
    整个中心的博士和架构师们都围了上来。
    答案隨之显现——
    【解答证明:
    存在该拓扑补偿项Ω(x)。
    该问题的本质在於高维参数空间中,退化鞍点邻域的非完整约束。
    为了打破这种滯留,我们不能依赖標量势能的梯度,而应当在流形m的切丛上引入一个规范场。
    具体构造如下:
    利用陈-西蒙斯3-形式,在法向丛n(s)上构造一个反对称的曲率张量场r。
    定义拓扑补偿项为:
    Ω(x)=☆(da∧▽e(x))+ric(▽x,·)#
    其中,a为度规相容联络的联络1-形式,☆为霍奇星算子,ric为里奇曲率张量……
    接下来证明逃逸性:
    考虑李雅普诺夫函数v(x)=e(x)+1/2‖e2。
    对时间求导,代入修正后的动力系统。
    由於拓扑项Ω(x)的反对称性质,它在能量的直接耗散上积分为零(即不改变原有的全局极小值拓扑同胚),但在动力系统流线的法向上,它產生了一个正的李雅普诺夫指数λ>0。
    系统轨跡將被规范场强制扭转,从而脱离近似零特徵值的特徵子空间,以e^λt的速率指数级逃逸退化子流形s。
    q.e.d.】
    人群鸦雀无声,一些年轻博士一开始还跟得上,但是看著看著就晕了。
    张宙这位普林斯顿出身的博士却目光严肃,当他扫过陈-西蒙斯3-形式和霍奇星算子构造出的拓扑补偿项。
    他的呼吸开始粗重起来。
    眼中闪过难以置信。
    “他竟然没有顺著向量场去优化,而是直接重构了参数空间的几何曲率?”
    张宙转过身,对围在一起的博士们道,“你们看懂了吗?”