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