第112章 高考状元（5 / 12）
邮件中间有一句很直接。
we would be glad to have you give a seminar on the proof architecture itself — in particular， how local forcing and finite-state verification were made to carry a human-readable proof.
（我们很乐意邀请您就证明架构本身举办一次研討会——特別是，局部强迫和有限状態核验是如何被用来支撑起一个人类可读的证明的。）
如果只是这一句，看起来还像是一次高规格的普通学术邀请。
但下面那一段，让江临的手指在滑鼠上停顿了几秒。
we would also be interested in continuing the discussion after the seidental， and which parts may be turned into a reusable method.
（如果您愿意，我们也有兴趣在研討会之后继续討论。我们中的几位认为，您证明的架构在单密铺问题之外可能大有用武之地，我们想弄清楚其中哪些部分是偶然的，哪些部分可以转化为一种可復用的普適方法。）
普林斯顿不仅看到了结论，更看到了江临打造的这套工具。
他们想要剥离出这套工具，去攻击其他更古老的数学堡垒。
第二封，来自剑桥大学数学系。
这封信的语气，更像是一封从中世纪古老学术共同体里递出来的密函。
它几乎没有提及江氏砖的辉煌，通篇谈论的，全是这块砖落地之后，自然而然生长出来的那片未知的荒原。
非周期秩序，最小复杂度，有序与无序之间那条模糊的物理与数学边界。
信里用极其严谨的学术语言，把一串当前数学界还没人能解开的衍生问题一条条列出来，仿佛在和一个多年的老友探討下一步的战术。
然后，对方问他。
among these directions，which do you believe contains the central obstruction?
（在这些方向中，您认为哪一个隱藏著真正的核心障碍？）
如果只问到这里，也还像是一次礼貌性的高水平的学术交流。
但信的末尾，就有些曖昧了。
if you have a view on this，we would be interested in arranging a small working discussion around it， not as a presentation of a finished result， but as a way to identify what the next serious problem should be.
（如果您对此有见解，我们很希望能围绕它安排一次小型的內部工作討论。这不是为了展示已完成的成果，而是为了共同確定下一个真正严肃的数学问题应该是什么。）
第三封，来自巴黎高等师范学院。
这是布尔巴基学派的圣地，纯粹数学的神殿。
这封信用一种近乎苛刻的平静说，他们注意到江临的那条证明链里，组合学、结构拓扑与计算机核验三者的分离方式，清晰得令人髮指，这是一种极其罕见的，充满法式美感的数学直觉。
然后，是让江临读了两遍的一段话。
we are aware that you have not yet entered any university. in mathematics， this is not the question by which serious work is judged. should you wish， at any point， to work in a serious mathematical environment， the door is open.
（我们知晓您尚未进入任何大学就读，但在数学领域，这从来就不是一个重要的问题。只要您愿意，在任何时候，如果想在一个真正严肃的数学环境中工作，我们的大门永远向您敞开。）
江临的手指停在触控板上，许久没有往下滑。
普林斯顿在问证明架构，他们想要他的武器。
剑桥在问下一处真正障碍，他们想要他的视野。 ↑返回顶部↑
we would be glad to have you give a seminar on the proof architecture itself — in particular， how local forcing and finite-state verification were made to carry a human-readable proof.
（我们很乐意邀请您就证明架构本身举办一次研討会——特別是，局部强迫和有限状態核验是如何被用来支撑起一个人类可读的证明的。）
如果只是这一句，看起来还像是一次高规格的普通学术邀请。
但下面那一段，让江临的手指在滑鼠上停顿了几秒。
we would also be interested in continuing the discussion after the seidental， and which parts may be turned into a reusable method.
（如果您愿意，我们也有兴趣在研討会之后继续討论。我们中的几位认为，您证明的架构在单密铺问题之外可能大有用武之地，我们想弄清楚其中哪些部分是偶然的，哪些部分可以转化为一种可復用的普適方法。）
普林斯顿不仅看到了结论，更看到了江临打造的这套工具。
他们想要剥离出这套工具，去攻击其他更古老的数学堡垒。
第二封，来自剑桥大学数学系。
这封信的语气，更像是一封从中世纪古老学术共同体里递出来的密函。
它几乎没有提及江氏砖的辉煌，通篇谈论的，全是这块砖落地之后，自然而然生长出来的那片未知的荒原。
非周期秩序，最小复杂度，有序与无序之间那条模糊的物理与数学边界。
信里用极其严谨的学术语言，把一串当前数学界还没人能解开的衍生问题一条条列出来，仿佛在和一个多年的老友探討下一步的战术。
然后，对方问他。
among these directions，which do you believe contains the central obstruction?
（在这些方向中，您认为哪一个隱藏著真正的核心障碍？）
如果只问到这里，也还像是一次礼貌性的高水平的学术交流。
但信的末尾，就有些曖昧了。
if you have a view on this，we would be interested in arranging a small working discussion around it， not as a presentation of a finished result， but as a way to identify what the next serious problem should be.
（如果您对此有见解，我们很希望能围绕它安排一次小型的內部工作討论。这不是为了展示已完成的成果，而是为了共同確定下一个真正严肃的数学问题应该是什么。）
第三封，来自巴黎高等师范学院。
这是布尔巴基学派的圣地，纯粹数学的神殿。
这封信用一种近乎苛刻的平静说，他们注意到江临的那条证明链里，组合学、结构拓扑与计算机核验三者的分离方式，清晰得令人髮指，这是一种极其罕见的，充满法式美感的数学直觉。
然后，是让江临读了两遍的一段话。
we are aware that you have not yet entered any university. in mathematics， this is not the question by which serious work is judged. should you wish， at any point， to work in a serious mathematical environment， the door is open.
（我们知晓您尚未进入任何大学就读，但在数学领域，这从来就不是一个重要的问题。只要您愿意，在任何时候，如果想在一个真正严肃的数学环境中工作，我们的大门永远向您敞开。）
江临的手指停在触控板上，许久没有往下滑。
普林斯顿在问证明架构，他们想要他的武器。
剑桥在问下一处真正障碍，他们想要他的视野。 ↑返回顶部↑