Oussama
AmmarTM
กลับไปที่ Off the Record
ภาพประกอบบทความ “ห้าร้อยดอลลาร์ของพอล แอร์ดิช”

Oussama Ammar

ห้าร้อยดอลลาร์ของพอล แอร์ดิช

หรือเรื่องที่ AI เพิ่งสร้างประวัติศาสตร์อีกครั้ง ขณะที่ทุกคนไม่แคร์เลยสักนิด

ตีพิมพ์ครั้งแรกเป็นภาษาฝรั่งเศสใน Flâneries Libres

ราวปี 1995 ชายชราอายุแปดสิบสองปีตัดสินใจเพิ่มเดิมพัน ปัญหาที่เขาตั้งไว้ตั้งแต่ปี 1946 ยังไม่มีใครพิชิตได้ตลอดครึ่งศตวรรษ เขาเคยสัญญาว่าจะให้สามร้อยดอลลาร์แก่คนที่แก้ได้ ตอนนี้เขาเพิ่มรางวัลเป็นห้าร้อย นั่นคือวิธีของเขาที่จะพูดเรื่องง่าย ๆ ว่า ผมเชื่อว่าตัวเองถูกมากเสียจนยอมจ่ายให้คนมาพิสูจน์ว่าผมผิด

พอล แอร์ดิชเสียชีวิตในปีถัดมา ไม่มีใครมารับเงิน เขาจากไปโดยเชื่อมั่นว่าตัวเองคิดถูก

เขาคิดผิด เรารู้เรื่องนี้ตั้งแต่เดือนที่แล้ว และผู้ที่พิสูจน์เรื่องนี้ไม่ใช่นักคณิตศาสตร์

The Mathematical Nomad, Paul Erdős - by Jørgen Veisdal

ชายผู้จ่ายเงินให้คำถามของตัวเอง

แอร์ดิชเป็นบุคคลพิเศษในประวัติศาสตร์วิทยาศาสตร์ ชาวฮังการี เกิดปี 1913 เขาใช้ชีวิตโดยไม่มีบ้าน ไม่มีตำแหน่งงานประจำ แทบไม่มีทรัพย์สิน เดินทางจากมหาวิทยาลัยหนึ่งไปอีกแห่งพร้อมกระเป๋าใบเดียว พักตามบ้านคนโน้นคนนี้ และมีชีวิตเพื่อคณิตศาสตร์เท่านั้น เขาตั้งโจทย์ไว้เกือบหนึ่งพันห้าร้อยข้อ หลายข้อมีเงินรางวัลแนบไว้ และจำนวนเงินบอกระดับความยาก ไม่กี่ดอลลาร์สำหรับโจทย์ที่พอเข้าถึงได้ หลายร้อยสำหรับโจทย์ที่คอยเยาะเย้ยเขา

เขาจ่ายจริง วันหนึ่ง ระหว่างนั่งรถไปเมืองแห่งหนึ่งในรัฐจอร์เจีย เพื่อนร่วมงานเล่าถึงทฤษฎีบทที่เพิ่งพิสูจน์ได้ แอร์ดิชถามว่าเขาเคยตั้งรางวัลสำหรับข้อนี้ไว้หรือเปล่า ทั้งคู่แวะอ้อมไปห้องสมุดเพื่อตรวจสอบ มีรางวัลจริง หนึ่งร้อยดอลลาร์ แอร์ดิชจ่ายเงิน มีคนทักว่าเป็นค่าแท็กซี่ที่แพงไปหน่อย เขาขำมาก

โจทย์ห้าร้อยดอลลาร์ที่ผมกำลังพูดถึงมีชื่อเคร่งขรึมว่า ปัญหาระยะทางหนึ่งหน่วย แต่กลับอธิบายกันได้บนมุมโต๊ะ

โจทย์บนกระดาษหนึ่งแผ่น

วางจุดลงบนกระดาษ นับคู่ของจุดที่ห่างกันเท่ากันพอดี สมมติว่าหนึ่งเซนติเมตร

สองจุด หนึ่งคู่ สามเหลี่ยมด้านเท่า สามคู่ คุณเพิ่มจุด แล้วมองหาการจัดวางที่ดีที่สุด แบบที่ให้คู่ซึ่งห่างกันหนึ่งเซนติเมตรพอดีมากที่สุด

คำถามของแอร์ดิชอยู่ในประโยคเดียว เมื่อมีจุดนับล้าน การจัดวางแบบไหนชนะทุกแบบอื่น

ตลอดแปดสิบปี คำตอบดูเหมือนลงตัวแล้ว ตารางกริด กระดาษตารางที่วางจุดตรงจุดตัด สม่ำเสมอ หนาแน่น มีประสิทธิภาพ แอร์ดิชพิสูจน์แล้วว่ากริดนี้ทำให้ได้จำนวนคู่ถึงระดับหนึ่ง และเขาพนันว่าจะไม่มีใครทำได้ดีกว่านี้อย่างมีนัยสำคัญ ทั้งวงการเห็นตามเขา ผู้เชี่ยวชาญที่เก่งที่สุดชนกำแพงนี้อยู่หลายสิบปี แต่ละคนเดินคนละเส้นทางแล้วกลับมาพบขอบเขตเดิม โดยไม่เคยมองเห็นช่องทางใหม่

เดือนที่แล้ว โมเดลของ OpenAI แสดงให้เห็นว่าเราทำได้ดีกว่ากริด ไม่ใช่บังเอิญดีกว่าในกรณีเฉพาะ แต่ดีกว่าโดยทั่วไป ด้วยโครงสร้างที่ยังใช้ได้เมื่อจำนวนจุดเพิ่มขึ้น โกเวอร์ส ผู้ได้รับเหรียญฟิลด์ส บอกว่าถ้ามนุษย์เขียนบทพิสูจน์นี้แล้วส่งให้วารสาร เขาจะลงคะแนนให้ตีพิมพ์โดยไม่ลังเล

ทำไมจึงไม่เคยมีใครพบ

ตรงนี้เองที่เรื่องเริ่มน่าสนใจ และเลิกเป็นเรื่องคณิตศาสตร์เพื่อกลายเป็นเรื่องของเรา

ลองนึกว่าทุกคนกำลังหาสมบัติในทุ่ง ตลอดแปดสิบปี เราขุดทุ่งนั้น เพราะสมบัติอยู่ในทุ่ง มันเห็น ๆ กันอยู่ โมเดลกลับไปขุดในป่าข้าง ๆ สมบัติอยู่ในป่า

ป่านั้นมีชื่อว่าทฤษฎีจำนวนเชิงพีชคณิต เป็นพื้นที่หนึ่งของคณิตศาสตร์ที่ดูเหมือนไม่เกี่ยวอะไรกับจุดบนกระดาษ ไม่มีใครไปหาที่นั่น เพราะไม่มีอะไรบอกว่าควรไป

โทมัส บลูม นักคณิตศาสตร์ผู้ดูแลรายการโจทย์ของแอร์ดิช อธิบายว่าต้องมีอะไรอยู่ในคนคนเดียวจึงจะค้นพบคำตอบได้ สี่อย่างที่ไม่เคยอยู่ร่วมกัน ทุ่มเวลาให้มันมากจนไม่สมเหตุสมผล พยายามพิสูจน์ว่าแอร์ดิชผิดในขณะที่ทั้งวิชาชีพเชื่อว่าเขาถูก นั่นคือพายทวนน้ำหลายเดือน มีความคิดแปลกประหลาดว่าจะลองไปดูในป่า และรู้จักป่าอันห่างไกลนั้นดีพอที่จะหาทางได้

คนที่มีครบทั้งสี่เงื่อนไขไม่มีอยู่จริง หรือถ้ามี เขาก็คงมีอะไรที่ดีกว่าสำหรับอาชีพของตัวเองให้ทำ มากกว่าพนันสวนฉันทามติครึ่งศตวรรษ คุณไม่สละชีวิตสามปีไปขุดป่าเมื่อทุกคนยืนยันว่าสมบัติอยู่ในทุ่ง นั่นเป็นการคำนวณที่ไม่คุ้ม และมนุษย์เป็นสัตว์ที่คำนวณ

เครื่องจักรไม่ได้คำนวณแบบนั้น มันไม่มีอาชีพ ไม่มีอัตตาที่เจ็บจนเลือดออก ไม่มีชื่อเสียงให้รักษาต่อหน้าเพื่อนร่วมวงการ มันขุดในป่าเพราะมันขุดทุกที่ โดยไม่มีอคติว่าสมบัติควรนอนอยู่ตรงไหน มันไม่รู้ว่าเราไม่ควรไปหาตรงนั้น

สิ่งที่การค้นพบนี้ทำให้เสียหาย

เราผูกพันกับเรื่องเล่าแบบหนึ่งเกี่ยวกับการค้นพบมาก อัจฉริยะเกิดความกระจ่างฉับพลัน แอปเปิลตก นิวตันเข้าใจ จิตที่เหนือกว่ามองเห็นสิ่งที่คนอื่นไม่เคยเห็นในพริบตา เราชอบเรื่องนี้ เพราะมันทำให้จิตอันยิ่งใหญ่เป็นข้อยกเว้นของธรรมชาติ และทำให้สัญชาตญาณเป็นประกายไฟที่ทั้งอธิบายและสร้างซ้ำไม่ได้

เครื่องจักรนี้ทำให้เรื่องเล่านั้นบิ่นไป

มันไม่ได้เกิดความกระจ่างฉับพลัน ไม่ได้เห็นความจริงในแสงวาบ มันทำตรงกันข้าม มันสำรวจเส้นทางที่เราตัดสินทิ้งไปล่วงหน้าอย่างไม่ลดละ มันผลักประตูที่ทุกคนคิดว่าปิดอยู่ ด้วยเหตุผลเดียวว่ามันเป็นประตู และมันลองทุกบาน

นั่นจึงเป็นที่มาของคำถามที่ตามหลอกหลอนผมตั้งแต่อ่านเรื่องนี้ ถ้าสัญชาตญาณไม่เคยมีอะไรเป็นเวทมนตร์เลยล่ะ ถ้าสัญชาตญาณของนักคณิตศาสตร์ผู้ยิ่งใหญ่ก็เป็นเพียงการสำรวจ ที่ไปไกลกว่าและเร็วกว่าเพื่อนข้าง ๆ แต่ทำจากเนื้อเดียวกันล่ะ เราอาจสร้างแนวคิดเรื่องพรสวรรค์ขึ้นมาเพื่อไม่ต้องเผชิญความจริงที่ธรรมดากว่านั้น อัจฉริยะไม่ได้เห็นสิ่งที่คนอื่นไม่เห็น เขาแค่ขุดต่ออีกหน่อยก่อนยอมแพ้

ดูสิ่งที่เกิดขึ้นตรงนี้ ปัญหาไม่ได้ต้านทานมาถึงแปดสิบปีเพราะมันยากเกินสติปัญญามนุษย์ แต่มันต้านทานเพราะไม่มีสมองไหนสามารถ หรืออยาก สำรวจทิศทางที่น่าท้อใจขนาดนั้นนานขนาดนั้น มันไม่ใช่เรื่องความสามารถ แต่เป็นเรื่องความอดทนกับอายุขัย เราตายเร็วเกินไป เราเหนื่อยหน่าย เราต้องการให้เดิมพันได้ผลตอบแทนก่อนจุดจบ เรากลัวความอับอายจากการคิดผิดใต้สายตาคนอื่น เครื่องจักรไม่รู้จักพันธนาการเหล่านี้เลย มันไม่เหนื่อย ไม่ตายกลางการคำนวณ และไม่รู้สึกอาย

สิ่งที่เราคิดว่าเป็นความสูงส่งของจิตใจ อาจเป็นเพียงเงาของข้อจำกัดของเรา

สิ่งที่ผมยังเหลือ

ผมไม่ได้สรุปว่าสติปัญญามนุษย์ไร้ค่า ผมสรุปว่าหนึ่งในความรุ่งโรจน์ของมัน คือสัญชาตญาณอันทรงอำนาจ น่าจะเป็นตำนานที่เราเล่าถึงงานอันอดทนซึ่งปลอมตัวเป็นแสงวาบ

ผมยังเหลือสิ่งปลอบใจหนึ่งอย่าง และไม่รู้ว่ามันจะอยู่ได้นานแค่ไหน เครื่องจักรค้นป่า แต่เป็นมนุษย์ที่ชี้ทุ่งให้มัน เครื่องจักรแก้โจทย์ แต่เป็นแอร์ดิชเมื่อครึ่งศตวรรษก่อนที่ตัดสินว่าโจทย์นี้คู่ควรกับชีวิตหนึ่งชีวิตและเงินห้าร้อยดอลลาร์ การเลือกคำถาม ตัดสินว่ามันคุ้มที่จะทุ่มจนหมดแรง ยังไม่ตกอยู่ในมือเครื่องจักร เหลือแต่ต้องดูว่าการเลือกนั้นเป็นเรื่องรสนิยมและความหมายจริงหรือไม่ หรือเป็นเพียงการสำรวจอีกแบบที่เรายังทำให้เป็นกลไกไม่เสร็จ

ผมไม่มีคำตอบ ผมแค่คิดว่าคำถามนี้สมควรได้รับมากกว่าการยักไหล่ เพราะทุกครั้งที่เครื่องจักรข้ามขั้นหนึ่งได้ เราก็ย้ายขั้นนั้น เมื่อวานมันยังทำแบบฝึกหัดมัธยมต้นไม่ได้ วันนี้มันหักล้างแอร์ดิช และก็มีคนเริ่มอธิบายแล้วว่านั่นไม่นับจริง ๆ ว่านั่นไม่ใช่การคิด ย้ายเกณฑ์กันไปเรื่อย ๆ จนเราไม่รู้แล้วว่าเกณฑ์อยู่ตรงไหน เป็นวิธีสง่างามที่จะไม่ต้องมองตัวเองตรง ๆ เลย

บทพิสูจน์ที่งดงามก็ยังงดงาม ไม่ว่าจะเกิดจากสมองหรือการ์ดจอ ความจริงไม่สนว่าใครค้นพบ เราต่างหากที่สน และความกระอักกระอ่วนที่รู้สึกเมื่อได้รู้ว่าเครื่องจักรขุดในที่ที่อัจฉริยภาพของเรายังไม่เคยคิดจะหิ้วพลั่วไป ผมเชื่อว่าการเผชิญมันตรง ๆ ดีกว่าการปัดมันทิ้งด้วยคำพูดซ้ำ ๆ ว่ามันก็ไม่ได้ยากขนาดนั้นอย่างเทียบกันไม่ได้

แอร์ดิชคงจ่ายเงินห้าร้อยดอลลาร์ เขาคงเห็นว่าเป็นเรื่องยอดเยี่ยม และการแวะอ้อมไปห้องสมุดครั้งนี้ก็ตลกกว่าครั้งก่อนเสียอีก

แล้วพบกันสัปดาห์หน้า…

Better Call Ouss ไม่ใช่การพิตช์ แต่เป็นบทสนทนาจริง ๆ มาในสภาพที่คุณเป็นได้เลย จะอยู่กลางความวุ่นวาย มีความคิดที่ยังไม่ชัด ธุรกิจที่ชะงัก หรือโปรเจกต์ที่เริ่มแล้วก็ได้ ไม่ต้องวางท่า ไม่ต้องกรอง เรามองสิ่งต่าง ๆ ตรง ๆ วางทุกเรื่องลงบนโต๊ะ แล้วกลับออกไปพร้อมความชัดเจนมากขึ้น พลังมากขึ้น และบ่อยครั้งคือแผนลงมือง่าย ๆ นี่ไม่ใช่สำหรับคนที่เข้าใจทุกอย่างแล้ว แต่สำหรับคนที่อยากเดินหน้าต่อ

จองเวลาคุย: Better Call Ouss!