第200章 你们的钱呢？(2/2)
「你好，我是来自纽约时代的记者，我想请问乔喻博士……」
「你好……」
一场记者招待会下来，乔喻只觉得头昏脑涨。
没办法，说是四位菲尔兹奖获得者都参加，但很明显一堆的记者都是冲着他来的。
除了少数有同情心的记者，也不知道是看到乔喻说的嘴快干了，还是看到其他三位菲尔兹奖获得者坐在台上太无聊。
又或者不想让本国的获得者显得太尴尬，问了其他三人几个不痛不痒的问题外，其他记者都冲着乔喻去的。
当然这也不能全怪记者们。
毕竟乔喻更有话题性。
历史上最年轻的菲尔兹奖获得者，又特别敢说，刚刚中午的时候又对许多记者出言不逊，此时正是乔喻热度最高的时候，大家都期盼着乔喻嘴里才说出些爆炸般的话题。
真的，现在Tik Tok上乔喻中午说他绑架了一个外星人的那段视频都已经快被传疯了！热度高到爆表！
被观看最多的视频，已经播放了500多万次。相关视频已经累计播放了两千多万次。
这种夸张的言辞正常人肯定是不相信的！但架不住只要网友的基数够大，就肯定不全是正常人！
是的，郑希文担心的没错，还真有很多人相信了，已经有人开始在网上号召大家一起行动起来，从邪恶的华夏人手中营救外星人……
甚至还已经发起了募捐，离谱的是，还真有人捐赠。根据募捐网站上显示，短短一个下午，这个活动已经募捐到了23美元。
真的，当乔喻从记者口中听到这个消息的时候都惊呆了，而更惊讶的是，记者竟然还问他怎麽看待这个问题。
于是当即就直接很诧异的回了一连串的反问。
「不可能吧？西方人民现在都这麽贫穷了吗？一个下午相关视频播放量突破两千万次了，一个营救生命的募捐竟然才募集到300多美元？这太让人失望了！自由价值观呢？博爱精神呢？钱呢？」
真的，当时乔喻这番话说出口时，坐在他左边的杰克·索恩下意识的垂下头耸肩，右边的亚历克斯则茫然的扭头看向乔喻……
站在下方的郑希文则分外无语的抬起头看向天花板。看吧，他就知道，小孩子不听话这种事，光念叨两句是没用的，还是得揍……
但话又说回来，这种喜欢语出惊人的家伙恰好又是记者最喜欢的那种类型。
也就是现场维护秩序的主持人也听不下去，主动拿起了话筒。
先是恭维现场的记者都是专业记者，然后直接要求现场记者多问些与学术研究相关的专业性问题，而不是一些没有脑子的问题，后面的招待会才得以顺利进行。
起码直到记者招待会结束，没人再提关于外星人这种问题……
……
「乔，很抱歉，你知道的，这些记者就是喜欢追逐那些乱七八糟的热点。」
记者招待会终于结束之后，杰克·索恩主动拉着乔喻说道。
「哈哈，我知道，我就是跟大家开个玩笑。」乔喻不以为意的说道。
「你是直接去宴会厅吗？」
「嗯，时间还早，我打算先回房间一趟，换一套衣服。」乔喻答道。
为了今天领奖跟做报告，乔曦让乔喻穿了一套正装，这让习惯了穿运动服的乔喻感觉很别扭。
至于晚上的晚宴，乔喻觉得就没必要穿得那么正式了。嗯，起码得把那条让他感觉憋闷的领带给拿掉……
「好吧，刚刚彼得·舒尔茨让我跟你说一声，等会晚宴上他想跟你聊聊。」
「好的，等会晚宴上见。」
……
「弗兰克，你不去参加晚宴吗？」
「不，我感觉有些不舒服，可能是在飞机上感冒了。人多的场合我就不去了。」
「感冒了？好吧，那你好好休息，不要耽误了后天的报告会。你知道的，这很重要。」
「放心吧，不会的！卢卡斯！」
……
乔喻换好了衣服，刚下电梯便看到了彼得·舒尔茨。
「咦？舒尔茨教授，我还以为你已经到宴会厅了。」
「杰克打电话给我，说你要回趟房间，我就正好在这里等你了。」
「有什麽事吗？正好边走边说。」乔喻扭头看了眼身边的郑希文，老郑乾脆放慢了脚步。
彼得·舒尔茨开口问道：「还记得之前你问我最近在做什麽吗？」
乔喻点了点头，说道：「当然记得你跟微软的lean社区合作，参与液态张量实验，希望能将数学定理形式化，并使用Lean对其进行验证。」
彼得·舒尔茨热切的说道：「所以你是否对这个项目感兴趣？你知道的，如果能用一个统一的语言来对数学进行描述，这将大大提升定理证明器的工作效率。
在这方面，广义模态公理体系的潜力巨大。事实上不止是我，达斯汀·克劳森对你的研究也非常感兴趣。
但现在我们缺少对你的广义模态公理体系足够了解的人。毫无疑问你是最适合的。相信我，这是一项很有意义的工作。
如果我们能成功的话，将复杂的数学定理形式化，未来我们将能使用电脑去验证许多复杂的数学定理，大大减轻未来数学的研究工作。」
乔喻有些犹豫。
说实话，他对这个项目的确有些兴趣的。因为他对人工智慧很感兴趣。
虽然lean的本质是一个交互式定理证明器和函数式程式语言，其核心并不是人工智慧。
但对于乔喻来说，如果能够参与这项工作，乔喻觉得可以尝试将这项工作跟人工智慧结合，开发出专用的智能定理辅助证明工具来。
这其中最有价值的就是这个项目本身跟彼得·舒尔茨这麽多年的积累跟研究。
犹豫自然还是因为乔喻那为数不多的道德感在作祟。
主要是彼得·舒尔茨现在已经很熟悉了，而且之前也算是帮过他不少，不太好意思直接黑。
如果是跟昨天早上那批人一样的关系，乔喻可以毫不犹豫的答应下来，先把之前的研究资料要到手再说。
说不定未来他还能比微软先拥有能够辅助数学家证明验证各种定理的技术，甚至说不定还能更进一步。
但这种事太熟了真就不好下手……
所以犹豫一会后，还是忍痛说道：「彼得，你知道的，我接下来的工作很多。真不一定抽得出时间来做这件事情。」
「没事，我已经跟达斯汀·克劳森商量过了，你可以在华夏跟我们合作。我们遇到问题了，可以随时用会议软体沟通。」
彼得·舒尔茨热情的说道。
「额……这样好吗？毕竟你们的研究难道就直接远程发给我？」乔喻眨了眨眼问道。
彼得·舒尔茨诧异的问道：「为什麽你会觉得这样不好？lean本就是个开源社区。」
乔喻答道：「但据我所知，特定项目的具体细节性研究并不是开源的。我找过你的研究，并没有详细的资料公布出来。
而且这在未来可能涉及到一些标准的定义。你可能还不知道，我也打算开一家公司，」
「哈哈，乔，不要在意这些细节。事实上我们的研究并不会涉及到太多专利方面的东西。
当然，如果研究过程中，真的发现了具备实际应用价值的专利，我也觉得也是可以谈的。」
彼得·舒尔茨大笑着解释道。
乔喻眨了眨眼，有些不敢相信，微软这麽大方的？！