ช่วงบ่ายยังคงเป็นสถานที่จัดงานเดิม ยังคงเป็นภาพผู้คนหลายพันคนนั่งกันจนเต็มทุกที่นั่ง และบนเวทียังคงเป็นเฉียวอวี้
ช่วงบ่ายวันแรกของการประชุมนักคณิตศาสตร์นานาชาติมีการบรรยายหลักความยาวหกสิบนาทีสองรอบ โดยให้เฉียวอวี้เป็นผู้บรรยายเปิด
ผู้ได้รับรางวัลเหรียญฟิลด์สที่อายุน้อยที่สุด และแก้ปัญหาท้าทายระดับโลกอย่างสมมติฐานของรีมันน์ได้ นอกเหนือจากอายุที่น้อยเกินไปและยังเรียนอยู่ระดับปริญญาตรีแล้ว อย่างอื่นก็ไม่มีที่ติเลย
อีกทั้งเรื่องนี้ก็ไม่เป็นปัญหาสำหรับผู้ดำเนินรายการ
คำว่า "ดร.เฉียวอวี้" ประโยคเดียว ช่วยแก้ปัญหาชวนปวดหัวที่พวกนักข่าวติดใจไปได้โดยตรง อันที่จริงก่อนหน้านี้ที่พรินซ์ตันก็ทำแบบนี้เหมือนกัน
ตอนที่แฟรงก์มาถึงสถานที่จัดงาน เขาสังเกตเห็นอย่างเฉียบแหลมว่าผู้คนมากมายรอบตัวต่างพากันพกสมุดโน้ตมาโดยเฉพาะ
จากจุดนี้ก็พอจะมองออกแล้วว่าระบบสัจพจน์โมดัลทั่วไปของเฉียวอวี้กำลังเป็นที่นิยมในแวดวงคณิตศาสตร์มากแค่ไหน
แน่นอนว่าอันที่จริงก็ยังดูออกได้จากท่าทีร้อนรนของเดนนิสที่อยากจะร่วมมือกับเฉียวอวี้อีกครั้งด้วย
ราวกับว่าตอนนี้พอหลุดพ้นจากระบบสัจพจน์โมดัลทั่วไปของเฉียวอวี้แล้ว ปัญหาทางคณิตศาสตร์ก็ไม่สามารถดำเนินการวิจัยต่อไปได้ยังไงยังงั้น คนพวกนี้ลืมไปแล้วหรือไงว่าก่อนที่ทฤษฎีชุดนี้จะถือกำเนิดขึ้นมา ทุกคนทำงานวิจัยกันแบบไหน
ล้วนแต่เป็นพวกที่ชอบฉวยโอกาสทั้งนั้น อะไรกำลังฮิตในช่วงนี้ก็อยากจะไปทำวิจัยเรื่องนั้น ชาตินี้คงไม่มีวันได้ดีหรอก
แฟรงก์นึกดูถูกคนเหล่านี้อยู่ในใจเงียบๆ จากนั้นรอจนกระทั่งเฉียวอวี้ปรากฏตัวบนแท่นประธาน เขาก็หยิบเครื่องบันทึกเสียงของตัวเองออกมา
ไม่ว่าจะพูดอย่างไร ระดับชั้นของเขากับคนพวกนี้ก็แตกต่างกัน ท้ายที่สุดเขาก็เป็นพ่อของชายหนุ่มบนแท่นประธานคนนั้น...
ในแง่ของสายเลือด นี่คือสิ่งที่เปลี่ยนแปลงไม่ได้!
ในเวลาเดียวกัน เฉียวอวี้ก็นั่งอยู่บนแท่นประธานเรียบร้อยแล้ว และเปิด PPT ที่เขาเตรียมไว้ล่วงหน้า
เนื้อหาที่เขาจะพูดในการประชุมสัมมนาวันนี้คือ "การพัฒนาระบบสัจพจน์โมดัลทั่วไปในยุคของทฤษฎีบทเฉียวอวี้-รีมันน์"
นี่คือหัวข้อที่ถูกแก้ไขแล้ว เดิมทีเขาอยากจะพูดแค่เรื่องพัฒนาการทางคณิตศาสตร์ในยุคหลังระบบสัจพจน์โมดัลทั่วไปเท่านั้น
แต่ในเมื่อทุกคนต่างหวังให้มีเนื้อหาเกี่ยวกับทฤษฎีบทรีมันน์ติดมาด้วย เฉียวอวี้ก็ย่อมเลือกที่จะโอนอ่อนผ่อนตามอย่างเป็นธรรมชาติ
เอาเถอะ อันที่จริงถ้าจะเอาตามความคิดของเฉียวอวี้ล่ะก็ ถ้าสามารถรับรางวัลแล้วชิ่งหนีไปเลยได้ นั่นสิถึงจะเพอร์เฟกต์ที่สุด
อย่างไรเสียเขาก็ได้รางวัลเหรียญฟิลด์สมาแล้ว จะขึ้นบรรยายหรือไม่ก็ไม่สำคัญอีกต่อไป
น่าเสียดายที่ทำไม่ได้ ความคิดนี้แม้แต่หยวนเหล่าที่ปกติตามใจเขาที่สุดยังไม่สนับสนุน นั่นก็หมายความว่ามันย่อมไม่สมเหตุสมผลอย่างแน่นอน
"สวัสดีอาจารย์และเพื่อนๆ ผู้ทรงเกียรติทุกท่านครับ เป็นเกียรติอย่างยิ่งที่ได้มาทำการบรรยายเปิดในการประชุมนักคณิตศาสตร์นานาชาติครั้งนี้ วันนี้พวกเรามารวมตัวกัน ณ ที่แห่งนี้ เพื่อร่วมกันสำรวจขอบเขตอันไร้ที่สิ้นสุดของคณิตศาสตร์
สิ่งที่ผมอยากแบ่งปันกับทุกท่านก็คือหัวข้อที่ส่งผลกระทบอย่างลึกซึ้งต่อคณิตศาสตร์สมัยใหม่ 'การพัฒนาระบบสัจพจน์โมดัลทั่วไปในยุคของทฤษฎีบทเฉียวอวี้-รีมันน์' ครับ
การบรรยายในวันนี้จะพยายามตอบปัญหาสำคัญข้อหนึ่ง ภายใต้แรงบันดาลใจจากทฤษฎีบทเฉียวอวี้-รีมันน์ ระบบสัจพจน์โมดัลทั่วไปจะเป็นตัวนำพาทฤษฎีทางคณิตศาสตร์ไปสู่อนาคตที่ครอบคลุมและลึกซึ้งยิ่งขึ้นได้อย่างไร..."
...
แม้เวลาหกสิบนาทีจะถือเป็นการประชุมสัมมนาระดับแนวหน้าแล้ว แต่พูดตามตรงนะ สำหรับระบบคณิตศาสตร์ที่ซับซ้อนเช่นนี้ การจะพูดให้อธิบายจนกระจ่างนั้นก็ยังนับว่ายากทีเดียว
ทว่าเฉียวอวี้ก็ไม่ได้อธิบายลงลึกในรายละเอียด
ท้ายที่สุดแล้วหัวข้อนี้ก็กว้างมาก อันที่จริงหัวข้ออะไรก็ตามที่เป็นการคาดการณ์พัฒนาการในอนาคตล้วนแล้วแต่กว้างทั้งสิ้น
ไม่นานการบรรยายครั้งนี้ก็ดำเนินมาถึงช่วงท้าย เฉียวอวี้ยังได้โยนสมมติฐานต่อเนื่องสามข้อที่เขาตั้งขึ้นในยุคทฤษฎีบทเฉียวอวี้-รีมันน์ให้แก่ทุกคนในที่เกิดเหตุอีกด้วย
หลังบรรยายจบ เฉียวอวี้ก็พบว่ายังเหลือเวลาอีกสองนาที ก่อนที่เสียงปรบมือจะดังขึ้น เฉียวอวี้ก็เสริมเนื้อหาอีกท่อนหนึ่งที่ก่อนหน้านี้ไม่ได้พูดคุยกับคณะกรรมการโครงสร้างออกไป
อืม อย่างไรเสียศิษย์พี่เฉินก็ไม่ได้มีความสนใจอะไรกับการมีชื่อเป็นผู้เขียนในวิทยานิพนธ์ที่เกี่ยวข้องกับการพิสูจน์สมมติฐานของรีมันน์อีกวิธีหนึ่งอยู่แล้ว เขาจึงถือโอกาสประกาศออกมาเลยก็แล้วกัน
"นอกจากนี้ อันที่จริงผมกับทีมงานก็คอยพิจารณาการใช้สองวิธีในการพิสูจน์สมมติฐานของรีมันน์มาโดยตลอด กระบวนการพิสูจน์ในวิธีแรกได้รับการยอมรับจากทุกคนแล้ว และทุกคนต่างก็เข้าใจกันอย่างชัดเจนแล้วครับ
ส่วนวิธีที่สองนั้น หลักๆ แล้วคือการใช้ประโยชน์จากฟังก์ชันพลังงานโมดอลมาสร้างความสมมูลกันระหว่างการกระจายสเปกตรัมของฟังก์ชันซีตาของรีมันน์ ในสาระสำคัญแล้วฟังก์ชันพลังงานโมดอลคือฟังก์ชันนัลที่ใช้วัดสถานะของระบบ ซึ่งทีมงานของผมกำลังพยายามประยุกต์ใช้มันขยายไปสู่โครงสร้างจุดศูนย์ของฟังก์ชันซีตาของรีมันน์ครับ
เนื่องจากวิธีนี้จำเป็นต้องอาศัยกระบวนการปรับปรุงค่าเหมาะที่สุดของฟังก์ชันนัลพลังงาน ปริมาณการคำนวณจึงจะเยอะกว่าอยู่บ้าง ด้วยเหตุนี้สิ่งที่จำเป็นต้องตรวจสอบก็ยิ่งเยอะขึ้น แต่ข่าวดีก็คือ ศาสตราจารย์เฉินจัวหยางที่รับผิดชอบงานตรวจสอบได้ตรวจสอบจนได้ผลลัพธ์ในเบื้องต้นออกมาแล้วครับ
นั่นคือภายใต้เงื่อนไขขอบเขตที่กำหนด วิธีที่สองนี้สามารถดึงจุดศูนย์ที่เบี่ยงเบนออกนอกเส้นทางทั้งหมดกลับมาได้ผ่านการปรับปรุง จึงเป็นการพิสูจน์สมมติฐานของรีมันน์ได้โดยอ้อม คาดว่าวิทยานิพนธ์ที่เกี่ยวข้องจะตีพิมพ์อย่างเป็นทางการภายในปีนี้ครับ
เชื่อว่าหลังจากที่งานวิจัยฉบับนี้ตีพิมพ์อย่างเป็นทางการแล้ว จะทำให้ทุกคนมีความเข้าใจต่อระบบสัจพจน์โมดัลทั่วไปของพวกเราได้อย่างลึกซึ้งยิ่งขึ้นครับ เพราะสายโซ่ตรรกะในกระบวนการพิสูจน์นั้นมีความชัดเจนกว่า ซึ่งช่วยสนับสนุนการขยายอิทธิพลของทฤษฎีบทเฉียวอวี้-รีมันน์ไปสู่นอกเหนือจากทฤษฎีจำนวนครับ
ดังที่ผมเพิ่งพูดไปเมื่อสักครู่นี้ครับว่า ความงดงามของคณิตศาสตร์นั้นอยู่ตรงที่มันเป็นเส้นทางการเดินทางที่ไม่มีวันสิ้นสุด สุดท้ายนี้ขอขอบคุณทุกท่านอีกครั้ง หวังว่าการอภิปรายในครั้งนี้จะสามารถมอบแรงบันดาลใจบางอย่างให้กับงานวิจัยของทุกท่านได้นะครับ"
พูดจริงๆ นะ ตอนนี้หลายคนด้านล่างเวทีเตรียมจะปรบมือกันอยู่แล้ว ผลคือกลับต้องชะงักไปเพราะคำพูดท่อนสุดท้ายนี้ของเฉียวอวี้
ใช้สองวิธีพิสูจน์สมมติฐานของรีมันน์มาโดยตลอดเลยงั้นเหรอ?
อีกวิธีหนึ่งเป็นเพราะมันยุ่งยากเกินไปก็เลยต้องตีพิมพ์ช้าหน่อย? แถมยังจะตีพิมพ์ได้ภายในปีนี้ด้วย?
ให้ตายเถอะ กำหนดวิธีพิสูจน์สมมติฐานของรีมันน์ไว้ถึงสองวิธีตั้งแต่เริ่มแรกเลยเหรอ?
จนถึงขนาดที่เฉินจัวหยางที่อยู่ด้านล่างเวทีกลายเป็นสัตว์หายากไปแล้ว พูดจริงๆ นะ ตอนที่เฉียวอวี้เอ่ยคำพูดเหล่านี้ออกมาบนเวที เถียนเหยียนเจินถึงกับหันหน้าไปมองทางฝั่งที่เฉินจัวหยางนั่งอยู่ด้วยจิตใต้สำนึกเลยทีเดียว
"เฉิน พวกคุณตัดสินใจว่าจะใช้สองวิธีพิสูจน์สมมติฐานของรีมันน์มาตั้งแต่ก่อนหน้านี้ตั้งนานแล้วจริงๆ เหรอ?"
"อืม... ฉันรู้แค่ในส่วนที่ฉันต้องตรวจสอบน่ะ อย่างที่คุณรู้ วิธีการที่เป็นรูปธรรมล้วนมาจากเฉียวอวี้ทั้งนั้น เห็นได้ชัดว่ากระบวนการตรวจสอบในส่วนของฉันยังคงต้องใช้เวลาอีกสักพัก..."
"คุณเคยคิดที่จะเปลี่ยนสภาพแวดล้อมบ้างไหม? เฉิน"
"เอ่อ... เรื่องนี้ไม่เคยคิดเลยจริงๆ ครับ อันที่จริงผมคิดว่าชีวิตตอนนี้ก็ดีมากอยู่แล้ว"
วินาทีนี้เฉินจัวหยางรู้สึกปลาบปลื้มจนแทบทำตัวไม่ถูกแล้วจริงๆ โชคดีที่เฉินจัวหยางมักจะรู้สึกเสมอว่าข้อได้เปรียบที่ยิ่งใหญ่ที่สุดของเขาก็คือการรู้ตัวดี อย่างน้อยเขาก็รู้ตัวเองชัดเจนว่าไม่ใช่ผู้คงแก่เรียนสายนักวิจัยอัจฉริยะแบบเฉียวอวี้
นี่จึงเป็นเหตุผลที่ทำไมเขาถึงไม่ยอมมีชื่อเป็นผู้เขียนคนแรกไม่ว่าจะเกิดอะไรขึ้นก็ตาม แค่ตามซดน้ำซุปอยู่ข้างหลังศิษย์น้องก็อิ่มหนำสำราญได้แล้ว ส่วนเรื่องจะให้ไปฉายเดี่ยวนั้น เขาทำไม่ไหวจริงๆ
หลังจากความตื่นตะลึงช่วงสั้นๆ ในที่สุดเหล่านักคณิตศาสตร์ด้านล่างเวทีก็เริ่มตั้งสติได้ และเมื่อเฉียวอวี้เดินลงจากเวที เสียงปรบมือที่ดังกระหึ่มประดุจคลื่นกระแสน้ำก็ดังขึ้นมาในที่สุด
...
หลังจบการประชุมสัมมนาทั้งสองรอบในช่วงบ่าย การประชุมในวันแรกก็ถือเป็นอันสิ้นสุดลง ทว่าไฮไลต์สำคัญของวันแรกยังคงอยู่ที่งานเลี้ยงอาหารค่ำสำหรับนักคณิตศาสตร์ในช่วงเย็น
สำหรับนักคณิตศาสตร์จากประเทศโลกที่สามจำนวนมากแล้ว จุดประสงค์ของการดั้นด้นออกทุนทรัพย์ส่วนตัวเดินทางมาไกลแสนไกลเพื่อเข้าร่วมการประชุมในครั้งนี้ก็คือการมาหาผลประโยชน์จากงานเลี้ยงอาหารค่ำครั้งนี้นี่แหละ
ไม่ใช่ว่าอาหารในงานเลี้ยงอาหารค่ำจะเอร็ดอร่อยอะไรนักหนาหรอก หลักๆ เป็นเพราะงานเลี้ยงอาหารค่ำอย่างเป็นทางการของการประชุมนักคณิตศาสตร์นานาชาติที่จัดขึ้นทุกๆ สี่ปีนั้น เป็นโอกาสที่ดีที่สุดในการผูกมิตรกับเหล่ายักษ์ใหญ่แห่งวงการต่างหาก
การโอบกอดความฝันเดินทางมายังวิหารศักดิ์สิทธิ์แห่งคณิตศาสตร์ หากโครงการของพวกเขาหรือแม้แต่แนวคิดแค่เพียงอย่างเดียวถูกตาต้องใจยักษ์ใหญ่คนไหนเข้า นั่นก็ย่อมหมายถึงอนาคตที่สว่างไสวไร้ที่สิ้นสุด
แน่นอนว่าโอกาสเช่นนี้ริบหรี่มาก คนที่แบกรับสภาพจิตใจแบบนี้มาราวๆ 99.99% มักจะไม่มีโอกาสเช่นนี้
เพราะยังไงเสียนี่ไม่เพียงแค่ต้องการความสามารถเท่านั้น แต่ยิ่งต้องการโชคด้วย อย่างเช่นบังเอิญมียักษ์ใหญ่คนหนึ่งมีเวลาว่างพอดี แถมอารมณ์ยังดีอยู่ และเต็มใจที่จะใช้เวลาสักสองสามนาทีมาทนฟังแนวคิดที่เขาไม่ได้คาดหวังอะไรมากนัก
และประจวบเหมาะที่นักคณิตศาสตร์ท่านนี้ยังสามารถใช้เวลาเพียงไม่กี่นาทีขายแนวคิดของตัวเองออกไปได้
แต่จะพูดยังไงดีล่ะ ความฝันน่ะ คนเราย่อมต้องมีกันอยู่แล้ว ในกรณีที่มันกลายเป็นจริงขึ้นมาล่ะ?
เมื่อมองจากจุดนี้แล้วเฉียวอวี้โชคดีมาก ตั้งแต่เขาตัดสินใจก้าวเข้าสู่เส้นทางสายคณิตศาสตร์ เขาก็ไม่เคยประสบกับสถานการณ์เก่งแต่ไม่มีใครเห็นค่าแบบนี้เลยสักครั้ง
ทุกๆ ก้าวย่างล้วนมีคนช่วยปูทางเอาไว้ให้เขาเป็นอย่างดี เขาแค่ก้าวเดินไปตามขั้นตอนก็พอแล้ว
อีกทั้งดูเหมือนว่าตอนนี้เขาจะกลายเป็นยักษ์ใหญ่ไปเสียแล้ว
การที่มีคนแห่มาต่อคิวกันเป็นแถวแต่ก็ยังไม่ได้พบเขา นี่แหละคือหลักฐานที่ชัดเจน แน่นอนว่าเรื่องนี้ก็โทษเฉียวอวี้ไม่ได้จริงๆ
อย่างเช่นในฐานะผู้ได้รับรางวัลเหรียญฟิลด์สหมาดๆ งานเลี้ยงอาหารค่ำในวันนี้เขาจำเป็นจะต้องไปเข้าร่วม
อย่างไรก็ตามเรื่องราวมันไม่ได้มีแค่นั้น
การประชุมช่วงบ่ายสิ้นสุดลงตอนสี่โมงห้าสิบนาที เวลาหกโมงเย็นถึงสองทุ่มคือเวลางานเลี้ยงอาหารค่ำ คณะกรรมการจัดงานยังอุตส่าห์เจียดเวลาอันน้อยนิดตั้งแต่ห้าโมงเย็นถึงห้าโมงครึ่งมาจัดงานแถลงข่าวความยาวครึ่งชั่วโมงอีกด้วย
ทว่างานแถลงข่าวครั้งนี้ไม่ได้จัดขึ้นเพื่อมุ่งเป้าไปที่เฉียวอวี้โดยเฉพาะ แต่ผู้ได้รับรางวัลเหรียญฟิลด์สทั้งสี่คนในปีนี้จำเป็นจะต้องเข้าร่วม
หากหยิบยืมคำพูดของประธานสหภาพคณิตศาสตร์นานาชาติปิแอร์ แอล. ลียงมากล่าว ก็คือเพื่อหวังให้คนธรรมดาทั่วไปได้ทำความรู้จักกับนักคณิตศาสตร์ยอดเยี่ยมรุ่นใหม่ให้มากขึ้น
...
"สวัสดีครับ ผมเป็นนักข่าวจากสำนักข่าวฝรั่งเศส ผมอยากจะขอถามดร.เฉียวอวี้ว่า..."
"สวัสดีค่ะ ฉันเป็นนักข่าวจากนิวยอร์กไทมส์ ฉันอยากจะขอถามดร.เฉียวอวี้ว่า..."
"สวัสดีครับ..."
หลังจากผ่านงานแถลงข่าวมาได้ เฉียวอวี้ก็รู้สึกแค่ว่าหน้ามืดตาลายไปหมด
ช่วยไม่ได้นี่นา ปากก็บอกว่าผู้ได้รับรางวัลเหรียญฟิลด์สทั้งสี่คนล้วนเข้าร่วมด้วยกันทั้งสิ้น แต่เห็นได้ชัดว่าพวกนักข่าวแห่กันพุ่งเป้ามาที่เขากันหมด
ยกเว้นนักข่าวบางส่วนที่มีความเห็นอกเห็นใจ ซึ่งก็ไม่รู้ว่าเพราะเห็นเฉียวอวี้พูดจนปากแห้งแล้ว หรือเพราะเห็นว่าผู้ได้รับรางวัลเหรียญฟิลด์สอีกสามคนที่นั่งอยู่บนเวทีดูน่าเบื่อหน่ายเกินไป
หรืออาจจะไม่อยากให้ผู้ที่ได้รับรางวัลจากประเทศของตัวเองดูอึดอัดจนเกินไป เลยหันไปถามคำถามผิวเผินกับพวกเขาทั้งสามคนบ้าง แต่นอกจากนั้นนักข่าวคนอื่นๆ ต่างก็พุ่งเป้าไปที่เฉียวอวี้
แน่นอนว่าเรื่องนี้จะไปโทษพวกนักข่าวทั้งหมดก็ไม่ได้
ท้ายที่สุดเฉียวอวี้ก็มีประเด็นให้เป็นจุดสนใจได้มากกว่า
ผู้ได้รับรางวัลเหรียญฟิลด์สที่อายุน้อยที่สุดในประวัติศาสตร์ แถมยังกล้าพูดเป็นพิเศษ เมื่อตอนเที่ยงเพิ่งจะพูดจาไม่ดีใส่นักข่าวหลายคน ตอนนี้จึงเป็นช่วงเวลาที่กระแสความนิยมของเฉียวอวี้กำลังพุ่งขึ้นสูงสุด ทุกคนต่างก็คาดหวังให้หลุดประเด็นอะไรที่มันน่าตื่นตะลึงออกมาจากปากของเฉียวอวี้อีก
พูดจริงๆ นะ ตอนนี้คลิปวิดีโอตอนเที่ยงที่เฉียวอวี้พูดในติ๊กต็อกว่าเขาลักพาตัวมนุษย์ต่างดาวคนหนึ่ง กำลังถูกแชร์ต่อกันไปอย่างบ้าคลั่งแล้ว! กระแสความนิยมพุ่งทะลุปรอท!
วิดีโอที่มีคนดูมากที่สุดมียอดวิวทะลุ 5 ล้านกว่าครั้งไปแล้ว ส่วนวิดีโอที่เกี่ยวข้องก็มียอดวิวสะสมมากกว่า 20 ล้านครั้ง
คำพูดโอเวอร์แบบนี้คนปกติย่อมไม่มีทางเชื่อแน่นอน! แต่ก็ทนต่อฐานจำนวนชาวเน็ตที่มากพอไม่ได้ ย่อมมีคนไม่ปกติปะปนอยู่เป็นแน่!
ใช่แล้วล่ะ ที่เจิ้งซีเหวินกังวลนั้นไม่ผิดเลย มีคนเชื่อแบบนั้นเป็นจำนวนมากจริงๆ ตอนนี้เริ่มมีคนปลุกระดมบนโลกออนไลน์ให้ทุกคนเริ่มดำเนินการช่วยกันร่วมมือช่วยเหลือมนุษย์ต่างดาวจากเงื้อมมือของคนหัวเซี่ยผู้ชั่วร้ายแล้ว...
กระทั่งมีการริเริ่มการรับบริจาคเงินด้วยซ้ำ และที่น่าเหลือเชื่อก็คือ มีคนบริจาคให้จริงๆ อ้างอิงจากเว็บไซต์รับบริจาค ภายในช่วงบ่ายเวลาเพียงสั้นๆ กิจกรรมนี้ได้รับเงินบริจาคไปแล้วถึง 382.23 ดอลลาร์
พูดจริงๆ นะ ตอนที่เฉียวอวี้ได้ยินข่าวนี้จากปากนักข่าว เขายังอึ้งไปเลย และที่น่าตกใจยิ่งกว่าก็คือนักข่าวดันมาถามเขาอีกว่ามีความคิดเห็นอย่างไรกับปัญหานี้
ดังนั้นเขาจึงตอบโต้ด้วยการยิงคำถามกลับไปเป็นชุดด้วยความประหลาดใจอย่างยิ่งในทันที
"เป็นไปไม่ได้มั้ง? ประชาชนชาวตะวันตกตอนนี้ยากจนกันขนาดนี้แล้วเหรอครับ? ยอดวิววิดีโอที่เกี่ยวข้องทะลุยี่สิบล้านครั้งในบ่ายวันเดียว แต่ยอดบริจาคเพื่อช่วยเหลือชีวิตคนกลับเรี่ยไรมาได้แค่ 300 กว่าดอลลาร์เนี่ยนะ? น่าผิดหวังเกินไปแล้ว! ค่านิยมแห่งเสรีภาพล่ะ? จิตวิญญาณแห่งความรักและเมตตาต่อเพื่อนมนุษย์ล่ะ? เงินล่ะ?"
พูดจริงๆ นะ ตอนที่เฉียวอวี้เอ่ยคำพูดเหล่านี้ออกมา แจ็ก ธอร์นที่นั่งอยู่ฝั่งซ้ายมือของเขาถึงกับก้มหน้ายักไหล่โดยจิตใต้สำนึก ส่วนอเล็กซ์ที่อยู่ฝั่งขวามือก็หันหน้าไปมองเฉียวอวี้ด้วยสีหน้างุนงง...
ส่วนเจิ้งซีเหวินที่ยืนอยู่ด้านล่างเวทีนั้นเงยหน้ามองเพดานด้วยความพูดไม่ออกอย่างถึงที่สุด เห็นไหมล่ะ เขารู้อยู่แล้วว่าเรื่องเด็กดื้อเนี่ย แค่บ่นพึมพำไปสองประโยคมันไม่ได้ผลหรอก มันต้องโดนตี...
แต่พูดก็พูดเถอะ เจ้าคนที่ชอบพูดจาให้คนแตกตื่นแบบนี้แหละคือคนประเภทที่พวกนักข่าวชอบมากที่สุดพอดี
จนกระทั่งผู้ดำเนินรายการที่คอยรักษาความเรียบร้อยในที่เกิดเหตุยังทนฟังต่อไปไม่ไหว จึงต้องเป็นฝ่ายหยิบไมโครโฟนขึ้นมา
เริ่มต้นด้วยการเยินยอว่านักข่าวในที่เกิดเหตุล้วนเป็นนักข่าวมืออาชีพ จากนั้นก็ร้องขอให้นักข่าวในที่เกิดเหตุถามคำถามระดับมืออาชีพที่เกี่ยวข้องกับงานวิจัยทางวิชาการให้มากขึ้น แทนที่จะถามคำถามไร้สมอง งานแถลงข่าวช่วงหลังจากนั้นถึงสามารถดำเนินไปได้อย่างราบรื่น
อย่างน้อยจนกว่างานแถลงข่าวจะจบลง ก็ไม่มีใครหยิบยกปัญหาเกี่ยวกับมนุษย์ต่างดาวขึ้นมาพูดอีก...
...
"เฉียว ขอโทษด้วยนะ คุณก็รู้นี่ ว่าพวกนักข่าวพวกนี้ก็ชอบตามกระแสเรื่องไร้สาระแบบนี้แหละ"
หลังจากงานแถลงข่าวสิ้นสุดลงในที่สุด แจ็ก ธอร์นก็เป็นฝ่ายดึงตัวเฉียวอวี้มาคุยด้วย
"ฮ่าๆ ผมรู้ครับ ผมก็แค่พูดเรื่องตลกกับทุกคนเท่านั้นเอง" เฉียวอวี้พูดอย่างไม่ใส่ใจ
"คุณจะตรงไปที่ห้องจัดเลี้ยงเลยไหม?"
"อืม เวลายังเร็วอยู่ ผมกะว่าจะกลับไปที่ห้องก่อนรอบนึงเพื่อเปลี่ยนเสื้อผ้าสักชุดน่ะครับ" เฉียวอวี้ตอบกลับ
สำหรับการรับรางวัลและการบรรยายในวันนี้ เฉียวซีสั่งให้เฉียวอวี้สวมชุดสูททางการ ซึ่งทำให้เฉียวอวี้ที่เคยชินกับการสวมชุดกีฬามาตลอดรู้สึกอึดอัดเป็นอย่างมาก
ส่วนงานเลี้ยงอาหารค่ำในช่วงเย็น เฉียวอวี้รู้สึกว่าไม่จำเป็นต้องแต่งตัวให้ดูเป็นทางการขนาดนั้นแล้ว อืม อย่างน้อยก็ต้องถอดเนกไทเส้นที่ทำให้เขารู้สึกอึดอัดหายใจไม่ออกนั่นออกไปก่อน...
"โอเค เมื่อกี้เพเทอร์ โชลเซอฝากให้ฉันบอกคุณหน่อยว่า เดี๋ยวในงานเลี้ยงเขาอยากจะคุยกับคุณสักหน่อย"
"ได้ครับ เดี๋ยวเจอกันที่งานเลี้ยงนะครับ"
...
"แฟรงก์ คุณจะไม่ไปเข้าร่วมงานเลี้ยงเหรอ?"
"ไม่ล่ะ ผมรู้สึกไม่ค่อยสบายนิดหน่อย สงสัยจะเป็นหวัดตอนอยู่บนเครื่องบินน่ะ สถานที่คนเยอะๆ แบบนั้นผมคงไม่ไปหรอก"
"เป็นหวัดงั้นเหรอ? โอเค งั้นคุณก็พักผ่อนให้สบายนะ อย่าให้เสียงานในการประชุมสัมมนามะรืนนี้ล่ะ คุณก็รู้หนิ ว่ามันสำคัญมากแค่ไหน"
"วางใจเถอะ ไม่เป็นไรหรอก ลูคัส!"
...
เฉียวอวี้เปลี่ยนเสื้อผ้าเสร็จแล้ว ทันทีที่ลงจากลิฟต์เขาก็เห็นเพเทอร์ โชลเซอ
"เอ๊ะ? ศาสตราจารย์โชลเซอ ผมก็นึกว่าคุณไปถึงห้องจัดเลี้ยงแล้วเสียอีกครับ"
"แจ็กโทรหาฉัน บอกว่านายจะกลับมาที่ห้อง ฉันก็เลยมารอนายอยู่ที่นี่พอดีเลย"
"มีเรื่องอะไรหรือเปล่าครับ? จะได้เดินไปคุยไปพอดีเลย" เฉียวอวี้หันขวับไปมองเจิ้งซีเหวินที่อยู่ข้างๆ ส่วนเหล่าเจิ้งก็ชะลอฝีเท้าลงโดยปริยาย
เพเทอร์ โชลเซอเอ่ยปากถามขึ้นว่า "ยังจำได้ไหมที่ก่อนหน้านี้นายเคยถามฉันว่าช่วงนี้ฉันกำลังทำอะไรอยู่น่ะ?"
เฉียวอวี้พยักหน้าแล้วกล่าวว่า "แน่นอนครับ จำได้ว่าคุณกำลังร่วมมือกับชุมชน Lean ของไมโครซอฟต์ เข้าร่วมการทดลองเทนเซอร์ของเหลว เพื่อคาดหวังว่าจะสามารถทำให้ทฤษฎีบททางคณิตศาสตร์เป็นรูปแบบทางการได้ แล้วใช้ Lean ดำเนินการตรวจสอบกับมัน"
เพเทอร์ โชลเซอกล่าวอย่างกระตือรือร้น "ดังนั้นนายสนใจโครงการนี้บ้างไหม? นายก็รู้นี่ ว่าถ้าสามารถใช้ภาษาที่เป็นหนึ่งเดียวมาใช้อธิบายทางคณิตศาสตร์ได้ สิ่งนี้จะช่วยยกระดับประสิทธิภาพการทำงานของเครื่องมือช่วยพิสูจน์ทฤษฎีบทได้อย่างมหาศาลเลยนะ
ในด้านนี้ ระบบสัจพจน์โมดัลทั่วไปมีศักยภาพมหาศาลมาก อันที่จริงไม่ได้มีแค่ฉันหรอก ดัสติน คลอเซนเองก็สนใจงานวิจัยของนายมากเหมือนกัน
แต่ว่าตอนนี้พวกเรายังขาดแคลนคนที่คุ้นเคยและเข้าใจในระบบสัจพจน์โมดัลทั่วไปของนายดีพอ ไม่ต้องสงสัยเลยว่านายคือคนที่เหมาะสมที่สุดแล้วล่ะ เชื่อฉันเถอะ นี่เป็นงานที่มีความหมายมากจริงๆ นะ
ถ้าพวกเราสามารถทำได้สำเร็จ การเปลี่ยนทฤษฎีบททางคณิตศาสตร์ที่ซับซ้อนให้กลายเป็นรูปแบบทางการได้ ในอนาคตพวกเราก็จะสามารถใช้คอมพิวเตอร์ไปตรวจสอบทฤษฎีบททางคณิตศาสตร์ที่ซับซ้อนจำนวนมากได้ ซึ่งจะช่วยแบ่งเบาภาระงานวิจัยทางคณิตศาสตร์ในอนาคตไปได้อย่างมาก"
เฉียวอวี้รู้สึกลังเลเล็กน้อย
พูดตามตรง เขารู้สึกสนใจโครงการนี้อยู่บ้างจริงๆ นั่นก็เป็นเพราะเขาสนใจปัญญาประดิษฐ์เอามากๆ
แม้แก่นแท้ของ Lean จะเป็นเครื่องมือพิสูจน์ทฤษฎีบทแบบโต้ตอบและเป็นภาษาโปรแกรมเชิงฟังก์ชัน ซึ่งแกนหลักของมันไม่ใช่ปัญญาประดิษฐ์ก็ตาม
แต่สำหรับเฉียวอวี้แล้ว หากเขาสามารถเข้ามามีส่วนร่วมในงานนี้ได้ เฉียวอวี้ก็คิดว่าสามารถลองนำงานนี้ไปผสมผสานกับปัญญาประดิษฐ์ เพื่อพัฒนาออกมาเป็นเครื่องมืออัจฉริยะแบบเฉพาะเจาะจงที่ใช้ในการช่วยพิสูจน์ทฤษฎีบทได้
สิ่งที่มีมูลค่ามากที่สุดในเรื่องนี้ก็คือตัวโครงการนี้เองกับการสั่งสมและงานวิจัยตลอดหลายปีที่ผ่านมาของเพเทอร์ โชลเซอ
ส่วนความลังเลนั้นย่อมเป็นเพราะความรู้สึกผิดชอบชั่วดีอันน้อยนิดของเฉียวอวี้มันกำลังเล่นงานอยู่
หลักๆ คือเพเทอร์ โชลเซอตอนนี้คุ้นเคยกันมากแล้ว อีกทั้งก่อนหน้านี้ก็นับว่าเคยช่วยเหลือเขามาไม่น้อย จะให้มาหักหลังกันดื้อๆ เลยก็คงจะกระดากใจอยู่ไม่น้อย
ถ้าหากเป็นความสัมพันธ์เหมือนกับกลุ่มคนเมื่อเช้าวานนี้ล่ะก็ เฉียวอวี้คงจะตอบตกลงไปโดยไม่ลังเลเลยแม้แต่น้อย แล้วเอาข้อมูลงานวิจัยก่อนหน้านี้มาไว้ในมือก่อนแล้วค่อยว่ากันอีกที
ไม่แน่ว่าในอนาคตเขาอาจจะมีเทคโนโลยีที่สามารถช่วยเหลือนักคณิตศาสตร์ในการพิสูจน์เพื่อตรวจสอบทฤษฎีบทต่างๆ ได้ก่อนไมโครซอฟต์เสียอีก หรือไม่แน่ว่าอาจจะก้าวไปได้ไกลยิ่งกว่านั้นด้วยซ้ำ
แต่เรื่องแบบนี้ สนิทกันเกินไปมันก็ลงมือยากจริงๆ ...
ดังนั้นหลังจากลังเลอยู่ครู่หนึ่ง เขาก็ยังคงต้องกัดฟันพูดออกไปว่า "เพเทอร์ คุณก็รู้หนิครับ งานหลังจากนี้ของผมยังมีอีกเยอะแยะมากมาย ไม่แน่ว่าจะสามารถปลีกเวลามาทำเรื่องนี้ได้จริงๆ หรอกนะครับ"
"ไม่เป็นไร ฉันปรึกษากับดัสติน คลอเซนเรียบร้อยแล้ว นายสามารถร่วมมือกับพวกเราได้จากหัวเซี่ยนั่นแหละ พอพวกเราเจอปัญหาเมื่อไหร่ ก็สามารถใช้ซอฟต์แวร์การประชุมติดต่อสื่อสารกันได้ตลอดเวลา"
เพเทอร์ โชลเซอกล่าวอย่างกระตือรือร้น
"เอ่อ... แบบนั้นจะดีเหรอครับ? ในเมื่อเป็นงานวิจัยของพวกคุณ จะให้ส่งมาให้ผมทางไกลเลยงั้นเหรอ?" เฉียวอวี้กะพริบตาถาม
เพเทอร์ โชลเซอถามด้วยความประหลาดใจ "ทำไมนายถึงรู้สึกว่ามันไม่ดีล่ะ? เดิมที Lean ก็เป็นชุมชนโอเพนซอร์ซอยู่แล้วนะ"
เฉียวอวี้ตอบกลับว่า "แต่เท่าที่ผมทราบมา งานวิจัยในรายละเอียดที่เป็นรูปธรรมของโครงการเฉพาะเจาะจงนั้นไม่ได้โอเพนซอร์ซด้วยนี่ครับ ผมเคยลองหางานวิจัยของคุณดูแล้ว แต่ไม่มีข้อมูลในรายละเอียดประกาศออกมาเลยนี่นา
อีกอย่างเรื่องนี้ก็อาจจะเกี่ยวข้องกับการกำหนดมาตรฐานบางอย่างในอนาคตด้วย คุณอาจจะยังไม่รู้ ตัวผมเองก็กะว่าจะเปิดบริษัทอยู่เหมือนกัน..."
"ฮ่าๆ เฉียว ไม่ต้องไปใส่ใจรายละเอียดพวกนี้หรอก ความจริงแล้วงานวิจัยของพวกเราไม่ได้เกี่ยวข้องกับเรื่องพวกสิทธิบัตรอะไรมากมายนักหรอก
แน่นอนว่าถ้าในระหว่างกระบวนการวิจัย พวกเราค้นพบสิทธิบัตรที่มีมูลค่าการใช้งานทางปฏิบัติขึ้นมาจริงๆ ฉันก็คิดว่าพวกเราสามารถมาตกลงพูดคุยกันได้นะ"
เพเทอร์ โชลเซอหัวเราะเสียงดังแล้วอธิบาย
เฉียวอวี้กะพริบตาปริบๆ รู้สึกไม่ค่อยอยากจะเชื่อสักเท่าไหร่ ไมโครซอฟต์ใจกว้างขนาดนี้เลยเหรอ?!
