Deep Dive
Shownotes Transcript
本期播客是我们在斯坦福宿舍吃火锅后的成果首先我们要感谢我们的赞助商米老师带来一个锅然后还有感谢毛湘老师提供的花生瓜子王老吉
好广告环节到此结束那今天请来了三位做题家朋友到我的嘉宾可以请他们自我介绍一下大家好我是好吃我是位做题家对我很擅长做题对以上就是我然后但是我还有很多暴论但是我可以给大家分享一些我关于一些学科的看法
一小时的自我介绍然后第二位是钟向老师大家好我是钟向我也是做题家我今天做题为什么大家的自我教宗是这个划分呢
那接下来是什么我想想
作为资深做题家他们经常可以去世界各国比赛接下来我们的第一部分就是他们去一些各种地方比赛和旅游的经历首先是什么首先是 M 老师在那个什么地方来着伊朗就是你可以讲一下你去伊朗的经历大概是就是 17 年的时候那个时候因为是伊朗嘛然后其实当时搞得挺烦的因为
因为我当时也要去美国读书然后要找美国签证然后你知道伊朗跟美国吗这个事不两地的这种所以是不是看来有伊朗签证就没了美国签证对吧其实并不这样的并不这样对我当时担心我就担心有一两签证就没有美国签证了然后当时是这个
學會當時拿了我的護照就準備大家一起組織嘛因為作為國家隊嘛大家國家隊一起組織一起統一行動是辦這個簽證然後當時我的希望當時是
我办美国签证的时候我不希望我护照上有个伊朗签证对吧因为如果我就像那个伊朗签证那美国的签证官一看见了我就就觉得对我就就会就会很难解释然后我当时当时我就问这个协会能不能提前拿这个护照然后协会还说什么反正他们不愿意给吧因为毕竟这种东西也能理解因为毕竟是一个组织组上的东西我一个个人因为一些私人原因是要这个护照肯定不太合适反正
这会儿就没要到所以后面怎么说后面是比完赛回来之后马上自办每天然后最后还是很顺利还是过了这个是一个跟比赛不搬的经历但是也比较惊险然后这个比赛的话就是当时我们说的当时飞这个机呢因为我当时
其实第一次出国吧之前没有出过国以前出境道是出国但没出过国所以如果别问我第一次出国去到哪里别人也不会想到我第一次出国去西南然后当时我们说了出国的话
肯定艾爾知道如果你出國去一個不是那麼先進的國家你就會知道祖國的偉大對吧反正但是很喜歡這個劍
当时我是跟这个结会的人一起然后大家都知道这个机场看起来像什么二线三线城市还是这样然后其实应该也不是很深藏这么多年了然后好像是搞了个电话卡嘛就知道就是可以上网了也就是能上他们能上的网吧然后英朗也有墙吗英朗
这能讨论吗可以吧英南它这个互联网和大部分国家不一样它是有些网站是上不去的所以反正也是上不了谷歌
好神奇啊对啊然后然后当时其实很神奇就是我之前认识一个伊朗的朋友他是前一年的前一年的这个比赛的金牌然后我之前就认识他然后我们之前真的还打过一个网上的比赛这个网上的比赛很有趣就是我和这个伊朗的朋友还有我们另一个国家队员我们三个人组的队打了一个比赛然后我们当时打得很不错好像是高中组的第一名 flag 天地在这里记录着那比赛
記住我們的三個人然後我們當時就比賽完然後凱姆斯好像奏了伊朗國歌
然後大概就是一場比賽我們當時畢竟是比賽的話住的地方肯定還挺好的就是你國家再怎麼樣住的地方還是很厲害而且他們真的很重視這個比賽因為我們當時我記得我坐這個車嘛這個車到這個會場的時候警察開刀特別有意思當時有個車想擦我們的隊然後這個警車警察就給他們訴終止
然后他那个车就早就滚开了所以我们我感觉特别的特别的有权利因为我们警车开到没人可以挡我们的路就不会有什么堵车啊什么的然后一切都很顺利啊然后吃了东西的话反正还算好吧就是
他们也有饭但是不是我们那种饭而他们甚至有一个我们住的地方一楼有个中国餐馆所以中国人负责不足到处都是中国餐馆还有伊朗他们也很有趣就是你可能认为伊朗跟美国的关系很不好但是他们收美金就是你付款是可以收你可以付美金的很有趣你可能很难想象的就是这样所以我们当时在中国餐馆中我们是付的美金
然後當然也見到了一些世界各地的朋友包括後面拿冠軍的是一個日本的同學吧就是一個日本的朋友然後之前也認識後面他拿了冠軍反正他們認為當時認為冠軍不是我就是他對他們也就說對啦
这个也比较遗憾吧因为要是是我就好了嗯然后但是问题在于不是问题在于我最后考试的话怎么说就是你要是说没拿冠军呢那还好就是但是实际上是好像考的不是很突出所以不仅没拿冠军甚至没拿到金牌然后问题在于有哪些没拿金牌的有三个人没拿金牌我知道对对对有三个人没拿金牌
分别是我那个伊朗朋友我还有我那个另外一个国家队的朋友也就是那三个参加比赛拿了高中高中组第一名的人对这个故事告诉我们如果我们要组队参加比赛千万不要搞得太好不然不然的话大比赛会滚出
好 你去了伊朗的街上吗对 我当时那个地方不算街上那个地方是一个场馆附近都是这个酒店然后附近都是我们比赛场所那大家都戴头巾吗女生是要戴头巾的那伊朗你们在那里都吃什么呢
會是伊朗當地食物嗎對 伊朗當地食物也是的然後我同事也說過有一家中國餐館我們吃過一次中國餐館好 那下一個是什麼鍾老師的阿塞拜疆之旅
中校老师就是中老师是吧对啊太没道理其实我也记得我忘了然后我记得当年好像什么特别绿当年风格特别绿就是就像当年宣传主策的绿然后整个场馆都比较绿然后租了一个巨大的场馆
然后那个场馆真的很大我刚刚见过一个比较大的场馆在新奥尔亮有一个比较更大的场馆这么大你不也气了它是用来办比赛的场馆是
是咯那个不知道什么来着应该就是这个吧什么海达阿里亚我刚刚谷歌的我当然不记得我刚刚谷歌的但是他那个设计还是挺现代的应该就是最近建的七年建的我不记得我一搜这个你看这个轮廓他特别容易记住我啥都不记得你看那有个大大的像喷嚏飞机我要记得首图叫德黑南我一记得你肯定也记得你们是在首图吗
应该是吧啊 河关我啥事反正就是在那儿吧巴库反正就是对 然后还有什么能说的阿塞白江在哪里呢不知道为什么这两个好像是俄罗斯附近是吗俄罗斯下面 土耳其右边在伊朗上面 伊朗镇上方对 伊朗镇上方在伊朗镇上方所以那边的人说什么话呢啊 他在北洋语啊
英语是博士文应该有说俄语的我猜那那个时候是夏天还是冬天呢在 August 秋天嘛应该是比较冷吧我们市集的比较冷别人都不记得然后住的地方不错
这个地方有什么来着可以打桌上足球我每天跟 300IQ 打桌上足球我们当时也很多 300IQ 技术如何 300IQ 感觉比我强点我当时没有经过训练现在有精百战了好接下来来到了好吃老师但是他不在一个小众国家他在北京中关城啊
不是吧对当时因为疫情吧所以我当年的这个比赛还是在北京举行我自己本身是北京人所以就是他比赛场地和我我
我家可能就只隔了几百米我就经常往返于我家我学校还有这个地方所以我记忆下很深的是他本来就是前几天按理来说应该是这个比赛的活动但是由于他是线上他就只能什么线上参观新加坡就可以参观到赛国新加坡他指着一个景点给你看说啊这是个景点大家都觉得很憨厚然后所以我就直接把他溜掉了然后去参加了高中毕业典礼对然后毕业典礼完了之后就在那个酒店里打比赛然后那个酒店就在北京所以
本来是没有什么国际气息的但后来会有一些别的国家的选手他们被卡在了国内被卡在了中国然后他们什么因为疫情也不好出去他就干脆也来到北京中央村所以那个北京中央村还会议的一些不同国家的选手
对这还难得的国际氛围请问如果是线上比赛的话怎么防止作弊呢可能也没有办法防止这个自己理论上这个房间里会有监控他会看下来这些人都在每天在那干啥这就是我当时经常就在房间里走来走去然后就被监控录下来后来就被这个监控人员就自己给他教练制止了说你别搁那儿走然后就在那儿坐着他就会放一个监控在那里就是一直拍着房间里的人在如何
好 接下来是刚才都是他们单独参加的比赛接下来有我们的嘉宾共同参加的比赛比如说他们去了这个孟加拉国对 这个应该是我和 M 老师一起去参加的就是在孟加拉国举办的一个转机比赛对 然后我来回忆一下 M 老师有没有什么记忆深刻的片段呢
还是那句话就是你到一个到一个穷国家之后你就一直到国家我们祖国的伟大也是机场要是说德黑兰三线城之后肯定是三线城就是县城跟跟德黑兰比起来就是县城跟市城的比起来反正那个机场也是很破对当时这样印象很深刻就是如果你认为如果你认为我们国家很独特那你欢迎到孟加拉国际一场为什么因为你做特之后
我当时这样我当时坐车大概是我看我看一下地图吧从机场到酒店看起来不远看起来就二三十分钟车程三十分钟之后我打开地图我就想好机场在北边然后酒店在南边我就想三十分钟到了我们是在这个中间的吧大概是在这个中间可能今天酒店还有一个距离到底在哪里我也想到底在哪里结果你猜在哪里
我们的机场还要往北我们不仅没有接近酒店酒店我们离机场我们我们离酒店还更远了可以反处的对我就是他那个城市你知道为什么吗因为因为他当时需要掉个头的是机场出门要掉头
然后我们要掉头的话就要就要堵 30 分钟然后再掉头然后再把刚刚堵的 30 分钟再堵一次我们就这样到了机场出门的那个地方的马路对面那差不多这样就是你刚刚是坐了一个小时你就成功的掉了一次头然后到了马路对面然后他们他们而且
我紧重当时我听到别人也是一个中国人说一句话就是我来我来孟加拉国这么多天了才知道他们原来是有车道的他们车是有车道的但是大家都不把车道当回事吧然后上面有一些那种
怎么说就是那个你看那种防暴车了吧就那种人力一次人力车吧对对对就是他们都是一起走在路上非常非常独特的风景线他就奇怪的话这个王狗集可以合吗
哦
我还有一次在这个酒店旁边两百米堵车对吧我们当时我们当时我觉得走路可以在酒店到车的这个地方这个行程问题的你不听到什么两个人两个人的小小数行程问题两个人的相向来行有小狗在东街来回行驶吗你可以想象这么一个行程问题有个车在往酒店然后我可以从这个车往酒店来回行驶十次走路
这个车还是没到酒店差不多是这样让他们不让我下车所以很尴尬反正这个国家就他贫富差距挺大就我们住在一个很豪华的酒店里就是我们每天吃东西都很好有酒店对对对但是就是你就走出门就会发现路上有人在沿街乞讨对对包括包括我们的会场也还挺好的但是比较讽刺的是我们会场当时出了门就是当时一个什么我们有有以前晚上是那个什么歌舞晚会吧那是歌舞晚会
就在那个非常很豪华然后非常方便方面的会场也很好吧然后我们出了门到一个那种广场上面我们可以看到广场还是很不错但是广场旁边那个知名楼就明显到那种破房子就是你可以看到平复杂是明显的摆在那里就是富就是明显的很高发的建筑方面就是一个很很平衡的建筑包括我当时回回回来的时候我当时在那个机场啊后机但是我觉得后机
挺挺痛苦嘛因为毕竟那种穷国家的机场你可以想象是一个什么刚刚是我们国家一个汽车站的感觉在汽车站后机中的感觉然后当时我一个朋友他就说啊我们可以吃一个什么一个包间嘛那种豪华间 vip 那种服务然后进入的时候生命氛围就不一样了就是完全就是不一样的就是里面外面一个天堂一个地下的感觉
不过当地的小朋友改变命运的方式就是去当马的这点和大多数地方还挺像的就和当地小朋友聊天我发现他们的人生理想就是上大学之后学写代码然后去找一个互联网公司上班因为他们有好多那种外包写代码的产业
孟加拉国人他们应该吃什么呢他们说什么话呢孟加拉国的观众对不起了他们说的他们语言什么应该和印度挺相似他们是英语他们是英语是官方语言吗他们应该和印度应该是同样的人种应该本来是印度的一部分只是后来分出去的
应该基本都互相交流不过他们那个也是他们当地政府也对这个比萨满重视好像当时是很多部长都来了你当然记得有些什么人好像政府很多高官都在发言还进行了领导讲话世界各地的领导讲话都很长
进行一些漫长在听不太明白的交话当时毕牧是当时的一个领导他讲了很久第一个晚上讲了很久最后我们最后我们那个最后我们
结束的时候我们都饿得要死因为好像搞到九点才结束我们当时还没吃晚饭你们离当时是不是没吃晚饭就走了对班长那些人我们很快就要起飞了对他们很快就起飞了因为我不跟他们一起走所以我当时还可以吃点东西他们就很惨那接下来是最近的一次其实就发生在今年那就是去埃及是我和钟老师一起去的对
中文老师讲讲埃及有什么印象埃及有什么印象我们去坐了啥来着漫长的沉默我们去坐了啥来着记得它很热我们因为空调坏了
啊哎这本来就很弱对但是啊对很很对好像都 IG 已经被覆盖了因为默契都覆盖了因为默契归很弱对我们我们要主力回想一下我们在 IG 的时候有出去玩吗有哪个 AI 把他当伏几一下然后把他我们听了一个什么神庙啊对对对哦特别有意义他有些什么神庙还有什么他的声学比较有特点然后
然后我家还整了一个很活什么拿那个投影往那个金字塔上面投字对天主文化保护投影在那个金字塔上投字那你们起落头了吗嗯
没有你们要听是好危险然后对方都没干这好像还有什么还有什么可学的游玩环节我们也没参加好像还可以本来那附近还可以做热气球什么的好像很多人都来去做了因为著名的热气球景点好像是全世界事故率最高的热气球景点我靠
因为最近死人都在那死大家去问问这样一个经历这老女王那我朋友圈那些都没死还不容易很牛的经历不容易也没死可以说是比较水平爱迪当地人是什么样的你还有印象
那可以回应一下比赛比赛本身是什么样的呢比赛不堪回首我们堪回首的比赛好像没有回忆经历对很多回忆已经痛一手了就不用回忆了我来翻一下我觉得不堪回首的这个也不用回忆了
他们应该是直接把那个什么景点那个什么金字塔的景点当时就包了一天然后在那边整个都乱糊哦道理最后一天吃的话还不错最后一天吃的哦好像是在桌上烧烤烤肉道理哎就感觉那个什么希腊菜差不多感觉我们住住在尼罗河边我看到看到什么
哦对对对我们住在尼罗河边然后毕竟它的日落很好看我就来翻我自己的朋友圈哦好终于找到把两个去我们是住在河边的另外一个地方不在河边哦把 distinct 开了不容易好的那反正就想起来了我们可以再回忆一下再努力回忆一下回忆不出来我也可以世界名画哦
就是我们打得非常的伤痛最后有一个明明是我先来的就是我们在什么第一名的位置应该待了非常久就一直到什么比赛结束前十分钟应该都是第一名但最后就不是了就是就非常的有趣味然后比赛之后之后在那里就是
发伤痕文学对发伤痕文学发电对但是开上好玩吧开上好玩对还是然后什么华为挑战赛我们的教练名额名次高多了对我们教练一个人把我们三个人吊着打对所以就是
我们那年也有华为挑战对我们那年华为挑战是很有趣因为我跟好吃的交流出了点问题所以我们当时一个代码大概是我实现了一个函救然后他不懂我的个函救然后我们当时是一个直指反的调上去特别有意思因为我们因为因为因为直指反了我们反而得到一个很好的名次
然后我们最开始一直没有得到好好的名次因为我们值没值反然后后面我们交易突然值是反了我们名次一下就上来了然后我们就想了一下午为什么这个反了反而可以拿好名次就后来发现有个客人是歇饭反正就非常的趣味那天就耗了很多阳朔好 接下来是墨西哥旅行
旅行的部分好多我看我来这旅行部分有点多墨西哥墨西哥去了什么奇琴一茶好像是什么他们很古早的玛雅文明网友们喜欢看什么看太阳看星星什么的就修了一个莫名其妙的建筑然后
然后满足他在有些时刻什么如果那个星星你可以在某个角度看到然后某些时刻什么太阳会从一个口什么就他你可以想象成一个金字塔然后上面有一个洞然后某些时刻太阳会在那个洞里冒出来他们就会非常高兴关于我的印象就是这样他们修了一个奇奇怪怪的为了让他们看星体的地方然后被游客疯狂参观还有然后我们当时在那个海边的什么海来着我们住在一个小岛上对我们住在一个小岛上
对叫惨村不砍昏对差不多然后对然后感觉那边酒店特别有意思都是什么全包度假村就一天付多少钱住进去之后里面你在里面爱干啥干啥里面什么有什么设计呃
游泳什么沙滩然后什么吃的都是免费的都是全包在一起的对感觉很趣味对就是你进去之后你就到了共产主义社会你就可以就是你也不用劳动你要交的钱就可以了就是然后吃到仙人掌
他们岛上有很多仙人掌,然后就开发出了煮仙人掌的科技。哇,有吃吗?就把仙人掌炸成汁,然后你就会得到一个非常辣的果汁。原来是辣的,哎呀,一听就好难喝。没吃吧,那应该。他们就把它整个炸了,把它应该刺拔了,然后炸成汁。不乏也可以炸吧。我都不知道,我没有试过。而且很吃惊。好像只有好吃老师试的。对,就其他人都不太敢试。
还有什么,还有什么?我以为会一直在下雨,然后路地上都是水,就感觉你就和海基本是连通的。对,然后房间里,就什么房间门口会积水,特别猛。反正你在岛上生活,就是未免都会有这样的状况。对。对,然后那个气候特别不稳定,非常非常不稳定,就是它下雨的时候,不知道就是什么,呃……
就下雨没有任何预兆,然后这是非常 local 的那个下雨,就可能你走了多少米之后突然就进入雨区,然后什么出雨区,然后还有在时间上也非常不 local,就有个雨只下了 20 秒,就特别魔幻现实,你就感觉它这个,肯定像是刚刚把这雨劈进来过后发现不对劲就劈出去了,对,就是一个拉美又魔幻现实这个文学非常的合理,它的雨就非常的魔争,对。
你当时他们西班牙人我能看懂吗?不能听吗?好厉害他们能看懂吗那些西班牙人?看不明白,我想看他们也会努力学你说话的毕竟他们就每天待在那个岛上岛上都是外来人他们就学会说你好什么的然后还有好多日本人所以他们也会说什么 Konichiwa 他们有著名游客的语言他们都已经听透了对
还有什么吃的不错我感觉爱迪吃的也还不错他们是 taco 吗他们的样子更重的 taco 之类的哎呦我真的我但是也有一些就是比较靠谱的就是真的就是感觉像去自助放一单泥一样那也那也没那么好那感觉还是不错的
那出品还是不错的什么鹅肝牛排什么都有这还挺好的呀这不是酒店自助餐吗这样就自助餐的档次很高我感觉你在中国吃可能得说不定得四位左右就是对好嗯
前往小众国家旅游经验的 part 到此结束接下来是什么接下来进入了我们最终一步的理论计算机环节首先我们可以选择上语或者就是那个
这个信息竞赛和理论计算机有什么联系吗那我们知道很多做信息竞赛的人后来都去做理论计算机了我们的三位嘉宾也都曾经或者正在做理论计算机的科研我们可以讲一下比如说这两个之间有什么联系吗信息竞赛很多题目考验的是我们能够
我们能够设计算法的能力就是他一般一个题目可能数字范围太大了然后一个非常朴素的方法是没有办法在实现内实现实现内完成这一组数字的所以我们需要设计更高效的算法这一种设计更高效算法这个能力它本身就是如果你如果你
在理论计算机的科研本身也是设计算法也是设计一个更高效率的算法所以这两者之间其实是年纪是非常密切的因为它有很多不同的地方因为理论计算机的话主要就是如果一个算法实际上拥有怎样的复杂度它是一种数学模型就是在某种模型下面如果这个算法的复杂度实际上很低那么
我这个成果就很不错就有一个就有一个这个当然是有个上法有个因此进行的效率就非常高就不就没必要说真的是把这个上法是实现或者是看他的实际应用程度效果怎么样我就是做一个理论上的分析说
用一个什么数学上的证明说不管你是什么样的数字我都能在某种运行时间内运行出结果然后这个跟这个心理经测是不一样的因为心理经测里面我们不仅叫设定就算好我们还要写成知识实现还有之后你先说
上法的这个复杂都很高但是它可能数字很特殊或者是因为你的上法设计的非常的高效率它的这个我们说是运行的长数很小所以它还是能够通过或者有时候像我说你的上法的复杂都很低它这个理论上的运行效率很好但是由于它这个实力量的实现非常麻烦导致你这个实现的效率不高或者是因为你它数字的某种特征
同样导致你这玩意儿上传效率理论很高但是实际上很慢然后你又没法通过这个数字所以你可以看见他们之间其实是有一定的区别的但是大体上来说还是非常类似
好那 M 老师可以讲一下曾经带领剩下两位嘉宾搞理论自参机的故事吧就是我和这个好吃同学还有这个中向同学之间都有都在理论自参机上有个合作然后大概是
其实这个合作也是非常不错的合作因为写论文的话主要还有很多分工首先你要有思路你要知道你这个上法的做法是什么然后你还要真的是写这个论文你要是把这个细节普通清楚我们之间我跟
我跟好吃之间合作了两篇论文之中有一篇主要是这个思路的话大部分是我想到的然后好吃的话他和我一起把这个思路跟着完善了一下最后完成了论文然后另外一篇论文的话是相反的主要是好吃他的一个很不错的一个主意然后
然后这篇中间也差很远我们几个之间把他们的思路抬升了一下最后进行了一定一步的优化然后也完成了一部论文所以说我们之间的合作还是很不错的那这篇论文有让你们去哪里旅游吗
这两盘的豌豆中了一个会议,然后这个会议在意大利举行,所以我们我看这个好吃没吃对,我当时想回国玩对,然后钟相和我一起吃了,我们去意大利参加这个会议,会议完之后我们还去意大利留了哦,意大利有什么好玩的呢?是比赛鞋塔,有个建歪了的塔,可以看出来意大利人他们建筑水平
低电能力也不如国内对吧你看你看二线能力和三线能力的差都不会见歪对吧所以他不如不如不如英南跟孟加拉国这个开玩笑他为什么要见歪呢
好像是一开始建成后来歪了比赛鞋塔还是他当时建的这个土我也不太清楚记得就是他建的他这个地面是比较松散的这个土所以他最开始建的时候建到一半发现那个塔往一边歪了然后这个时候他们就发现哦不哦
坦了这个塔歪了我们往另外一边加台对吧这样我们就把塔糊正了这不就是哪里是吗结果这个这个这个这个糊正的糊多了我们塔就往另外一边歪了差不多这么一个过程太智慧了对而且而且就说这个笔下写的好像他们还要他们还还有一些工程智慧能够导致他不倒他因为他好像有一段时间是不停的变歪的不断的即时变歪
所以我当时可以看到一我当时有看到什么后面后面加上了一些什么东西吗反正里面是有个什么里面是有个什么装置吧那车辆这个塔到底有多歪吗对对对肯定还是要小心一点不然不要太歪了就倒了对吧那你们在意大利吃了什么呢我当时吃过我们当时吃了一次一场我当时比萨什么的对我们在比萨吃了一顿比萨意大利的比萨比比的地方好吃吗
好像,刚刚的别的不太一样吧不会发波祖是的不一样在哪里不知道,也就是他,屏蔽比较
我觉得每个店也不一样的,因为它手工制的,它有一种小麦的香气,酱人精神苦心钻研 20 年就为了做好这一块西藏是它的口感更好,更有韧性是吗,还是说它的味道有什么区别味道反正调味都那样嘛,我当时吃的那个调味好像比较极端
我那番茄味道比较浓,比较浓,就是可能口味比较大胆那你们不会意大利语,你们怎么旅游呢?我知道一点点意大利语,但是我写完还是读不太懂的就是我有时候能够读懂一些意思,但听肯定听不懂但是他们很多地方还是有英文,英文还是很多整个欧盟其实还是很多英文但是意大利人其实
主编上英文我当时有一次吃那个不知道你当时吃了没我们当时是一家餐馆然后那个电脑版并不是怎么会英文然后我当时在点了太光的时候 Questo 就是这个你别说 Base 才会也听得懂吧没有
我这都能体验,但是我说英文他也经常懂了。没事,就是我们走路的时候饿了,然后随便走到那个塔路上,随便在街上找人家吃的。所以又不是那种旅游经验,边上的吃,就是在那个路上随便找了一家,所以店主就也不太懂。那听说意大利有很多犯罪,你们遭遇到犯罪吗?很可信的,我们没有。
这就是理论计算机给人带来的好处之一意大利是没有犯罪可以看出理论计算机还是比信息计算机先进一点的就是首先它在发达国家举办会议我觉得比方说它的塔没有那么高级就是它的塔是歪的这说明就是 OI 比理论计算机更包容性在全世界各地办
但是很遗憾在发完这篇论文之后这个中项和老师同学他们就不再做你的计算机正好转行了可以讲一下你们的心路历程吗就是其实我们最开始做理论计算机的时候是觉得理论计算机很好就工作都很聪明
就是每篇 paper 都是 non-trivial 的体验一些智慧解释一下 non-trivial 是什么就是比如说它会它并不是那种显然的工作就是你需要它有一些聪明的观察你会觉得作者还是有一些智慧在对就是我当时做理论计算机的时候的体验但是后来因为本来是本科生就想多试一点东西所以有一个学期去做一下 machine learning 然后做完之后觉得 machine learning 好像比理论计算机好玩
这个对机器学习的对就是机器学习可能比理论专辑好玩因为就是有很多原因吧就是我现在对理论专辑有些看法待会我也可以说一说但就是我个人的话是因为觉得机器学习比较好玩我后面就会更想做机器学习一点嗯我的话我就就因为我一开始就是做理论专辑就
就感觉就是很多就是做歐外女生我就後面都做流言這段機就是他原則是慣性的就是因為就是說啊這個東西就比如說你過來啊我現在學歐外我現在進入了大學我現在要做研究那我能做的什麼能做的就是做流言這段機對吧因為就是你看這些算法哎呀我無數加身
虽然可能不太一样,我如数家珍,算法课都不用上,显得自己就是电动交响机天才,然后就很高兴开始做电动交响机。首先我一直对机器学习比较感兴趣,然后我后面做梦寐以其貌做上科研,虽然怎么说呢,当时那学期也不是很理想,做了一些特别无聊的科研,
虽然经常确实很无聊但是怎么说呢我觉得我还是更喜欢这个东西的然后并且理论计算机也搞不太懂然后就转了对好 接下来是好吃老师的这个什么就是对于理论计算机前景的一些感想对 就是我觉得理论计算机这个学科在我做过 machine learning 之后看这个学科其实是有些问题就比如说
有的科学人就是他发出来的配方你觉得他在研究世界的真相就你觉得他的结果是令人感到 surprising 或者感到惊奇的但里面居然接近有感觉现在
一方面是很多文章现在它的结果它在科学意义上已经失去了追逐真相的这样一种动力它很多文章它的结果并不令人感到惊奇而只是你会证这个别人不会证你比以前的人都要聪明这个事实是令人感到惊奇的而并不是你做出来的结果本身就很多时候大家只是在做一些非常微小的改进比如说前人把一个
数值推到了 2.372 然后你把这个数值改进到了 2.371 然后比如这个数值他一般人都会觉得是 2 对然后所以你这个改进事实上是完全微小的因为你的做法可能也没有什么
优美的地方但是由于你比别人聪明所以你就可以发出来一篇论文然后大家会感叹于你的聪明但之后大家其实已经不关心这个问题本身了就你最后发现的并不是这个问题的真相或者这个世界的真相它就只是一个大家在比聪明的游戏造星运动对就只是大家在那里疯狂内卷然后看谁最聪明然后聪明的人会有得到他很聪明这个 credit 对
对这是一个我后面觉得他有点奇怪的地方还有一个地方是我觉得理论卷积就另外一方面是在关于问题本身他为什么会最后卷成这样的因为他本来关注那些问题很多都很难就最开始大家发明理论卷积的时候当然世界上有很多可以做的问题因为卷积这个概念刚刚提出然后大家发现世界上有很多东西可以探索可以设计程序解决然后有的问题有些优美的算法可以让程序变得很快
但到后面就到现在这个年代大家很多时候做的问题不再是像前人一样提出新的世界上重要的问题然后看能不能用什么理论卷积去做而是就在前人提出的那些已经搞了几十年的特别古典的现在可能也没有什么用的并且已经被做了很久的问题上面雕花因为这种问题是最古典的理论卷积就你做出来就证明你比前面的所有古人都要聪明所以你做这个是你做的比别人好这种都要 credit 但是
但是其实这样是不对的就是感觉大家只是在用一种就是做题的聪明去掩盖该做什么题这个问题上的懒惰就感觉大家没有在思考到底什么问题是重要的只是在做一些古典的在舒适圈里面的东西比如说在这个年代我感觉这是第二点对然后还有一点是说我觉得理论这个东西本身其实就
有一点奇怪就是最开始的人们会关心真实世界的性质就刚提出来什么最短路啊什么都是真实世界中的问题但到后面就是大家其实研究的东西就和真实世界割裂开了比如大家每天证明什么 worst caseaverage case 但这些其实都不是真实的就比如说真实的数据它就是有一股劲儿但在理论里没有办法刻画真实数据丰富的这股劲儿
对哦所以就是你最后你研究这些东西在真实场合里它可能也不是特别有用它只是一个你从真实世界里面找到一个什么玩具让你自己玩但它和真实世界并没有什么关联我觉得如果那些勇敢的第一代理论剧院机人来到这个时代他们会愿意首先他们会会愿意提出真实世界的问题他们会愿意做一些
不纯什么 Worst caseAverage case 这种奇奇怪怪的理论假设下的推导而是研究真实世界的劲儿所以我觉得他们到这个年代他们可能就去做 AI 了就觉得 AI 是最关乎就是他们首先关注一些真正的有用的能用锻炼机刻画的问题然后也关注就是它真正的有用的现实中的分布这点和早期锻炼机锻炼机是很像的然后早期的锻炼机会很关注 performance 如果你这个东西从 N 方变到 N 它就会变快了
然后现在真实的 AI 里面
比如说你有一个很大的模型如果你有一个比别人更好 skating law 就像一个你有在理论卷积里面有更好的 complexity 一样它不是真实有用的就是它会真实关注这个复杂度但在理论卷积里的复杂度我觉得就只是一个在早期复杂度还有有用的时候提出来的概念只是那些人懒得改就一直延续到现在到现在大家现在只在这个古典的东西上面雕花对 M 老师有什么评论吗我先说一下就是
你认记上一些东西首先他提到的内卷我觉得这个现象肯定是有但是并不是所谓完整内卷然后我觉得我当时也是不同意这个我当时也是不同意内卷的我觉得这个也是很不好的现象但是我也看到了很多好的现象包括他提到的把这个指正成果的复杂度一步一步提高我看到的是很多人合作
但在前文的接盟上面把前文的这个结果进一步提高而且这是很多人合作的结果这并不是他相比内卷他更多的是一种合作更多的是一种相互项目进步的一个过程但是这个问题本身你做出来的答案并不重要你就只是在中天人合作的比原来更聪明然后你在这张地的话但是因为这个原因我觉得他
促进了人类之间的合作性然后理论本身对知识的相往我觉得这个也促进了人类对知识的好奇心对知识的探索性然后再提到问题本身首先
首先很多实际的东西其实是实际跟理论事项结合的很多很多实际很多理论对凸的时候也是被人觉得是很没有用的东西我举个例子比如说当年我们当年数学家研究这个三次方程的解
研论三次方程解之后研论什么东西他发现有些三次方程是没有解的有些三次方程的呃不是就比如说有些二次方程是没有解的对吧比如说 x 平方等于-1 他是没有解的然后有些数学学家提出一个疯狂的思想就是引出了复数的概念我我强行的-1 加一个平方根我就把-1 的平方根写作 i
你说放在当时来看这是不是就是一个很方便的决定就是你这完全就是理性你觉得这个实际上有根本就没有什么用对吧但是过了很多年之后我们开始研究三次方向的解我们发现把这个负把这个负轴平方跟 i 进行性运算之后他就回到了时速率上就是有一些时速有一些三次方向解他要表示出来他不得不到这个 i 这个地方经过
走一圈再回来也就是说你从一个实际问题出发你不得不到这个理论上这个美国的东西看起来美国的东西走一步然后再回来再回到这个实际
所以它本身是没有用的东西但是发现你是最后发现它是一个不可或缺的一部分如果没有这个东西我们就没有办法解三次方程就是就这么简单所以你会发现现在看起来有些美国的理论可能以后某个时机问题他要之后不得不用这个理论换了这个结果然后这个理论突然就变得很有用了就是一个不可或缺的一部分了好
然后包括后面什么负值变换之类的东西负值变换它的这个频率分析什么的都是很有用的然后负值变换它也离不开负数如果没有这个如果没有数没有几百年前数学家强行给这个负 1 这平方跟强行负上 i 的概念就没有负值变换我们就不能做很多东西包括什么气象日特呀包括什么包括现在怎么
怎么唱歌那个怎么哪个哪个人唱歌给他修音都要用到复利的变化这个东西很实际但是他离不开离呢然后然后然后还有一点就是呃就是呃就是呃但是我我认为啊理论跟 AR 其实他也不矛盾就是你完全可以两个方向的发展效果
因为书写这个本科这个学科你想一下他最开始发展起来的时候包括欧之里德那个时代书写那个时候
那个时候数学最开始最开始就是数数我有一个苹果我有两个苹果我有三个苹果我有四个苹果对吧最后最后数学分最后数学慢慢的我们有什么小数有分数包括什么方程对对对的概念他他分化出了两个学科你发现没有一个学科就是这个数学这个数学我们包括到现在有这种很高端的数学像什么数论啊哥德堡和财想对吧这个还有什么费马大病理啊这种然后还有什么包括这个这个是数论呢还有一些别的什么
包括发掘材料什么复数理论什么复数我常常说这个复数有很多种复变函数的理论包括什么高等数学那一类理论同时它也有工程学就是如果你要如果你要做工程它也要用到数学你
你知道你是一个什么包括什么航空航天你做什么航空工程师包括什么不做航空工程师你就算是做一做什么做一部汽车对吧做一个什么手机就肯定要用到很多数学他分化出了两个结构一个是工程一个是
数学理论然后这两个是不矛盾的你要说你要说你是做工程的你会是说这个数学的东西没意义吗或者包括数学的做这个工程没意义吗不是的他们两个东西都有意义然后我认为这个理论第三集像他说的其实上你是可以看成他的一部分 AI 人工智能这个地气学的它是继承了这个理论第三集的一波
但是我也可以说现在的理论计算机它也继承了理论计算机的力波它跟计算机的关系就有点像是数学它分化成了现在的数学跟工程一样两者之间是不矛盾的不好意思我有个反驳论点就是我们来总结一下 M 老师说的话他有几点他第一点说理论计算机促进了大家的合作所以他是好的但其实我觉得这个点很鬼他用这点来打就是我说理论计算机他现在其实关心的东西很内卷就是我觉得内卷并不是说
大家的做这个问题的形式大家在做什么就我觉得一个东西合作不代表它就是好的比如说大家一起打游戏这东西很好嘛
就是它形式上促进大家的合作但实际上最后在做的可能是一件没有什么意义的事情这样我觉得现在理论卷机它做的问题本身它评判工作好不好善照一种内卷的方式去评判的它就只是看谁在一个问题上能卷出更好的 bond 尽管这个问题可能并不重要他们已经脱离了就是讨论一个问题重不重要而只是在那里就是在这个问题上内卷谁更聪明所以我觉得这个评判体系是有点问题的
然后第二点是毛爷提出理论是有用的因为数学上可能有很多新的理论不好意思然后第二点是 M 老师提出理论是有用的因为数学上可能很多新的理论后来被验证就在实际问题中有它的价值我觉得这个恰恰是数学比理论卷积好的一点
在里面卷积里面人们已经不再提出新理论了他也不再关心新的问题就比如说刚才说的什么二元一四什么二次方程没有解决给他造一个解决这是一件很勇敢的事情他在提出一种新的思路新的方法甚至去研究一些新的问题不对在里面卷积里面恰恰相反大家只关注一些旧的问题用旧的方法往上面堆 trick 然后最后看谁堆的 trick 效果更好大家已经
它已经不再是一个在发展的大家会不断地去定义新问题勇敢地提出新方法尽管这个新方法效果不一定好但是大家会看到它的思想性然后尽管这个新问题现在可能没有被解决大家会关注它是新的所以这个学习科会这样发展下去就像数学里面有个提出辅数因为它是个新的思路就让它一下子可能不一定 work 但理论转机里面恰恰相反大家关注的是旧问题的
最好的内卷的结果就感觉很多 paper trading 只是在旧问题上卷你卷的结果没有什么意义你也没有什么新的思想就是他已经不再关心这个问题的真相了他又只是关心这个内卷的比赛我觉得这一点是他和数学很大的一个区别大家好我是重肯的呃我是谁来着中向中向老师中肯
啊不要重新说吗我觉得挺好啊我要说啥来着那比如说你觉得林马天老是对的吗我不知道那你觉得呢那就证明他有意义了
我不知道如果有新的思路可能还行就是不是天天都有新的思路其实有很多新的思路吗比如说什么勾到什么比如说普达性理论现在开始用什么呃比如说 ryan 的那些工作或者在长野的那些工作都比较都都是有都是不是都是有新思路吗虽然你可以说是吹的但反正就有新思路哦我觉得第一篇什么
对但是我觉得后面的人不应该就对着盯着这些问题研究就一方面我不知道这些问题是否是可以研究的另外一方面我觉得我承认第一篇工作是好的但如果后面的人只在这个问题上卷用这个去可能达到最好棒的我不认为这样的军备竞赛是很好我还要提一点就是实际上我们对这个郭池跟现在的看法是有偏见的对我们看到郭池的首先我们看到的是
看到了过去的内容都是过去很多过去的最好的内容过去那些一般的内容都会被现在现在所忘记啊相反的如果为了我们看现在也会看到现在最好的内容然后包括我们对于他新颖性的这个判断也是啊我们当然会觉得
我们我们现在看现在那种方法会觉得现在那种你看不到他的新颖心因为很多新颖心的东西他是要通过实践才能验证的所以你们所以我觉得这个是有偏见的你不能说现在看这个东西没有新颖心他以后看就已经没有新颖心了包括你说的内卷
我首先也是我自己的这个内点是不好的但是它首先你完全可以做理论去补内点你完全可以理论的初心我觉得还是对知识的渴望你完全可以完全可以用一种补内点的方法是完全是这种对知识渴望的这个这个追求去做理论其实这也是我的初心我会觉得我做理论我是努力的让自己千万不要说啊我今天的成功怎么就发了一篇论文是发了一篇什么评会我觉得这个其实是不好的
我也剛好就是說
其实我现在发现我对理论我最开心的时刻是什么最开心的时刻不是论文写完或者论文中了那个会议或者是在会议上做发表的时刻是我想出问题的那一个时刻因为想出论文分享的时刻最后没有任何人知道全世界可能只有我一个人知道我想出来的但是我觉得那一刻是一个最幸福因为我是认为解决问题的那种快感最幸福的我相信如果一个人他是内卷的人他是那种只有中了论文才开心的那种人我认为他首先他这个
这个是不对的而且我也觉得他在这个理论上他不一定走得很远我觉得我可以说两句就是我觉得这个好吃老师刚才讲了很多但是我觉得他的论点核心并不是说在比较理论计算机和 AI 这两个方向而是在讲什么问题是重要的我们应该研究重要的问题以及由谁来定义什么问题是重要的就是
在这个时代一个学科或者说更广义的大家所关注的所谓的重要的东西是由谁在决定哪些东西是重要的比如说刚才说到另外一台小学我也有朋友是做纯素的就可能是这个方向吧他
就是这种很纯的数学已经没有人去探讨它有没有用了然后他说他找一个很有地位的老板老板的作用是什么呢老板他可能就没有办法帮你在数学上有进来但是老板会去开会他去开会
但是
他的评审人或者说有一部分有权利的人觉得这个方向很有用他就可以不停的发文章得到经费然后获取更多的人口就是得到大家的财力物力精力和智力对所以我觉得就是说不管是哪个方向定义什么问题是重要的这个定义
这个定义权其实一直都掌握在比较少数的人手里而这个定义有些时候的确和现实是比较脱节的即使是 AI 方向我有一个评论我是觉得 AI 方向至少大家的估值函数是愿意接受新的问题的就有很多文章是你定义了一个新问题没有人关心过但是大家看了之后觉得这个问题有道理所以这是一篇好文章而这种问题这种文章能中
在理论卷积里面如果有人提出一个新问题他是很大的概率是中不了的因为他没有办法证明自己比别人聪明就是审稿人看到会想这问题会不会是简单的我去做它会不会一下就做出来了然后如果它是一个旧问题做比别人好然后他就引用一下别人说你看以前这个人想过他比我笨他做的没有我好然后他就中了 OK
所以你批判的是这个学科本身还是这个学科人们的所作所为人们不接受的这个新问题人们现在做的事情就人们不接受新问题只在旧问题上掉落如果说你只是比较这两个学科本身你是怎么看的不说这个不比在里面的人的所作所为那当然就是理论当然可以研究一些真正有意义的理论比如说
那当然但是你现在定义这个学科当然是这个学科现在以它发展的方式就是我现在对这个学科的印象来自于当我在从事这个学科的时候我看到里面的人在做什么或者我来看到这个学科是怎么发展这是我对这个学科的印象但你也可以有一个乌托邦的理论计算机在里面大家都研究重要的深刻的理论问题大家都做数学那可能数学是好的不是说大家都做什么一些深刻的什么
理论然后大家再不断提新问题那我觉得可能是好只是我目前感受到的是理论间接近是一个不太接受新问题的军备竞赛状的学科
就大家对问题不是问题定义权取决于少数人手中而是大家的估值函数就是不喜欢新问题而喜欢旧问题想比别人聪明所以你认为可能是理论界对这我们不太喜欢新问题但是 AI 的人可能就更加接受新问题对所以这更多的是一个我们自己
每个学科的人之间这个社会环境之间的对比而不是这个学科本身的对比对就是我觉得最开始就是这个为什么我说理论学习最开始的时候它是个好学科因为人们在不断的 propose 新问题而用新的问题去 inspire 大家想出新的算法
对然后但是到现在我就觉得他已经变得有点奇怪了就是我觉得里面人们已经不再思考什么问题是重要的了就他们在理论做久了他们就局限于自己的一亩三分地比如说我就是做背包的然后我会这套技术就把这套技术拿到我会的问题上看有哪个问题能得到比别人更好的解想出来那一下你肯定会很高兴因为确实我觉得证明了比别人聪明是一件事我喜欢这么做吧我可能是属于那种
我喜欢背包背包这个特点因为背包背包就是我没做出来但是我还是喜欢一个问题做多到那里我就不会再做那次的问题了就我觉得这样也不太包括我包括我之前有篇动画也是取得不错的结果但我后面再也没有碰过那个相关内容
因为我觉得戴世锋的话可能登上这个好吃所说的就是那个就有点不太好的就是一个东西反复炒冷饭有一个道理对但是就是我觉得就李文俊的人的大家都这么做对吧或者说也不一定是炒冷饭就觉得只是大家的 man's side 里面不包含想什么问题是重要的这一部分就大家更像是一个做题的过程而不是提出或者说思考提出问题的过程
因为提出一个问题验证他是聪明是很困难的但是做题可以有个清楚的比别人聪明的判断然后这就导致大家这行里的人都很聪明所以大家最后都收敛到了用最简单的办法证明别人聪明就是做的比别人好这个文章里面有很多题只是他
哦
但我就觉得可能不应该把所有的精力都放在在老问题雕花上就是你至少雕花可能是说这个问题已经解决了或者是没有解决你还是没有解决或者是已经解决了你还是已经解决了这个对我来说是雕花但有不少东西是这个东西没有解决我突然又解决了你这个肯定也不能说是雕花了这样工作应该是好但是我觉得就是大家不应该就不应该完全放弃提出心
新问题的这样的能力我觉得人们已经我能想象你可能认为纸上成法那个是雕花你们那个纸是我认为是雕花对我没有说过也不是我认为有一些雕花的成分但是也不妨记就是说可能某一些比如说你说的 2.73 比如说 2.732 变成 2.73 这个就 0.001 的差距
这可能可以说是雕花但是也不妨可能某一天我们有个理论界的大突破比如说如果我突然做出一个 R 点 R 级的这个东西你认为它是雕花吗哦那它可能是突破但是我觉得你你不应该把自己只局限于解决这些问题并不是世界上所有的问题都被定义好我可能理解你的论点就是你的论点就是说我这个可能不是雕花但是实际上很多人实际上都会是想着是雕花都会是想着啊我就我就想把这个东西做到 R 点三级级
如果说真的大家都是想着做到二点二几可能还好一点但实际上并不会这样对吧对吧大家都想的是是做到二点是那你那你那现在比如说也很多人都在烧宝
其实 AI 有很多这种现象 AI 有很多人不是我喜欢的吗你认为 AI 里面哪些问题才重要的包括现在很多的 AI 其实它是比如说像什么都是一个就是一个比如说人脸识别我要把它抄到哪里或者是哪个图像生成我要把它抄到哪里像什么网上说的
网上怎么生成自己的女朋友对吧因为实在就是旧技术就是旧技术吧他并没有什么新的技术你还在互相评价对方的选择用的都是一些错误的数据是这样子没有我觉得我是对我自信是这样的就是当然有人在刷榜刷榜我觉得他然后并且会有很多 AI 人觉得刷榜是一件可能偏无聊的事情但 AI 做一个学科整体是有人在定义问题的
然后 PCS 有的定义问题吗我觉得我有但你的目标还是那个目标吧
对啊你的目标可能就是你想研究人类智慧就你在一个大目标底下你可以定义新的问题但 TCS 就是它是问题已经定义好我们只在那里解它所以我感觉还是挺不一样的不一样的比如说比如说很久以前大家只关注 P 和 NP 现在有 1 4 5 1 4 个复杂度类大家都互相关心两者之间的关系有很多新的问题
那也确实对而且但是就是我我做 tcs 的体验是就比如说他就是那几个经验的问题就是或者说人们是很少 y6proposal 体验式的而且你发现有时候有时候你只有是解决解决一个旧的问题他还会他有吸入性他反而会让你帮助你解决新的问题我我如果我们书写比如说如果书写我们还是停留在几千年那些状态我们怎么可能提出今天的问题
我的论点是说人们不 value 提出新的问题这件事我觉得这是错的就关于解决这个问题怎么样这件事情我不予评论就只是在 TCS 里面人们不 value 提出新的问题我觉得 M 老师是在为不 value 提出新的问题而辩护但就是如果你认为提出新的问题不重要的话那我要反驳这个点
我没有说提出新的问题不断我只是说解决旧的问题有道可以帮助你但人们至少应该外流提出新的问题而这点并没有在 TCS 里面挺现出
我主要是说这个鞋口本身怎么样怎么样就是如果人们有这么多的话我觉得很难我觉得人们都基本都不外露提出新的问题在 TCS 只有我个人觉得是这样那你觉得是什么造成了这两者的区别呢有没有可能是因为 AI 它就是钱比较多
比如说你们如果有了非常多钱你们就可以办一个新的理论计算机去看就专门接受新的问题而且还有没有可能仅仅是两者之间的这个人数差异因为很多人都在搞 AI 可能比如说有 1%的提出性的问题你放在理论界那 1%就没有几个人但放在 AI1%还是有很多人所以就给你种种错觉可能 AI 大家都怎么怎么样实际上人口低就太少了
不知道但我会感到人们的 taste 或者说这个 community 的 value 在 AI 里面就是提出新的问题的 paper 是可以中的并且还可以中就是可以拿脚但是在 TCS 里面提到新的问题基本上大多数都会被拒了
就算是把 value 定义成大家对于提出新的问题的平均的 response 而不是提出新的问题的人数我会觉得 AI 也比 TCS 友好不如你怎么定义提出新问题你觉得什么叫提出新问题比如说你之前没有什么这并不是一个大家研究过很久的有良好 base 段的东西
比如说背包或者局面惩罚就是良好的 base line 但是比如说你提出一个新的什么神秘的 setting 然后你 argue 这个 setting 真的是有意义的这其实也不多了而且有没有一种可能是在理论界提出新的问题只是要整个全世界的人知道不仅有中非这一条方式
对于一种方式有可能你是做新的会议新的论文一般不是中会议是用别的方向大家知道的可能在 AI 里面这些会议它其实有个功能就是让大家知道新的问题可能是这个功能性的差距那个 TCS 里面真的有人就是你会在你会怎么知道你真的有办法就是 propose 包括我们有很多这种 Seminar 之类的很多这种 talk 这种类的东西
有新的技术就会带来新的问题吧比如说对啊但是我觉得有的时候是有这半新的问题但你应该有有时候你应该会相信新的问题能引发新的技术而不应该就是只是在
原来那块一直摁住不是 ML 有什么很好的新的问题吗我觉得所有 RL 的文章都挺好的不是新的问题啊它是新的技术有很多新的问题比如说最近两三年有什么新的问题吗什么真的好的新的问题
我可能没有读很多 paper 我也没有对我可能并没有读很多最近的 paper 但是我读比如说我不知道但是我会感觉我自己在研究的东西都是新的问题而不是在一个东西上雕花就是我当然觉得就是我研究的也不是就是在雕花但我觉得我都是新技术而不是新的问题为什么你还要解决我的问题而且你只会寻找问题对就是
你还是不能虚空答吧但是我觉得这个举例子很无争因为我确实我觉得你举几种一个例子总应该有吧比如说我读二楼的文章比如说第一个提出来要用好奇心指导一个机器人去探索的文章这不是问题他原来在说的这个不就是他的问题是如何让一个机器人去探索
对吧那你这个是解决问题这个你这个地方这个是技术啊这个是技术啊这个概念很奇怪啊那你其实问题不还是那个把那个破网刷上去吗对吧你这个解释他说他没有网他并不是有网啊不是他那一套啊阿塔利吗网上那叫阿塔利啊阿塔利那么多摆在那里让你们一个个做这些人也在做啊他并不是第一个人做的阿塔利摆在那边啊好吧或者一个新的问题是比如说你怎么把模型的输出定位到它的 data
这个问题挺好的,挺喜欢的。除除经外到 data。对,这个问题不应该很久之前就有了。这个就是 Explainability,科技的实现。这个历史,至少它被重新挖出来的历史,应该只有一位数年,没有两位数年。
但是我感觉你要说的是新的问题的有点天然的可解释性因为很久因为很久肯定很久之前就会有人说可解释性的而且我感觉很多接触过 AI 的人包括你当年
主要是 AlphaGo 战胜底事实,包括一个航外人肯定都会问 AlphaGo 能不能解释一下它说的每一步到底怎么回事,这不是有点类似于你做的东西,就是输出它的信念值为什么才这么下,如果这个很类似的话,那你那个,如果说航外人都可以提出类似的东西,那你这个其实也没有什么信念性。
我完全没听懂某些人说的我说当年 AlphaGo 击败李士时连行外人都会看到这个东西就说那个 AlphaGo 能不能解释像人的解释一下它为什么这么瞎你都让一个维持机器人解释它为什么那么瞎这算不算这算不算是你说的一种就是它的疏突要这个机器人去解释它为什么这个疏突是这样子
这个其实还挺不一样的但是我可能难以解释它为什么不一样就是就像我问你 TCS 里面 P 不等于 NP 和 NP 不等于 PSPACE 为什么是两个问题就是你需要扯到 P 的定义 NP 的定义 PSPACE 的定义就需要细分下去但是就是这个东西它可能需要一些背景才能说明白它为什么是两个不同的问题为什么两个不同的问题啊
就是不他就是一个特殊的 setting 就你在提出新的 setting 就比如说你有一个输出让你要知道每个 data 的 hbo 甚是什么这和你说的就直接解释他在干啥这两个完全不一样的他他他他说的也是你要点在他前面说题的一个你直接逼逼啊他说他想说其实可能是说你进了某个题就对他影响对对对但这个东西真的是你看也就会提到的吗不是的也不是的就是就有
就没有人把他写到纸上就是没有啊所以就是简单一点我觉得说到你说这个会议关就是如果你在跟你前面说的在里南地产局提出一个问题不容易中论文不容易中警会但是在 AR 提一个论文容易中会议我就可能还有一个原因是这个
可能理论计算机的会议它不仅是展示还有一个功能就是它同时也会教大家一些技术就是你一个东西要有实质性的就是一片动物要有实质性的技术要教大家这个技术到底怎么做的而可能像 AI 的话它实际上你也没法教技术可能有时候可以教技术但是实际上大家更想知道的是那种展示性的东西展示你这个 AI 做什么因为既有展示性的东西那这个
你提出一个新的问题它实际上也属于展示性的东西如果你提出一个新的问题我没有任何基础性的东西可以给你我只能展示给你如果说 AR 更重视展示的话你也可以解释得通为什么他们更希望他们更想接受一个提出新的问题的论文你可能没那么想接受一个提出新的问题的论文但是你要说能不能提出新的问题如果你不是不是
当然能不能中辉框架上去思考你就说能不能提出新的问题我认为你在两个领域都会提出新的问题其实我觉得 TCS 对于提出新的问题这件事情大家的动力很不够多可能动力不够多它是可能就是
他是属于一种社会现象我觉得这个人是就因为这个会议不关注所以你就不会去有这个东西这个东西的话实际上就是说你也不能怪这个鞋盒本身的吧你可能更多的是那个怪人人的问题怪人的问题人的问题我们今天要得罪一些人我们今天要得罪一些人了可能都是你们对我们今天要得罪一些人感的对对其实还是好的是这个里面人之心歪了哈哈哈哈
然后其实我还有很多别的喷题才是点就是刚才那个吃意就是我刚刚说了很多点之后莫名其妙大家就只对着这一个东西反击就是比如说还有些我不太明白的是说
还有一个就是很魔争的就我觉得其实很多东西不一定能证明就并不知道证明的这个 paradigm 是不是对的比如你研究 worst caseaverage case 这个 paradigm 它到底有没有道理就是这点其实我
并不是特别确定 AI 的道理它是来自生活问题为什么人脸识别有道理因为人脸识别是对人脸识别 Worst case 这两者不都一样吗就是 Worst case, IWK 也是出于人类人类想知道人类想知道 IWK 人类想知道 Worst case 人类也想知道人脸识别我是觉得好像有些东西也许并不是能用理论严格定义的比如说真实数据的分布这个东西
大概是很难用理论刻画就可能在 Wordcase 下人脸识别都是男的人可能长得特别奇怪人就是 256x256 个随机的灵异像素你可能什么都识别不出来但真实世界就是有一些道理或者说就是
感觉很多问题可能他难以证明但是这件事情本身可能是证明了局限性就是人们可能应该去勇敢相信一些问题的结论要在这个基础上探索比如说真实数据的分布就是人脸的表情是可以预测 Omega 就是 2 对比如说 Omega 就是 2 但有很多数学上的一些简单背后提示错的但是他有的反应还不简单
包括有个什么 Muhann 做的什么东西我忘了这个什么东西反正是到 10 的 300 多次方才有一个反例 10 的 300 多次方就 10 的后面就一后面 300 多个 0 你看见这么大的数还有反例那里一个不证明的一站就很容易就强行强行对的那是假的我们就错了对吧
嗯对啊但错了就错了呗就是你偶尔错一点像你说的我们没必要是真名但是我们就相信一个错误的东西这样子就是在他证伪之前你可以去选择去相信我觉得这样你会拥有更强的表达能力这个心态不就是啊我还不知道他是错的我就相信他是对的我觉得你们一个比较违心主义一个比较违误主义也不能说违心主义就不好但是有点像是
我还不知道今天考的怎么样我相信我考了 100 分我不知道我不知道对但这个可能是理论学科本质不同的地方但我可以先剖开这个不谈还有另一个我很不理解的点是我觉得 TCS 的人很多时候你会觉得你自己做的问题是本质的你会觉得你关注的这些东西是在发现世界的真相
我想说一句啊就是我觉得并不是所有人他做一个事情或者做科研他都一定像你一样就觉得这个事情他非常重要
非常重要非常本质能够改变世界极其的那个什么我觉得已经有人说过就是他做科研就是为了自己开心没问题没问题我们应该去旷的上半天开心其实打游戏也很开心所以其实对啊你想
从主观意愿上这个做理论制作机让这个 M 老师获得了幸福对吧他都说了你不能说但这就是没有意义我对着他相信多米亚肯定也可以带来快乐对我很相信这一点就只是对于这个学科本身我会就是我会有时候会怀疑就是你
你会不会觉得就是我不知道我现在回去看我做这个专辑的时候很多时候当你没有彻底解决一个问题这个问题就很难就没有办法彻底解决就你会觉得你好像并没有在接触到这个世界的真相只在那里徒劳武功的进行一些挣扎就是最后的结果好像也并没有什么
特别真理的感觉如果你只是把一个棒子比如说往前推了一点或者把别人的一个呃缝合怪再缝了一点东西之类的就好像投降主义者什么投降主义者哦你看你说我们多的按你说 ai 就你的意思是说 ai 可能就不一样对吧你的意思是 ai 难道就
比如说我昨天不能生成出一张好人脸我今天生成出一张好人脸你再认为这种东西可能就更有意义你为这个挣扎可能就更有意义我在觉得 AI 里面很多时候你在你觉得自己的直觉在变好或者你在接近世界的真相就比如说你发现一个现象你可能会提出若安哥可能的假设去解释它
然后最后你进行一些实验你发现某个假设是对的你会觉得你对世界的技术把握的更好了一点比如说你的实验链没生成好可能是原因 A 可能是原因 B 可能是原因 C 然后你做一些实验来区分这些原因那你觉得这个和理论相比因为理论其实我知道一个问题的答案这也是接近了某种真相那这两个相比你认为是哪种原因导致你认为这个就更好一点
首先一方面就是 AI 是建构在真实世界上所以我感觉它你会觉得你有更多的真实世界的直觉然后理论的话我觉得如果你只把一个棒子往前推一点的话感觉它好像也没有带来什么但是 AI 和 E3 那也是我能够复制的
人念这东西如果没有人就没有人念实际上它两个意义其实都是人不理的那你说到底你知道为什么我们觉得理一无非就是人觉得他有意义嘛你那说这个理那离慢太长或者是
我不知道你们还讲哥德巴赫才讲这个其实你能一个很小他也是人那个人你要比较这样的话其实都是人那个人对吧人念这东西没有人就没有人念对啊说的好啊我觉得意义一方面你可以用这个客观的 impact 来衡量他那就是他多大程度上改变了人类的生活但是我觉得人的主观想法在其中也是起到一定作用的对不对比如说你会觉得自己做这件事情呃
但是你会觉得自己做另一件事情你就没有那么开心对吧然后我觉得人的主观意愿集合起来它也是可以对现实造成影响的
没有人的话这两者其实都没有一没有人的话这两者其实都像这个宇宙这么大我们就是一个岩石上的一对猴子对吧两个岩石那么小两个其实都没有啥都是我们人类附近的一面就是我不知道可能是我的问题吧我会觉得理论的结果大多数时候不 surprising 就是我之前说的就理论卷积的结果无法让你感到刺激我觉得对于大部分人很多事他不会觉得就是或者说
或者说你对人取平均的话他们不觉得这个结果是让人觉得非常惊讶的 AI 就是有 AI 有很多结果有的东西其实也不舍得发现比如说我们人人几千年天的古人不也可以看人脸吗不也认识人吗我们这个东西我们只是证明了 OK
我们现在可以做个规矩生物,可以做探测生物所做的事情难道它就真的那么受怕?你只是有举了一个例子,但它真的有很多 surprising 的例子比如拆 GBT,就这种东西难道不愿意让它很惊喜?难道不愿意让它很惊喜?但是我们人会说话,它也会说话可能围棋这个是受怕的一种解释因为直接生活能够没探测到的,对吧?是的,但至少...但是很多东西它也不受怕的
但我觉得它至少有很多 surprising 的部分或者说可能这也是一个主观判断但是你真的会觉得 TCS 里面有什么 surprising 的结果就比如说感觉很多结果都不够 surprising 也有 surprising 的东西比如比如
没想过
我以前搞藏网经纪的时候从来没听过他会被打败我从来都是奉为归联这个东西肯定是最好的结果没想到最近竟然有人做得比他好了或者说我觉得因为我觉得你看排个师才能甘孙时初出就是 NLG 的排斥的我觉得 surprising 不是 TCS 的意思
里面的一个就是我觉得结果让人觉得惊奇是我以为的或者说科学里面应当有的一个估值函数就是你应该按照一个工作的结果是让你觉得惊奇来定义就是这个工作好不好就是感觉或者说不知道但 TCS 里面我感觉很多时候就是大家更关心它的技术是否新颖或者说技术是否聪明而不是它的结果
有没有发现什么真相这些可能是我个人的败绝我总感觉听中肯定已经无聊了无所谓我说了自己开心会想听的听中肯定会想听的我们进入第三部后这就是音乐环节终于来到了这个第三环节那就是钟向老师的绝对音感测试我们来到了隔壁的琴房有
其他嘉宾来随机在钢琴上按键然后由他来说出是什么音好 现在开始首先 FGFG 花叫咪叫西说可以讲西 OK 这样两个音
降 A 和 FB 和降 A 把这边降到 7 和 A 再一下
应该是 F 和 F#你刚才说这个是什么?像 B 和 D 吗?像 B 和 D 吗?像 B 和 D 吗?像 B 和 D,像 B 和 D 三个零,我会弹一个,要么弹一个和弦,你告诉我什么和弦啊,简单一点,不喜欢这个 Fm,Fm
D 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃 呃
我觉得应该是 Eb Gb G 和 C 对吗对对对没错吧剩下四个已经生发了你说 DbGb 就是生发了这个 OK 你看不按升起来的 OKOK 这个我想听过之后觉得有点难因为它那个弯弯抖一下吧因为你就不适当和弦你知道吗哇塞什么东西你知道也就
這個應該是...是這個就好反正還是這樣
我觉得应该是 C 然后 D 往上往上三个半一个 classe 就是 D D sharp B 好吧 我们把那个 Aflat 听成 D D sharp 就听出有五个人对好有五个人你都说不出来了你再来一次
这应该就是那个来着 CCC#M59 吧对 M69
好厉害你要来吗啊 这什么按键不是你还听吗啊 就这么难听我还给大象按键了这底下是 check 底下是干什么的踏板啊踏板是怎么用的 演音哇 这么厉害没事 不太重要我也不太会 check 怎么办我还按键了 我大象来回答
或者你可以把几个键分别弹出来他就知道对不对你再来一次你这比我还不留情面呢几个音啊三个你给他弄一个
哦我们听出来是一个 a 和一个 b 的降降息然后呃舒威尔一个 e 对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对对
你之前是一个区间我能听我能听我这个音 class 我是能听的你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按一下你再按
我这么厉害都会签还是哎那签一个就会了我把签签掉一个行不行这什么风铁大赛这个这个今天少了一个一个三个一个少了一个哎哎我刚好直接所有音阶少一个这个好听吗我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我我
你多按一下多按一下啊 算了 太大菜了唱的大菜了这个不太好看 Fantastic 啊 F 了没有 F stop
啊有没有 F 上哦我觉得没有 F 我听不到 F 上如果是白键少一个很好听吗我先告诉你我先告诉你是不是所有白键少了一个再多一点啊再一点再一点
没有 A 吧?没有 D 我给两个和弦第一个第二个什么词典?这个音量啊?我可能没按得好这个音量不就是一个 C 吗?
我靠什么啊我听不太清这个太伟哥 C 的反应啊是有个 C 的哦我听不到这个 F#我没听到那个 F#我们弹一曲作为结束吧
嗯
嗯
今天播客就到这里结束谢谢大家谢谢