第662章郁闷的孔采维奇一
第662章郁闷的孔采维奇一(第1/3页)
「……」徐辰一时语塞。
陶哲轩叹了口气，「这可是老孔来华国的第三天啊！他连倒时差的劲儿都没缓过来，自己的研究课题就被一台机器给扬了。老头子现在隔三差五坐在我办公室的沙发上怀疑人生呢。」
「这几天他隔一会儿就来找我，反覆问那套证明到底是不是m1独立完成的，还要我解释ai为什么会想到那几步。」
徐辰听完，也是哭笑不得。这感觉就像一个屠龙勇士磨了十年剑，刚出山，就听说恶龙被一箭给射死了，那种空虚感可想而知。
「这种事您跟我诉苦也没用啊，」徐辰摊了摊手，「我又不能让m1把证明给撤回。」
「你不是他学生吗？」陶哲轩理直气壮地把锅甩了过来，「孔采维奇教授这种老派的顶尖数学家，自尊心强得很。这一代大师级数学家，大多都是在人工计算和手工推导的年代成长起来的。他们见证了计算器的诞生丶计算机的普及丶网际网路的崛起，每一次都适应了。」
「但这一次ai直接掌握了数学思维本身，这对他们来说，就像是在说'你们这辈子积累的所有经验和直觉，现在都可以被复制'一样。现在他整天在办公室里怀疑人生，觉得自己的数学直觉已经跟不上时代了。这种年纪大了的老顽童闹情绪，只能你去哄哄了。」
陶哲轩其实还算给面子了，他心里其实说的是「赶紧过来把这个老头领走，别天天跑我这，影响我手头的进度。」
「……这都什么破事。」徐辰在心里吐槽了一句。
老师的课题被ai做掉了，最后居然还得由学生负责安抚。
「这老头还真不让人省心啊，哎，早知道就不收他这个师傅了。」
……
徐辰自己的事都没搞完呢，哪有空管别人。
徐辰想了想，算算日子，后天就是过年了。
乾脆组织院里的外籍教授吃顿年夜饭，让他们体验一下中国年。
顺便，也安抚一下那颗被ai暴击得七零八落的脆弱心灵，看看孔采维奇究竟是个什么情况。
「哎，毕竟是亲老师啊，像我这么好的学生真是难找。」
敲定这个计划后，徐辰便把恩师的事情先放到一边，继续自己的研究。
既然算力拿到了，那就没什么好客气的。
他直接把配额拉满。
他不断修改候选结构，让数学ai对不同参数组合进行符号推导丶边界验证和形式化检查；再根据反馈，继续叠代第二个框架。
第一个框架还没有完全跑完，第二个框架已经开始搭建。
……
<canvasclass=&“sec-last&“data-c=&“ddxtzc09l2c6cxbg5
（本章未完，请点击下一页继续阅读）