第15章 机器学习的灵魂是什么？
那个被叫做赵总的男人脸上挂着笑容，伸出手，说：“王教授，上次找您合作机器学习算法优化的事情，是我没说清楚……”
“不是你没说清楚，是我说得很清楚。”老王没有伸手，直接打断了他，“机器学习现在连个像样的框架都没有，你们就要砸钱搞商业化？拿什么跟人家说？拿一堆调参调出来的实验结果？”
“况且这东西现在也没几个人真正认可啊，你们投它干什么？”
赵力看样子已经知道老王要这么说了，他丝毫不慌地说：“王教授，您的担忧很有道理。”
“您是做数学的，可能对工业界的趋势不太了解，现在互联网数据量是什么增长速度？谷歌去年发的那几篇大规模数据处理的论文您看了吗？”
老王没说话，眼睛已经明显透出了不悦。
“根据我们公司判断，机器学习三到五年内会有大的突破，现在布局正是时候。”
“你们做过类似的？”老王淡淡地问。
“算是吧，我们在北美和欧洲有三个实验室，两百多名算法工程师和研究员，您看我们多有诚意，还专门邀请您这样的数学背景的人来做顾问，模型里面涉及优化理论和概率统计的地方，我们肯定不会瞎搞。”
“这玩意是不是就是人工智能？”
赵力忙说：“王教授，行业里目前不流行这个说法，一些项目如果提到这个词，想要获得资金支持都困难，我们更愿意说它是机器学习，深度学习。”
漆昊站在旁边，听着他们的对话，才知道还有这回事，他对机器学习不太了解，但这个叫赵力的人说话时那种居高临下的口吻，让他不太舒服。
搞个机器学习就这么拽？
漆昊希望，老王最好直接拿扫帚把这货轰出去。
什么大数据、智能推荐、顶尖团队，听着挺唬人，但在漆昊这个纯正的数学系直男眼里，这帮人完全是本末倒置。
机器学习说到底不就是统计学换了个皮吗？连收敛性都证不清楚的东西，吹得天花乱坠有什么用？
他虽然没深入了解过机器学习，但也知道它的灵魂是什么。
是严格的理论保证和可解释的逻辑链条。
如果底层的数学根基就是糊的，靠调几个超参数、堆算力硬拟合出来的结果，那这东西本质上就是个披着科学皮的曲线拟合玩具。
漆昊最近养成了思维习惯，开始发散思考起了优化理论中的一些数学问题。
老王这边似乎不想在走廊里继续这个话题，他看了赵力一眼，语气缓和了一点。
“赵总，我今天确实有事，这样吧，你要是非要说，我可以先听听，但我不承诺任何事情。”
赵力的眼睛亮了，但老王这时候转向了漆昊。
“你是？”
“王老师好，我叫漆昊，大一一班的。”漆昊一回神，忙从书包里抽出那几页草稿纸，“我想请教您一个问题。”
老王接过草稿纸，低头看了起来，嘴里说着：“这些问题……可不是大一学生通常会问的东西。”
那几页草稿纸上，密密麻麻写满了关于有向无环图上偏序着色问题的推导，符号规范，逻辑清晰，甚至引用了两个本科生接触不到的定理。
“我最近有在自学一些东西，不过现在遇见麻烦了。”
“自学吗？那你先进来。”老王有些意外，侧身让出了门。
赵力往前迈了半步：“那我呢？”
“请进。”
赵力的脸色变了变，这要和学生一起？
他上次见微软亚洲研究院的人，对方都是提前在大堂候着的。
没想到一个数学教授还给他摆谱。
赵力深吸一口气，跟了进去。
想要做机器学习这些都需要扎实的数学功底。
推荐老王的人说老王人不错，一旦接手做事认真，能抗事，更重要的一点是，他们公司打算在蓉城发展，得多接触点这类的教授才行！
他有的是耐心。
反正一个大一学生在里面也待不了多久。
五分钟，顶多十分钟对方就能出去。
办公室里。
老王坐在办公桌后面，漆昊坐在对面，赵力则在沙发上坐着，翘起个二郎腿。
那几页草稿纸摊开在桌上，老王看向漆昊。
“漆昊……”他念了一遍这个名字，忽然想起了什么，“等一下，在英语课上看数学分析的，是不是你？”
漆昊尴尬地承认：“……是我。”
老师怎么还当面戳穿人啊！
他不要面子的吗？
看来齐老师告状了！
都是大学老师了，怎么还跟高中老师一样喜欢告状呢？
漆昊暗暗叹气，做好了被教育的准备。
但老王忽然笑了。
“喜欢数学是好事。”他说，“不过英语也得抓起来，不然以后看论文怎么办？好的数学论文都是用英文写的。”
漆昊松了一口气。
看情况，老王根本没打算批评他，齐老师告状估计白告了！
“我知道了，王老师。”
看到漆昊摆正态度，老王也不深究了。
“好了，说说你的问题。”老王把草稿纸推到两人中间。
漆昊定了定神，指着草稿纸上的一处推导：“王老师，我最近在研究有向无环图上的一个着色问题，跟偏序集结构有关，简单来说，我需要一种特定的着色方案，使得着色数恰好等于某个偏序参数。”
“我在几种特殊情况下验证过了，结论是对的，但一般情况的严格证明我写不出来。”
他没说自己在写论文。
一个大一学生说自己在写论文，怎么听怎么像在吹牛。
“问题卡在哪儿？”老王问。
“卡在从偏序集到色多项式的估计上。”
漆昊翻到第二页：“我需要证明，对于满足这种相容性条件的DAG，它的色数恰好等于其对应偏序集的最长链长度，下界我用狄尔沃斯定理可以给出最大反链数等于最小链划分数，但是上界的构造性证明我写不出来。”
“等一下。”老王打断了他。
他拿起桌上的笔：“你说的狄尔沃斯定理具体表述是什么？”
“最小链划分数等于最大反链长度。”漆昊回答得很快。
“不错。”老王看了他一眼，“那你知不知道Mirsky定理？”
“有限偏序集上，最小反链划分数等于最长链的长度，和狄尔沃斯定理是对偶的。”
老王有些惊喜。
漆昊的知识储备、问题意识和表述精度，已经超过了大部分本科生，似乎比他手下一些不太争气的研究生还不错。
这小子，可以好好留意一下。
“很好，那你的问题可以这样解决……”
他拿起笔，开始在草稿纸上快速写了起来。
赵力在那听着，越听越迷茫，都快睡着了。
漆昊盯着那些推导，眼睛反倒越来越亮。
“原来如此，用拓扑序来构造，这样就能证明出来。”
“你反应很快。”老王看了漆昊一眼，“我这还没有开始解释，你就看懂了？”
“嗯，看懂了，我认为不需要这么做，可以直接回到原图，利用拓扑排序来构造着色。”
老王没说话，只是微微点了下头，示意他继续。
漆昊得到了鼓励，语速快了起来：“我之前的思路卡在偏序集那层，我一直在想怎么用反链覆盖去逼近色数，但这条路走到一半就证不下去了，我没想到可以直接回到图结构本身。”
老王听得连连点头，他问道：“你最近都在自学？看了哪些书？”
漆昊报了几本教材的名字，老王听完没有评价，只是拿起笔在面前摊开的草稿纸上写了几个书名，推到漆昊面前。
“这几本有空可以看看。”
漆昊接过来一看，密密麻麻列了六七本，全是图论与组合方向的进阶教材和专著，有些他听过但没找到资源的，有些他连听都没听过。
“有些书图书馆可能没有，”老王说，“你先去找找看。”
“那找不到怎么办？”
“嘿！你也不想想，我这难道还会缺书？”老王笑骂道。
漆昊一想也是啊，他还真没听过哪个老师会缺书的，他突然醒悟过来，原来老王的意思是让他来借书啊！
早说嘛！
“对了你有没有兴趣参加数学的比赛，丘赛之类的，可以加学分哦。”老王觉得漆昊态度不错，有了栽培的意思。
“老师我暂时想把手上的东西学完。”
居然不为学分所动，老王只能暂时放弃：“也行，还有别的问题吗？”
“暂时没有了。”
老王站起来：“那你有问题随时来找我。”
漆昊道了谢，起身往外走，拉开门的时候，他看见赵力坐在沙发上，已经等了将近一个小时了。
赵力估计腿麻了，二郎腿艰难换了一个方向，脸色也不太好看。
漆昊冲他微微点了下头，走了出去。
他身后，老王声音响起：“赵总，你也看到了，我这边有点忙，十分钟应该够你说了吧。”