08 · หอเรื่องเล่า II: การแก้ครั้งใหญ่ยุคใหม่
เส้นทางที่สั้นที่สุด — ประวัติศาสตร์ของศิลปะและศาสตร์แห่งการแก้ปัญหา
ทั้งห้าครั้งในหอนี้แก้กันในความทรงจำของคนที่ยังมีชีวิต หรือเพิ่งพ้นไปไม่นาน สามครั้งถูกถ่ายทอดหรือตีพิมพ์ละเอียดพอให้เฝ้าดูการเปลี่ยนกรอบ (reframe) เกิดขึ้นแทบจะสดๆ บทเรียนเปลี่ยนรูปไปจากหอก่อนหน้า นักแก้ปัญหาในบทที่ 07 ต่างหาการวัดราคาถูกมายืนแทนโลกราคาแพง นักแก้ปัญหาในหอนี้หาสิ่งที่แคบกว่า และมักชี้ขาดกว่า: ข้อจำกัดข้อเดียว ที่ฝังอยู่ในปัญหาอันกว้างเกะกะ ระบุมันได้เมื่อไร ทุกอย่างที่เหลือก็เข้าที่ — หรือพังลง
ทฤษฎีบทที่เยอรมันไม่เคยคาดคิด — วอร์ซอ 1932
ถึงปี 1932 ทีมถอดรหัสขนาดเล็กของ Polish Cipher Bureau ยังแทบไม่คืบหน้ากับเครื่อง Enigma เลย ทั้งที่กองทัพเยอรมันใช้เครื่องนี้มาหลายปีแล้ว ความปลอดภัยของ Enigma ไม่ได้อยู่ที่แบบของเครื่องเป็นความลับ — รุ่นเชิงพาณิชย์วางขายอย่างเปิดเผย — แต่อยู่ที่สายไฟภายในเครื่อง คือโรเตอร์สามตัวกับวิธีต่อไฟฟ้าของมัน ฝ่ายโปแลนด์ไม่เคยเห็นและหามาไม่ได้ วิธีวิเคราะห์รหัสทุกแนวที่ตั้งมั่นอยู่ตั้งต้นจากข้อสมมติเดียวกัน: ต้องมีตัวเครื่อง หรือไม่ก็ต้องมีข้อความต้นฉบับกับข้อความเข้ารหัสที่จับคู่กันจำนวนมาก ทั้งสองอย่างไม่มีในปริมาณที่ใช้การได้
Marian Rejewski เลือกเส้นทางที่ต่างออกไปคนละเรื่อง เขาเป็นนักคณิตศาสตร์วัย 27 ปี เพิ่งถูกดึงตัวมาจากมหาวิทยาลัย Poznań พนักงานวิทยุเยอรมันทำตามระเบียบ เข้ารหัสกุญแจข้อความสามตัวอักษรซ้ำสองครั้งติดกันที่หัวของทุกการส่ง — ตัวบ่งชี้ซ้ำสองที่มีไว้กันความผิดพลาดในการส่ง Rejewski เห็นว่าการซ้ำสองนี้เปิดช่อง สายไฟในโรเตอร์ของ Enigma คือ*การเรียงสับเปลี่ยน (permutation)* ทางคณิตศาสตร์ ดังนั้นความสัมพันธ์ระหว่างตัวอักษรที่หนึ่งกับที่สี่ ที่สองกับที่ห้า ที่สามกับที่หก จากหัวข้อความที่ดักฟังมาได้เป็นพัน เมื่อดูรวมกันย่อมเข้ารหัสสายไฟภายในของตัวเครื่องเองเอาไว้ Rejewski ใช้ทฤษฎีกรุ๊ปการเรียงสับเปลี่ยนล้วนๆ บวกกับคู่มือการใช้งานสองเล่มที่ฝรั่งเศสส่งมาให้ ซึ่งตรึงค่าที่ไม่รู้ไว้ได้ไม่กี่ตัว เขาเขียนระบบสมการออกมา และภายในเดือนธันวาคม 1932 ก็ประกอบสายไฟของเครื่องที่เขาไม่เคยแตะขึ้นมาใหม่ได้ (Engineering and Technology History Wiki, "First Breaking of Enigma Code by the Team of Polish Cipher Bureau, 1932–1939"; AMS, "Marian Rejewski and the First Break into Enigma") คำบอกเล่ายอดนิยมในภายหลัง รวมถึงบทความการศึกษาคณิตศาสตร์ที่ถูกใช้อ้างกันกว้างขวาง เรียกสิ่งนี้ว่า "ทฤษฎีบทที่ชนะสงคราม" ชื่อนั้นเป็นของบทความสอนปี 2015 ไม่ใช่ของ Rejewski เอง เขาไม่เคยกล่าวอ้างอะไรใหญ่โตขนาดนั้น เครดิตที่ถูกต้องเป็นของเขาร่วมกับเพื่อนร่วมงานจาก Poznań อีกสองคน Jerzy Różycki และ Henryk Zygalski ผู้สร้างเครื่องมือเชิงกลและตารางที่เปลี่ยนทฤษฎีบทให้เป็นงานประจำวันได้ (Mathematical Association of America, "The Theorem that Won the War")
ข้อจำกัดที่รับน้ำหนักซึ่ง Rejewski หาเจอเป็นเรื่องระเบียบปฏิบัติ ไม่ใช่กลไก: ตัวบ่งชี้ที่พนักงานวิทยุถูกสั่งให้ส่งซ้ำ ปี 1938 เยอรมนีเลิกระเบียบนั้นและรัดความปลอดภัยของ Enigma ให้แน่นขึ้นอีก เทคนิคทางคณิตศาสตร์ของทีมโปแลนด์ก็หยุดทำงาน วันที่ 25–26 กรกฎาคม 1939 — เหลืออีกไม่กี่สัปดาห์ก่อนสงคราม — โปแลนด์มอบทุกอย่างที่มีให้อังกฤษและฝรั่งเศส: เครื่อง Enigma จำลองที่ประกอบขึ้นใหม่ วิธีการทั้งหมด และแบบของ bomba kryptologiczna อุปกรณ์ไฟฟ้ากลที่สร้างขึ้นให้ค้นหาโดยอัตโนมัติ (GCHQ, "The Pyry Forest Meeting") ที่ Bletchley Park Alan Turing กับ Gordon Welchman เปลี่ยนกรอบครั้งที่สอง คมพอกัน ซ้อนลงบนครั้งแรก พวกเขาไม่ถอดทีละข้อความ แต่สร้างเครื่องขึ้นมา — Turing–Welchman bombe — เพื่อถอด*กุญแจประจำวัน*ที่ไขทุกข้อความที่ส่งในวันนั้น เครื่องทำงานจาก "crib" คือชิ้นส่วนของข้อความต้นฉบับที่น่าจะปรากฏ (รายงานอากาศประจำวันเป็นของโปรด) เดาตำแหน่งในข้อความเข้ารหัสได้จากนิสัยของพนักงานวิทยุ (The National Museum of Computing, "The Turing-Welchman Bombe") ข้อจำกัดที่รับน้ำหนักในรอบนี้คือหลักประกันเชิงกลข้อเดียวของ Enigma: มันเข้ารหัสตัวอักษรให้กลายเป็นตัวมันเองไม่ได้เลย ข้อเท็จจริงข้อนี้ทำให้วาง crib ลงตำแหน่งได้ และไล่ความขัดแย้งทางตรรกะด้วยไฟฟ้าผ่านวงจรที่ต่อเป็นลูป จนเหลือค่าตั้งโรเตอร์ผู้เข้าชิงเพียงค่าเดียว นักแก้ปัญหาสองรุ่น ห่างกันไม่กี่ปี ต่างหาเงื่อนไขเดียวเจอ — ตัวบ่งชี้ซ้ำสอง แล้วต่อมาคือตัวอักษรที่ไม่มีวันแมปเป็นตัวเอง — และเงื่อนไขนั้นทำให้การค้นหาระดับดาราศาสตร์ยุบลงเหลืองานเช้าเดียว
ท่า: ตัวเครื่องเป็นความลับ แต่ระเบียบปฏิบัติของมันทำทฤษฎีบทรั่วออกมา
ตู้ไปรษณีย์ที่สร้างจากของที่อยู่บนยานอยู่แล้ว — Apollo 13, 1970
วันที่ 13 เมษายน 1970 ถังออกซิเจนระเบิดบนยาน Apollo 13 ห่างจากโลกราวสองแสนไมล์ โมดูลบัญชาการใช้การไม่ได้ นักบินอวกาศทั้งสามคนต้องย้ายเข้าโมดูลลงดวงจันทร์ — เรือชูชีพที่สร้างมาสำหรับสองคน สองวัน แต่ตอนนี้ต้องประคองสามคนไว้สี่วัน ภายในไม่กี่วัน เหตุฉุกเฉินที่ช้ากว่าและเงียบกว่าก่อตัวขึ้นเคียงข้างเหตุที่เห็นชัดอยู่แล้ว: คาร์บอนไดออกไซด์ กระบอกลิเทียมไฮดรอกไซด์ของโมดูลลงดวงจันทร์ดูด CO2 ออกจากอากาศในห้องโดยสาร แต่ออกแบบมาสำหรับคนสองคนและกำลังจะหมดฤทธิ์ โมดูลบัญชาการมีกระบอกสำรองอยู่มากมาย ทว่าเป็นทรงสี่เหลี่ยม สร้างมาสำหรับระบบฟอกอากาศคนละแบบ ส่วนช่องรับของโมดูลลงดวงจันทร์เป็นทรงกลม (Space Center Houston, "Apollo 13 Infographic: How did they make that CO2 scrubber?")
ข้อจำกัดที่สำคัญไม่ใช่เคมี แต่คือเรขาคณิต — ลิเทียมไฮดรอกไซด์ดูด CO2 ได้สบายไม่ว่าตัวเรือนจะทรงสี่เหลี่ยมหรือทรงกลม — และใต้เรขาคณิตยังมีเงื่อนไขอีกข้อ แน่นกว่ารูปทรงของไส้กรอง: ทางแก้ต้องสร้างจากสิ่งของที่อยู่บนยานซึ่งกำลังบินอยู่แล้วทั้งหมด ส่งอะไรขึ้นไปไม่ได้เลย Ed Smylie วิศวกรของ NASA ผู้นำทีมระบบลูกเรือ รวบรวมคนกลุ่มเล็กๆ แล้วตั้งกฎข้อนั้นลงไปตรงๆ จากนั้นให้วางลงบนโต๊ะเฉพาะสิ่งที่นักบินอวกาศเอื้อมถึง: ถุงพลาสติกสำหรับซับในชุดอวกาศ กระดาษแข็งที่ฉีกมาจากปกแผนการบิน เทปกาวสีเทาหนึ่งม้วน และท่อจากชุดอวกาศ (The Washington Post, "Ed Smylie, engineer who helped save Apollo 13 crew with duct tape, dies") เทปกาวเป็นวัสดุอย่างเดียวที่ปิดผนึกรอยต่อได้อย่างเชื่อถือได้ในสภาวะไร้น้ำหนัก ด้วยมือของคนที่ไม่ได้ฝึกมาและอยู่ใต้ความกดดัน ในเที่ยวบินนี้มันจึงเป็นวัสดุวิศวกรรมที่รับน้ำหนัก ไม่ใช่ของอำนวยความสะดวกในบ้าน
ทีมสร้างและทดสอบตัวแปลงที่ใช้งานได้จริงบนพื้นโลกภายในไม่ถึงหนึ่งวัน — ไม่นานมันก็ถูกเรียกเล่นๆ ว่า "ตู้ไปรษณีย์" — แล้วส่งวิทยุบอกขั้นตอนการประกอบทีละขั้นขึ้นไปให้ลูกเรือ ลูกเรือสร้างของตัวเองจากอะไหล่แบบเดียวกันที่เก็บไว้บนยานอยู่แล้ว (NASA, "Apollo 13 Lunar Module 'Mail Box'") ความดันย่อยของ CO2 ในห้องโดยสารไต่ขึ้นหาเขตอันตรายเรื่อยๆ ในเมื่อไม่มีเครื่องฟอกที่ใช้การได้ กฎภารกิจถือว่าปลอดภัยเมื่อต่ำกว่าราว 8 มิลลิเมตรปรอท และอันตรายเมื่อเข้าใกล้ 15 พอลูกเรือต่อตู้ไปรษณีย์เข้ากับพัดลมห้องโดยสารของโมดูลลงดวงจันทร์ ค่าที่อ่านได้ก็ลดลง และอยู่ต่ำกว่า 2 มิลลิเมตรปรอทตลอดการเดินทางกลับบ้าน (Universe Today, "13 MORE Things That Saved Apollo 13, part 5: The CO2 Partial Pressure Sensor") นี่เป็นการเปลี่ยนกรอบ ไม่ใช่แค่การซ่อม เพราะวินัยที่ศูนย์ควบคุมภารกิจบังคับกับตัวเองก่อนงานออกแบบจะเริ่ม: ปัญหาการบินอวกาศข้ออื่นทุกข้อ ในหลักการยอมรับคำตอบที่ส่งวัสดุเพิ่ม มวลเพิ่ม ความสำรองเพิ่ม ขึ้นไปล่วงหน้าได้ ข้อนี้ไม่ยอม Houston ประกาศปิดรายการชิ้นส่วนก่อนเริ่มออกแบบ ปัญหาวิศวกรรมปลายเปิด — สร้างเครื่องฟอกที่ใช้ได้ — จึงกลายเป็นปัญหาที่แคบและแก้ได้: สร้างเครื่องฟอกที่ใช้ได้จากรายการสิบสามชิ้นนี้เท่านั้น ข้อจำกัดแน่นพอให้วิศวกรหยิบมือหนึ่งไล่ความเป็นไปได้จนหมดในบ่ายเดียว
ท่า: ไม่มีอะไรส่งขึ้นไปได้ ฉะนั้นไม่มีอะไรนับได้นอกจากของที่อยู่บนนั้นแล้ว
แคลมป์ตัวหนึ่ง น้ำแข็งแก้วหนึ่ง กับคณะกรรมการชุดหนึ่ง — วอชิงตัน 1986
กระสวยอวกาศ Challenger แตกออกเป็นชิ้น 73 วินาทีหลังปล่อยตัว วันที่ 28 มกราคม 1986 ลูกเรือทั้งเจ็ดคนเสียชีวิต คณะกรรมาธิการที่ประธานาธิบดีตั้งขึ้นเพื่อสอบสวน — William Rogers อดีตรัฐมนตรีต่างประเทศเป็นประธาน — ใช้เวลาหลายสัปดาห์สะสมคำให้การ ข้อมูลโทรมาตร และทฤษฎีวิศวกรรมที่ขัดแย้งกันว่าอะไรพัง Richard Feynman นักฟิสิกส์ ถูกแต่งตั้งเข้าคณะกรรมาธิการอย่างไม่ค่อยเต็มใจนัก เขาหงุดหงิดกับกระบวนการที่ในสายตาเขากำลังจมคำถามเชิงกลไกง่ายๆ ข้อหนึ่งลงในความระมัดระวังเชิงระเบียบ
คำถามที่ Feynman อยากได้คำตอบนั้นแคบ: O-ring ยางที่ปิดผนึกรอยต่อของจรวดขับดันเชื้อเพลิงแข็ง สูญเสียความยืดคืนตัว — ความสามารถดีดกลับคืนรูปหลังถูกกด — ที่อุณหภูมิเย็นผิดปกติของเช้าวันปล่อยตัว ราว 36 องศาฟาเรนไฮต์ (2 องศาเซลเซียส) หรือไม่ วันที่ 11 กุมภาพันธ์ 1986 เขามาถึงการไต่สวนสาธารณะพร้อมชิ้นวัสดุ O-ring แคลมป์รูปตัวซีอันเล็กที่ซื้อจากร้านฮาร์ดแวร์เช้าวันนั้น และน้ำแข็งแก้วหนึ่งที่ขอจากเจ้าหน้าที่ห้องไต่สวน ระหว่างวิศวกรของ NASA กำลังให้การ Feynman หนีบตัวอย่างด้วยแคลมป์ จุ่มลงในน้ำแข็งไม่กี่นาที แล้วคลายแคลมป์ออกต่อหน้ากล้อง: ยางยังถูกกดแบนอยู่ ไม่ดีดกลับ ภายในไม่ถึงหนึ่งนาที ต่อหน้ากล้องโทรทัศน์ที่ถ่ายทอดสด เขาแสดงให้เห็นว่ายางที่เย็นจัดสูญเสียคุณสมบัติยืดหยุ่นข้อที่ซีลนั้นพึ่งพาอยู่พอดี (Caltech, ภาคผนวกส่วนตัวของ Feynman ในรายงานคณะกรรมาธิการ Rogers, "F.: An Additional Comment"; NASA, "Report of the Presidential Commission on the Space Shuttle Challenger Accident," Volume IV)
เบาะแสที่ทำให้ Feynman เล็งได้แม่นขนาดนั้นมาจากที่อื่น และกรรมาธิการด้วยกันเองเก็บเรื่องนี้เงียบไว้กว่าสองทศวรรษ การสาธิตมักถูกเล่าเป็นการด้นสดของอัจฉริยะผู้โดดเดี่ยว และความเป็นนักแสดงของ Feynman ก็เป็นของเขาเองแน่นอน Sally Ride นักบินอวกาศและกรรมาธิการอีกคน ได้เห็นข้อมูลภายในของ NASA ที่โยงความเสียหายของ O-ring เข้ากับอุณหภูมิต่ำในวันปล่อยตัว จากแหล่งข่าวที่เธอต้องการปกป้อง เธอไม่หยิบยกขึ้นมาเอง แต่ส่งแผนภูมินั้นต่อให้ Donald Kutyna นายพลกองทัพอากาศ กรรมาธิการอีกคนหนึ่ง Kutyna ชวน Feynman ไปที่โรงรถของเขา ให้ดูคาร์บูเรเตอร์ที่รั่วบนรถที่เขากำลังบูรณะอยู่ แล้วถามขึ้นแบบที่ดูเหมือนลอยๆ ว่าความเย็นจะกระทบความยืดคืนตัวของ O-ring แบบเดียวกันหรือเปล่า — คำถามที่ชี้ Feynman ตรงไปยังจุดที่รอยต่อไวต่ออุณหภูมิ โดยไม่เอ่ยถึงข้อมูลของ Ride เลยสักคำ (Britannica, "Sally Ride") Kutyna เปิดเผยบทบาทของเธอหลัง Ride เสียชีวิตในปี 2012 เท่านั้น Feynman เสียชีวิตในปี 1988 และอาจไม่เคยรู้เลยว่าหลักฐานที่มาถึงเขาเป็นของใครกันแน่ ข้อจำกัดที่รับน้ำหนักของหายนะทั้งครั้ง — ขีดเริ่มความยืดคืนตัวของซีลยาง ถูกข้ามด้วยจำนวนองศาที่เจาะจงและรู้ได้ — อยู่ในข้อมูลของ NASA เองมานานก่อนการปล่อยตัว การสาธิตด้วยน้ำแข็งบีบข้อโต้แย้งทางเทคนิคหนาหลายเล่ม ที่เสี่ยงจะหายไปในคำพูดกำกวมแบบราชการ ให้เหลือสามสิบวินาที ผู้ชมโทรทัศน์ สภาคองเกรส และสาธารณชนที่กำลังโศกเศร้า มองเห็นและเข้าใจได้โดยไม่ต้องมีสมการสักตัว
ท่า: ความล้มเหลวมีตัวเลขติดอยู่ตัวเดียว และน้ำแข็งแก้วเดียวทำให้ตัวเลขนั้นมองเห็นได้
เจ็ดปีในห้องใต้หลังคา — Cambridge กับ Princeton 1986–1995
ทฤษฎีบทสุดท้ายของ Fermat ต้านทานการพิสูจน์มากว่า 350 ปี ตัวทฤษฎีบทว่าไม่มีจำนวนเต็มบวกสามจำนวน a, b, c ใดสอดคล้องกับ aⁿ + bⁿ = cⁿ สำหรับจำนวนเต็ม n ที่มากกว่า 2 ปี 1637 Pierre de Fermat เขียนไว้ตรงขอบกระดาษของหนังสือเล่มหนึ่งว่าเขาพบ "บทพิสูจน์ที่งดงามอย่างแท้จริง" ("a truly marvelous proof") คำกล่าวอ้างอันโด่งดังนั้นแทบแน่นอนว่าผิด พอถึงศตวรรษที่ยี่สิบ มันเป็นสุสานของความพยายามที่ล้มเหลวมากกว่าปัญหาวิจัยที่ยังมีชีวิต เป็นข้อความประเภทที่นักคณิตศาสตร์เตือนนักศึกษาบัณฑิตให้อยู่ให้ห่าง
ปี 1986 นักคณิตศาสตร์ Gerhard Frey, Jean-Pierre Serre และ Ken Ribet วางสะพานที่เปลี่ยนรูปทรงของปัญหาไปทั้งหมด พวกเขาแสดงว่าถ้าข้อคาดการณ์ Taniyama–Shimura เป็นจริงสำหรับเส้นโค้งกลุ่มจำกัดกลุ่มหนึ่ง (semistable curve) ทฤษฎีบทสุดท้ายของ Fermat จะตามมาเป็นบทแทรก ข้อคาดการณ์นั้นเป็นข้อความเชิงลึก: เส้นโค้งเชิงวงรี (elliptic curve) ทุกเส้นบนจำนวนตรรกยะ เชื่อมโยงอย่างลับๆ กับวัตถุที่มีโครงสร้างสูงซึ่งเรียกว่า modular form พูดอีกอย่าง: เลิกพยายามพิสูจน์ข้อความของ Fermat เรื่องตัวเลขสามตัวกับเลขชี้กำลัง พิสูจน์แทนว่าตัวอย่างค้านสมมติของ Fermat จะสร้างเส้นโค้งเชิงวงรีที่ประหลาดจนเป็น modular ไม่ได้ — และพิสูจน์แยกอีกทางว่าเส้นโค้งที่ไม่เป็น modular แบบนั้นมีอยู่ไม่ได้ Andrew Wiles นักทฤษฎีจำนวนที่ Princeton หลงใหลทฤษฎีบทสุดท้ายของ Fermat มาตั้งแต่เด็ก เขาเห็นว่าการเปลี่ยนกรอบนี้เชื่อมปัญหาเก่าเข้ากับใจกลางที่ยังมีชีวิตและทรัพยากรพร้อมของทฤษฎีจำนวนสมัยใหม่ได้เป็นครั้งแรก เขาลงมือในความลับเกือบสมบูรณ์ ทำงานตามลำพังจริงๆ ในห้องทำงานใต้หลังคาบ้านตัวเองเจ็ดปี เพื่อพิสูจน์ข้อคาดการณ์มอดูลาริตีสำหรับเส้นโค้ง semistable — มากพอให้ Fermat หลุดออกมาฟรีๆ (Wikipedia, "Wiles's proof of Fermat's Last Theorem") เขาแทบไม่บอกใครเลยว่ากำลังทำอะไรอยู่ — ไม่บอกเพื่อนร่วมภาควิชา ไม่บอกผู้ร่วมงานส่วนใหญ่ บอกแต่ Nada ภรรยาของเขา ผู้ซึ่งเขาพูดในภายหลังว่า "รู้จักผมเฉพาะช่วงที่ผมทำงานเรื่อง Fermat" ("has only known me while I was working on Fermat") — และปล่อยผลงานเก่าที่ไม่เกี่ยวข้องออกมาเป็นระยะ เพื่อรักษาภาพว่ายังผลิตงานตามปกติ ขณะที่งานจริงซ่อนอยู่ (Nautilus, "How Math's Most Famous Proof Nearly Broke")
Wiles ประกาศบทพิสูจน์ที่สมบูรณ์ในการบรรยายสามครั้งที่ Isaac Newton Institute ของ Cambridge เดือนมิถุนายน 1993 มีรายงานว่าเขาเขียนบรรทัดสุดท้ายของข้อโต้แย้งจบในนาทีท้ายๆ ของการบรรยายครั้งสุดท้าย ห้องเงียบไปครู่หนึ่ง แล้วผู้ฟังลุกขึ้นยืนปรบมือ พวกเขาค่อยๆ เข้าใจตลอดสามวันนั้นว่าตัวเองกำลังเป็นพยานให้อะไร ข่าวนี้ขึ้นสื่อทั่วโลก New York Times ลงหน้าหนึ่ง แล้วช่องโหว่ก็โผล่ในขั้น peer review งานประจำที่เข้มงวด ผู้ตรวจชื่อ Nick Katz พบว่าขั้นตอนหนึ่งในการสร้าง "Euler system" ของข้อโต้แย้งมีปัญหา อุปกรณ์ทางเทคนิคชิ้นนี้รับน้ำหนักมากพอที่ถ้าขาดไป สิ่งปลูกสร้างทั้งหลังก็เสี่ยงจะเป็นแค่ร่างที่ดีมากร่างหนึ่ง ไม่ใช่บทพิสูจน์ (American Mathematical Society, Faltings, "The Proof of Fermat's Last Theorem by R. Taylor and A. Wiles," Notices of the AMS, 1995) Wiles ใช้เวลากว่าหนึ่งปีซ่อมช่องโหว่นั้น ตอนแรกทำคนเดียว ตั้งแต่ฤดูร้อนปี 1994 จึงทำร่วมกับ Richard Taylor อดีตลูกศิษย์ของเขา วันที่ 19 กันยายน 1994 ขณะตรวจดูแนวทางที่เขาเคยทิ้งไปหลายปีก่อนด้วยเหตุผลอื่นพอดี Wiles เห็นว่าทำไมมันถึงล้มเหลวในตอนนั้น และทำไมพอรวมกับกลไก Euler system แล้วมันถึงสำเร็จตอนนี้ วิธีปิดช่องโหว่นี้ต่างจากของเดิมมากพอจน Taylor กับ Wiles ตีพิมพ์มันเป็นบทความคู่กัน บทพิสูจน์ที่แก้แล้วออกมาในปี 1995 (Wikipedia)
ช่องโหว่นั้นไม่ใช่เชิงอรรถน่าอายของเรื่องนี้ มันคือภาพประกอบที่ชัดที่สุดของข้อกล่าวอ้างใหญ่ของหนังสือเล่มนี้ Wiles ไม่ได้เจอเส้นทางสั้นด้วยการหลบข้อผิดพลาด เขาเจอมันด้วยการไม่ยอมให้ข้อผิดพลาดที่ยังไม่ได้แก้ข้อเดียวไล่เขากลับไปยังพื้นที่ปัญหา (problem space) เดิม (บุกสมการของ Fermat ตรงๆ) ทั้งที่ข้อผิดพลาดนั้นอยู่เฉพาะที่เครื่องมือทางเทคนิคชิ้นเดียวภายในพื้นที่ใหม่ (Euler system ภายในสะพานมอดูลาริตี) ข้อจำกัดที่รับน้ำหนักของโครงการเจ็ดปีทั้งโครงการไม่เคยเป็นสมการของ Fermat มันคือสะพานมาตลอด — และสะพานที่มีไม้ผุอยู่แผ่นเดียว ต้องซ่อม ไม่ใช่ทิ้ง
ท่า: อย่ายกก้อนหิน จงพิสูจน์สะพานที่ทำให้ก้อนหินไม่สำคัญอีกต่อไป
ปัญหาห้าสิบปีที่ถูกปิดด้วยการเมินฟิสิกส์ — CASP14, 2020
การทำนายรูปทรงสามมิติที่โปรตีนพับตัวเข้าไป จากลำดับกรดอะมิโนหนึ่งมิติที่ประกอบมันขึ้นมาเพียงอย่างเดียว ยืนเป็นหนึ่งในปัญหาเปิดใหญ่ของชีววิทยามาตั้งแต่ปี 1969 ปีนั้น Cyrus Levinthal นักชีววิทยาโมเลกุล ชี้ว่าโปรตีนไม่มีทางหารูปทรงของตัวเองเจอด้วยการสุ่มลองไปเรื่อยๆ — จำนวนวิธีพับที่เป็นไปได้ของสายโปรตีนแม้เพียงขนาดพอประมาณก็ใหญ่จนการค้นหาแบบไล่ทุกทางกินเวลานานกว่าอายุของเอกภพไปไกล ทว่าโปรตีนจริงพับถูกต้องภายในไม่กี่มิลลิวินาที (Wikipedia, "Levinthal's paradox") ตั้งแต่ปี 1994 การแข่งขัน Critical Assessment of protein Structure Prediction (CASP) จัดทุกสองปี วัดความคืบหน้าอันเชื่องช้าทีละนิดของวงการนี้ เทียบกับโครงสร้างที่หาคำตอบได้จากการทดลอง และปิดเป็นความลับจากผู้แข่งขันจนกว่าจะถึงเวลาให้คะแนน (ประวัติ CASP, อ้างผ่าน DeepMind, "AlphaFold: a solution to a 50-year-old grand challenge in biology")
ความพยายามจริงจังส่วนใหญ่ต่อปัญหานี้จำลองฟิสิกส์ที่อยู่เบื้องล่างในรูปแบบใดรูปแบบหนึ่ง: สร้างแบบจำลองแรงระหว่างอะตอม แล้วปล่อยให้วิถีการพับดำเนินไปในเครื่องคำนวณ แนวทางนี้ซื่อตรงต่อวิธีที่ธรรมชาติทำจริง แต่แพงเชิงการคำนวณจนใช้จริงได้แค่กับโปรตีนขนาดเล็กในช่วงเวลาสั้นๆ ทีม AlphaFold ของ DeepMind เดิมพันอีกทาง ทีมลงแข่ง CASP13 ในปี 2018 แล้วรื้อระบบสร้างใหม่แทบทั้งหมดสำหรับ CASP14 ในปี 2020 แทนที่จะจำลองกระบวนการทางกายภาพของการพับ พวกเขาถือว่าการทำนายโครงสร้างคือปัญหาของการ*เติมรูปแบบให้ครบ* ที่ฝังอยู่ในประวัติศาสตร์วิวัฒนาการ ตระกูลโปรตีนที่ถูกอนุรักษ์ไว้ตลอดวิวัฒนาการหลายล้านปีพกลายนิ้วมือทางสถิติไว้ในความแปรผันของลำดับ — เมื่อกรดอะมิโนตำแหน่งหนึ่งกลายพันธุ์ อีกตำแหน่งหนึ่งที่มักอยู่ห่างออกไปในเชิงกายภาพจะกลายพันธุ์ตามเพื่อชดเชยอยู่บ่อยครั้ง เพราะทั้งสองต้องอยู่ชิดกันในโครงสร้างที่พับแล้วและทำงานได้ ไม่อย่างนั้นโปรตีนก็ทำงานต่อไม่ได้ โครงข่ายประสาทของ AlphaFold เรียนรู้ที่จะอ่านสหสัมพันธ์เชิงวิวัฒนาการร่วมเหล่านั้นจากการเรียงเทียบลำดับที่เกี่ยวข้องกันเป็นชุดใหญ่ แล้วอนุมานระยะสามมิติระหว่างกรดอะมิโนได้โดยตรง ไม่เคยจำลองขั้นตอนการพับทางกายภาพแม้แต่ขั้นเดียว (คำอธิบายแนวทางเชิงวิวัฒนาการร่วม สรุปไว้ในบทปริทัศน์วิธีของ AlphaFold เช่น PMC, "Chasing long-range evolutionary couplings in the AlphaFold era")
AlphaFold ทำคะแนนมัธยฐานได้ราว 92.4 บน Global Distance Test ทั่วโปรตีนเป้าหมายของการแข่งขัน ผลประกาศใน CASP14 วันที่ 30 พฤศจิกายน 2020 และทำให้วงการที่ชินกับความคืบหน้าอันเชื่องช้าระดับทศวรรษถึงกับสะดุ้ง คะแนนนั้นสู้ได้กับความละเอียดของวิธีเชิงทดลองอย่างการเลี้ยวเบนรังสีเอกซ์จากผลึก และมันทำได้สม่ำเสมอกับโปรตีนที่โมเดลไม่เคยเห็นมาก่อน (C&EN, "Baker, Hassabis, and Jumper win 2024 Nobel Prize in Chemistry") John Moult นักชีววิทยาเชิงคำนวณ ร่วมก่อตั้ง CASP ในปี 1994 ขึ้นมาเพื่อวัดความคืบหน้าของปัญหานี้โดยเฉพาะ เขาบอกกับ Nature ในตอนนั้นว่า "นี่เรื่องใหญ่... ในความหมายหนึ่ง ปัญหานี้ถูกแก้แล้ว" ("This is a big deal... In some sense the problem is solved") — คำตัดสินที่ผู้ก่อตั้ง CASP เองมีสิทธิ์ออก และเขาก็ยังกำกับมันไว้ด้วยคำว่า "ในความหมายหนึ่ง" (Nature, Callaway, "'It will change everything': DeepMind's AI makes gigantic leap in solving protein structures," 30 November 2020) เดือนตุลาคม 2024 รางวัลโนเบลสาขาเคมียกย่อง Demis Hassabis กับ John Jumper แห่ง DeepMind สำหรับ AlphaFold แบ่งรางวัลร่วมกับ David Baker นักชีวเคมีแห่ง University of Washington สำหรับงานที่เกี่ยวข้องด้านการออกแบบโปรตีนเชิงคำนวณ (Nature, "Chemistry Nobel goes to developers of AlphaFold AI that predicts protein structures")
ขอบเขตที่ซื่อตรงของความสำเร็จนี้สำคัญพอๆ กับขนาดของมัน AlphaFold ทำนายโครงสร้างนิ่ง — รูปทรงที่โปรตีนลงเอย — ไม่ใช่เส้นทางหรือจังหวะเวลาที่มันไปถึงตรงนั้น มันยังทำได้ไม่ดีกับโปรตีนที่มีรูปทรงใช้งานได้หลายแบบ กับผลของการกลายพันธุ์และคู่จับที่มีต่อโครงสร้าง และกับราวหนึ่งในสามของโปรตีโอมมนุษย์ที่เป็นบริเวณไร้ระเบียบโดยธรรมชาติ ไม่เคยลงเอยเป็นรูปทรงตายตัวรูปเดียวเลย (PubMed, "AlphaFold and Protein Folding: Not Dead Yet! The Frontier Is Conformational Ensembles") ปฏิทรรศน์ของ Levinthal — การพับเกิดขึ้นเร็วขนาดนั้นได้อย่างไร — ยังไม่ถูกแก้จริงๆ AlphaFold ตอบคำถามที่แคบกว่าและมีค่าสูง (ลำดับนี้ให้รูปทรงอะไร) ด้วยการไม่ตอบคำถามเชิงพลวัตนั้นเลย
ท่า: เลิกจำลองว่าโปรตีนไปถึงตรงนั้นได้อย่างไร แล้วอ่านรูปทรงออกมาจากญาติร้อยล้านปีของมัน
ท่าประจำบท
Move 08 — หาข้อจำกัดที่รับน้ำหนัก — เงื่อนไขเดียวที่ทำตามหรือหักแล้วชี้ขาดทุกอย่าง
แทบไม่มีข้อเท็จจริงข้อไหนในปัญหาขนาดนี้สำคัญเท่ากันเลย ปัญหาแต่ละข้อบรรจุข้อเท็จจริงที่ถูกต้องอยู่เป็นร้อย และอุปสรรคที่ดูน่าเชื่อถืออีกเป็นสิบ นักแก้ปัญหาแต่ละคนในหอนี้หาเงื่อนไขเดียวที่ปัญหาที่เหลือแขวนอยู่กับมันจริงๆ เจอ แล้วปฏิบัติกับทุกอย่างที่เหลือเป็นฉากหลัง
- ถามว่าข้อเท็จจริงข้อไหนที่ถ้าเปลี่ยนไป จะทำให้ความยากทั้งก้อนยุบลง การค้นหากุญแจประจำวันของ Enigma ใหญ่ระดับดาราศาสตร์ — จนกระทั่งตัวบ่งชี้ซ้ำสอง หรือตัวอักษรที่ไม่มีวันเข้ารหัสเป็นตัวเอง เปลี่ยนมันให้เป็นการอนุมานเชิงตรรกะบ่ายเดียว มองหากฎข้อเดียวที่ระบบนั้นละเมิดไม่ได้
- แยกอุปสรรคที่ดราม่าออกจากอุปสรรคที่ชี้ขาด วิกฤต Apollo 13 ผลิตเหตุฉุกเฉินพร้อมกันเป็นโหล แต่ปัญหา CO2 ถูกแก้ด้วยการตรึงรายการชิ้นส่วน ไม่ใช่ด้วยเคมี ความล้มเหลวของ Challenger มีสาเหตุเชิงองค์กรที่ส่งผลร่วมอยู่เป็นร้อย แต่สาเหตุทางกายภาพคือพฤติกรรมของซีลชิ้นเดียวที่ต่ำกว่าอุณหภูมิค่าเดียว
- เมื่อการบุกแบบเก่าล้มเหลวซ้ำแล้วซ้ำเล่า ให้ถามว่ากำลังสู้กับข้อจำกัดจริง หรือสู้กับตัวล่อ ความพยายามที่ล้มเหลวตลอดสามศตวรรษครึ่งพุ่งชนสมการของ Fermat ตรงๆ Frey, Serre และ Ribet หาโครงสร้างที่รับน้ำหนักจริงเจอในชั้นที่ลึกลงไปหนึ่งชั้น — มอดูลาริตี — แล้ว Wiles ก็ทุ่มแรงลงตรงนั้นแทน
- ข้อจำกัดที่หาเจอแล้วย่อมรอดจากการซ่อมของตัวมันเอง ช่องโหว่ปี 1993 ของ Wiles ไม่ได้แปลว่าการเปลี่ยนกรอบผิด มันแปลว่าไม้แผ่นหนึ่งของสะพานต้องเปลี่ยน ให้แยกความบกพร่องในการหยั่งเห็น (insight) แกนกลาง ออกจากความบกพร่องในเครื่องมือทางเทคนิคที่รับใช้มัน — อย่างแรกส่งกลับไปยังปัญหาเดิม อย่างหลังแค่เสียเวลาไปหนึ่งปี
ต่อไป — บทที่ 09 · สุนทรียะของคำตอบ: ทำไมเส้นทางสั้นถึงให้ความรู้สึกแบบที่มันให้ — ความงามในฐานะสัญญาณของการบีบอัด (compression) เดินข้อโต้แย้งผ่านคัมภีร์ (The Book) ของ Erdős ความซับซ้อนโคลโมโกรอฟ และประสาทวิทยาศาสตร์ที่วันนี้เฝ้าดูการมาถึงของ insight ได้แล้ว
บทถัดไป · 10 / 1209 · สุนทรียะของคำตอบ