乔源的目的很纯粹，欧洲同行的目的同样很纯粹。
焦点还在于数学路线。又或者说，谁代表着最先进的数学思想。
这也让许多人只感觉压力山大。这其中当然包括了被所有欧洲人寄予厚望的彼得·舒尔茨。
能力越大，责任越大，在哪里都成立。但这并不单纯因为能力问题，而是当人展现出能力后，已经享受了旁人根本无法享受的资源。
显然彼得·舒尔茨也逃不过这样的宿命。
用一句网上的名言就是命运所馈赠的一切，早已经在暗中标注好了价格。
之前已经享受了几乎所有荣光和资源，如果这个时候不能挺身而出，大概率会遭到反噬。只能说人在江湖，从来都是身不由己。
也正是为了这件已经被全球数学家集体关注的直播，已经半退休的米歇尔·拉波波特专门来到马普所跟他的爱徒见了一面。
走进彼得·舒尔茨的办公室里，米歇尔·拉波波特甚至都没有看一眼专门为他准备的咖啡，也没有太多的客气，刚坐在沙发上，便一脸期待地问道：“彼得，你们找到乔源那套理论的漏洞了吗？”
开门见山的提问换来的是苦笑：“教授，先不提华夏乔的理论是否有漏洞，就算真有哪可能那么快？”
这是句大实话。
将理论中的每个定理拆解成机器能理解的语言，本就是个大工程。
这一工程还需要人工去反复核准，保证翻译之后的每句话都是准确的。
但这还没完，计算机需要尽可能多的数据去跑，才可能去了解一个新的理论体系。
一个定理一个引理的去跑不但效率不高，还很难触发到软件本身的纠错机制，给出的结论自然也不可信。
只能说计算机不是魔法。
不管是AI辅助数学证明也好，彼得·舒尔茨一直在研究形式化验证也罢，其本质依然是一种数学编程语言。
在面对一种全新且成体系的理论时，首先得让数据库有足够的辅助构造和前置引理才可能去验证整套理论体系。
而这种工作量往往是按年计算的。
当然，如果团队里所有人每天都加班两小时，在放弃所有休假，一心扑在工作上，大概能提前些。
但众所周知，工作效率和工作时长往往不可兼得。
米歇尔·拉波波特其实也知道这些，更明白这就是科学的规律。
无非是乔源带给他们所有人的压力太
（本章节未完结，点击下一页翻页继续阅读）
正在加载...