10 · นักแก้ปัญหาแห่งอนาคต
เส้นทางที่สั้นที่สุด — ประวัติศาสตร์ของศิลปะและศาสตร์แห่งการแก้ปัญหา
โซล มีนาคม 2016
Lee Sedol แพ้เกมแรกไปแล้ว ตอนที่เขานั่งลงเล่นเกมที่สองที่โรงแรม Four Seasons วันที่สิบมีนาคม คู่แข่งคือซอฟต์แวร์ชิ้นหนึ่งในแมตช์ห้าเกม ที่เขาเคยทำนายว่าตัวเองจะกวาด 5–0 (AlphaGo versus Lee Sedol, Wikipedia) หมากที่ 37 ของเกมสอง AlphaGo เล่นฝ่ายดำ วางหมากลงบนเส้นที่ห้า ลึกเข้าไปทางขวาของกระดาน ในจุดที่ไม่มีผู้เล่นมนุษย์ฝีมือดีคนไหนคิดจะวาง นักวิจารณ์ที่ดูถ่ายทอดสดคิดว่าเป็นบั๊ก Fan Hui แชมป์ยุโรปที่ AlphaGo เอาชนะไปแล้วในแมตช์ปิดเมื่อเดือนตุลาคมปีก่อน พูดสั้นๆ ว่า "มันไม่ใช่หมากของมนุษย์ ผมไม่เคยเห็นมนุษย์เดินหมากนี้" ("It's not a human move. I've never seen a human play this move") (DeepMind, AlphaGo) Lee Sedol ลุกออกจากโต๊ะไปนานกว่าสิบห้านาที สี่ชั่วโมงครึ่งให้หลังเขายอมแพ้ AlphaGo นำแมตช์ 2–0 (AlphaGo versus Lee Sedol, Wikipedia)
ตัวเลขที่ค้างอยู่ในความทรงจำคือความน่าจะเป็นตัวเดียว: โครงข่ายนโยบาย (policy network) ของ AlphaGo เองประเมินว่าโอกาสที่มืออาชีพมนุษย์จะวางหมากตรงนั้นอยู่ที่ราวหนึ่งในหมื่น (DeepMind, AlphaGo) โกะถูกเล่นมาราวสองพันห้าร้อยปี Move 37 ไม่ใช่กลที่ท่องจำมา ไม่ใช่การเปิดดูฐานข้อมูล — พื้นที่ค้นหาของโกะใหญ่กว่าจำนวนอะตอมในเอกภพที่สังเกตได้ ตารางค้นหาใดก็รับไม่ไหว — มันคือหมากที่ไม่เคยมีบันทึกว่ามนุษย์คนไหนวางไว้ตรงนั้น และเครื่องจักรที่ใช้เวลาหลายเดือนเล่นกับตัวเองเดินทางไปถึงเอง หนังสือเล่มนี้ใช้เก้าบทเถียงว่าการแก้ปัญหาที่ยิ่งใหญ่ไม่ใช่การค้นหา (search) ที่ลึกลงไปในพื้นที่ตายตัว แต่คือการเปลี่ยนพื้นที่ — สถานะ (state) ชุดใหม่ ตัวดำเนินการ (operator) ชุดใหม่ เส้นทางที่สั้นลง Move 37 คือช่วงเวลาที่ข้อกล่าวอ้างนั้นเลิกเป็นคำบรรยายอัจฉริยภาพของมนุษย์ แล้วกลายเป็นคำบรรยายของอย่างอื่น: ระบบหนึ่งหาเส้นทางที่สั้นกว่าได้ ในพื้นที่ที่ปรมาจารย์มนุษย์ทุกคนเชื่อว่าตัวเองทำแผนที่ไว้หมดแล้ว
การขยายผลมาเร็ว ภายในยี่สิบเดือน AlphaZero ระบบรุ่นถัดมาของ DeepMind ได้รับแค่กติกาของหมากรุก โชกิ และโกะ — ไม่มีตำราเปิดเกม ไม่มีเกมของแกรนด์มาสเตอร์ ไม่มีการปรับจูนเฉพาะโดเมน — แล้วถูกสั่งให้เล่นกับตัวเอง อัลกอริทึมเดียว ไฮเปอร์พารามิเตอร์ชุดเดียว ใช้ข้ามทั้งสามเกม มันไปถึงระดับเหนือมนุษย์ในทุกเกมภายในยี่สิบสี่ชั่วโมงของการเล่นกับตัวเอง และเอาชนะโปรแกรมแชมป์โลกที่ครองตำแหน่งอยู่ในแต่ละเกม (Silver et al., "A general reinforcement learning algorithm that masters chess, shogi and Go through self-play," 2017) บทเรียนของ Move 37 ไม่ใช่ "โกะถูกแก้แล้ว" แต่คือ "เครื่องจักรที่เปลี่ยนกรอบ (reframe) พื้นที่ปัญหา (problem space) ของตัวเองได้โดยไม่มีใครช่วย ขยายผลไปยังปัญหาที่ผู้ออกแบบไม่เคยแสดงให้มันดู" บทนี้ต้องเอาจริงกับประโยคนั้น เพราะมันคือประโยคที่หนังสือทั้งเล่มมุ่งมาหา
แนวหน้าของบทพิสูจน์
คณิตศาสตร์เถียงกันเรื่องนี้มาก่อน Move 37 นานแล้ว: เส้นทางของเครื่องจักรนับเป็นเส้นทางหรือเปล่า ปี 1976 Kenneth Appel กับ Wolfgang Haken ทำงานร่วมกับอัลกอริทึมที่ John Koch สร้างขึ้น พิสูจน์ทฤษฎีบทสี่สี — แผนที่ใดก็ตามระบายได้ด้วยสี่สี โดยไม่มีสองพื้นที่ที่ติดกันใช้สีเดียวกัน — วิธีคือลดพื้นที่อนันต์ของแผนที่ที่เป็นไปได้ให้เหลือ 1,936 โครงแบบที่เลี่ยงไม่ได้ แล้วให้คอมพิวเตอร์ตรวจทีละอันด้วยการไล่ทุกทาง (brute force) การวิเคราะห์กรณีครอบคลุมราวหนึ่งพันล้านกรณีย่อย ไม่มีมนุษย์คนไหนทำด้วยมือได้ (AMS Blogs, "The Four Color Theorem"; Quanta Magazine, "Only Computers Can Solve This Map-Coloring Problem From the 1800s," 2023) มันคือทฤษฎีบทสำคัญข้อแรกที่พิสูจน์ได้โดยต้องพึ่งคอมพิวเตอร์อย่างขาดไม่ได้ และมันแบ่งวงการออกเป็นสองฝ่าย ฝ่ายเคร่งจารีตถือว่าบทพิสูจน์ต้องตรวจได้ทีละบรรทัดด้วยจิตมนุษย์ ของ Appel–Haken ไม่ใช่แบบนั้น ดังนั้นการเชื่อมันคือการเชื่อว่าโปรแกรมรันถูกต้อง ไม่ใช่การเชื่อสายโซ่ของการให้เหตุผล — ข้อโต้เถียงนี้ห้าสิบปีให้หลังก็ยังไม่เคยปิดสนิท (Quanta Magazine, 2023)
ทศวรรษ 2020 ตอบคำถาม "เราจะเชื่อบทพิสูจน์ที่ไม่มีใครอ่านจบตั้งแต่ต้นจนจบได้อย่างไร" ด้วยการทำให้เครื่องจักรเองเป็นผู้อ่าน ไม่ใช่ด้วยการเลิกใช้เครื่องจักร Lean คือผู้ช่วยพิสูจน์ (proof assistant) และ mathlib คือไลบรารีที่ชุมชนสร้างขึ้น ทั้งสองทำให้นักคณิตศาสตร์เขียนบทพิสูจน์ในภาษาที่คอมพิวเตอร์ตรวจได้ทีละบรรทัดด้วยความเข้มงวดเต็มที่ — ไม่มีขั้นไหนถูกรับด้วยความเชื่อใจ ไม่มีเลย พอถึงกลางทศวรรษ 2020 mathlib โตขึ้นเป็นนิยามกว่า 115,000 รายการและทฤษฎีบทกว่า 232,000 ข้อ กระจายอยู่ในโค้ดราว 1.5 ล้านบรรทัด (Bianchini et al., "A Comprehensive Survey of the Lean 4 Theorem Prover," 2025) สร้างโดยชุมชนผู้ร่วมสมทบที่มีมากกว่าหนึ่งพันคนไปมาก จุดที่มันเติบโตเป็นผู้ใหญ่คือเดือนธันวาคม 2020 Peter Scholze เจ้าของเหรียญ Fields ท้าชุมชนการทำให้เป็นรูปนัย (formalisation) อย่างเปิดเผย ให้ตรวจสอบทฤษฎีบทใหม่ที่ยากข้อหนึ่งของเขากับ Dustin Clausen เรื่อง liquid vector spaces ด้วย Lean — ผลลัพธ์ที่ Scholze เองยังไม่มั่นใจเต็มร้อยว่าถูกต้อง สิบแปดเดือนต่อมา ที่เวิร์กช็อปในเมือง Providence รัฐ Rhode Island "Liquid Tensor Experiment" เสร็จสมบูรณ์: ทฤษฎีบทผ่าน ผู้ตรวจไม่ใช่มนุษย์ที่ต้องไว้ใจ แต่เป็นเครื่องจักรที่รับขั้นที่ไม่สมเหตุสมผลไม่ได้เลย (Lean community blog, "Completion of the Liquid Tensor Experiment," 2022) ไลบรารีเดียวกันนี้กำลังถูกใช้ในโครงการที่แยกออกไปและยาวกว่ามาก เพื่อตรวจสอบบทพิสูจน์ของ Andrew Wiles ใหม่ทีละบรรทัด (บทที่ 08 เล่าเรื่องราวฝั่งมนุษย์ของบทพิสูจน์นั้นไว้แล้ว); ตรงนี้เครื่องจักรไม่ใช่ผู้ค้นพบ แต่เป็นผู้อ่านที่ติดสินบนไม่ได้
ลำดับถัดไปคือการค้นพบ ไม่ใช่แค่การตรวจสอบ วันที่ 25 กรกฎาคม 2024 Google DeepMind ประกาศว่าระบบผสมชุดหนึ่งแก้โจทย์ได้สี่ในหกข้อของ International Mathematical Olympiad ปี 2024 ระบบนั้นคือ AlphaProof ตัวพิสูจน์แบบเรียนรู้เสริมกำลังที่สร้างบนกลไกเล่นกับตัวเองชุดเดียวกับ AlphaZero จับคู่กับ AlphaGeometry 2 ผู้เชี่ยวชาญเรขาคณิต คะแนน 28 จาก 42 เท่ากับเกณฑ์เหรียญเงิน ห่างจากเหรียญทองหนึ่งคะแนน (DeepMind, "AI achieves silver-medal standard solving International Mathematical Olympiad problems," 2024) AlphaProof แก้โจทย์ที่ยากที่สุดในชุดข้อสอบได้อย่างสมบูรณ์ — โจทย์ที่ผู้เข้าแข่งขันมนุษย์กว่าหกร้อยคนแก้ได้เต็มเพียงห้าคน (DeepMind, 2024) วิธีการฉบับเต็มตีพิมพ์ใน Nature เดือนพฤศจิกายน 2025 (Nature, "Olympiad-level formal mathematical reasoning with reinforcement learning," 2025)
เหรียญทองมาถึงในปีถัดมา จากสองทิศทางพร้อมกัน และความต่างระหว่างสองทิศทางนั้นสำคัญ ที่ IMO ปี 2025 Gemini Deep Think ของ Google เวอร์ชันทดลอง แก้ได้ห้าในหกข้อ ได้ 35 จาก 42 คะแนน — และต่างจากผลปี 2024 ตรงที่บทพิสูจน์ถูกตรวจและรับรองโดยผู้ประสานงาน IMO ตัวจริง ด้วยเกณฑ์เดียวกับที่ใช้กับผู้เข้าแข่งขันมนุษย์ เป็นครั้งแรกสำหรับระบบ AI ใดๆ (DeepMind, "Advanced version of Gemini with Deep Think officially achieves gold-medal standard," 2025) ก่อนหน้านั้นไม่กี่วัน OpenAI ประกาศว่าโมเดลการให้เหตุผลอเนกประสงค์รุ่นทดลองก็ทำได้ 35 จาก 42 เช่นกันภายใต้เงื่อนไขการแข่งขัน โดยมีอดีตผู้ได้เหรียญ IMO สามคนตรวจบทพิสูจน์ — OpenAI รายงานผลนี้เอง ผู้ประสานงานของโอลิมปิกไม่ได้รับรอง (OpenAI, 19 July 2025; บทสรุปของ Simon Willison, 2025) ความต่างตรงนั้น — ตรวจอย่างเป็นทางการ กับรายงานตัวเอง — สำคัญกว่าพาดหัวข่าวทั้งสองอัน และมันวนกลับมาทุกที่ในบทนี้: คะแนนของเครื่องจักรน่าเชื่อถือได้แค่เท่าที่มีใครสักคนยินดีตรวจมันกับกฎที่ไม่มีใครควบคุมได้ ไม่กี่เดือนต่อมา Gemini Deep Think ทำแบบเดียวกันซ้ำในวิทยาการคอมพิวเตอร์ ไปถึงระดับเหรียญทองที่ ICPC World Finals ปี 2025 หนึ่งในการแข่งขันเขียนโปรแกรมที่ยากที่สุด (DeepMind, "Gemini achieves gold-medal level at the International Collegiate Programming Contest World Finals," 2025)
พอถึงต้นปี 2026 แนวหน้าเคลื่อนจากโจทย์แข่งขันที่มีคำตอบอยู่แล้ว ไปสู่โจทย์ที่เปิดอยู่จริง นักคณิตศาสตร์ Terence Tao ทำบัญชีสาธารณะที่เดินต่อเนื่องว่า AI มีส่วนแก้โจทย์ Erdős ที่ยังไม่ถูกแก้ไปแค่ไหน — คำถามเปิดหลายร้อยข้อที่ Paul Erdős ทิ้งไว้ รวบรวมไว้ที่ erdosproblems.com — และในเดือนมกราคม 2026 เขาบันทึกการข้ามธรณีประตูหนึ่ง: โจทย์ Erdős ข้อ #728 ถูกแก้ "โดยอัตโนมัติไม่มากก็น้อย" ("more or less autonomously") โดย GPT-5.2 Pro ของ OpenAI คำตอบซื่อตรงต่อเจตนาที่โจทย์ตั้งใจไว้ (เจตนานั้นเองก็เพิ่งถูกชุมชน erdosproblems.com ประกอบขึ้นใหม่ได้ถูกต้องเมื่อไม่นานมานี้) และให้ผลลัพธ์ที่ไม่ปรากฏอยู่ที่ไหนในวรรณกรรมที่มีอยู่; เครื่องมือตัวที่สองชื่อ Aristotle แปลบทพิสูจน์นั้นเป็น Lean ซึ่งจับและช่วยแก้ข้อผิดพลาดเล็กๆ ไม่กี่จุดระหว่างทาง (Tao, Mathstodon, 7 January 2026; The Decoder, 16 January 2026) กรอบที่ Tao วางไว้เองคือกรอบที่ควรยืมมาใช้ โจทย์ Erdős ยากต่างกัน "หลายอันดับของขนาด" และโจทย์ที่ง่ายกว่าหลายข้อก็แค่ไม่เคยมีนักคณิตศาสตร์จริงจังคนไหนลองทำ โจทย์ที่เปิดค้างมาห้าสิบปีจึงไม่ได้แปลว่ามันต้านความพยายามของมนุษย์มาห้าสิบปี (Tao, GitHub wiki, "AI contributions to Erdős problems," 2026) ประมาณการของเขา ณ เวลาที่เขียนนั้น: มีเพียงหนึ่งถึงสองเปอร์เซ็นต์ของโจทย์ Erdős ที่ยังเปิดอยู่ตอนนี้ ที่อยู่ในระยะเอื้อมของเครื่องมือปัจจุบันโดยมนุษย์ชี้แนะน้อยที่สุด (Tao, GitHub wiki, 2026) — ความคืบหน้าจริง ล้อมกรอบไว้อย่างซื่อสัตย์ บนกิ่งที่ต่ำที่สุดของต้นไม้ที่สูงมาก
เครื่องจักรที่คิดค้นอัลกอริทึม
การพิสูจน์ทฤษฎีบทคือการค้นหาแบบหนึ่ง การคิดค้นอัลกอริทึมที่การค้นหาอื่นวิ่งอยู่บนนั้นเป็นการค้นหาอีกแบบ และแปลกกว่า — เพราะตอนนี้ "พื้นที่ปัญหา" คือพื้นที่ของ*อัลกอริทึมที่เป็นไปได้* และสิ่งที่เครื่องจักรยื่นกลับมาคือวิธี ไม่ใช่คำตอบ
เดือนตุลาคม 2022 AlphaTensor ของ DeepMind ค้นพบอัลกอริทึมคูณเมทริกซ์ที่ดีที่สุดเท่าที่รู้จักซ้ำอีกครั้ง และในหลายกรณีก็เอาชนะมัน ระบบนี้สร้างบนสถาปัตยกรรมของ AlphaZero โดยตรง โดยเปลี่ยนกรอบการคูณเมทริกซ์ให้เป็นเกมผู้เล่นเดียวของการแยกส่วนเทนเซอร์ วิธีคูณแบบใหม่ที่มันพบเร็วกว่าวิธีมาตรฐาน 10 ถึง 20 เปอร์เซ็นต์บนฮาร์ดแวร์จริงอย่าง GPU V100 ของ Nvidia (DeepMind/Nature, October 2022, ผ่านบทสรุปของ Wikipedia; MarkTechPost, October 2022) หนึ่งปีให้หลัง FunSearch พบการสร้างแบบใหม่สำหรับปัญหา cap set ระบบนี้จับคู่โมเดลภาษาขนาดใหญ่เข้ากับตัวตรวจอัตโนมัติและวงวนการค้นหาเชิงวิวัฒนาการ ปัญหา cap set เป็นคำถามเชิงการจัดหมู่ว่าจะวางจุดในตารางได้กี่จุดโดยไม่มีสามจุดใดอยู่ในแนวเดียวกัน Terence Tao เองเรียกมันว่าเป็นหนึ่งในคำถามเปิดที่เขาชอบที่สุด; ในแปดมิติ FunSearch พบ cap set ขนาด 512 จุด ผลลัพธ์นี้ไม่มีอยู่ที่ไหนในข้อมูลฝึกของมัน และวงการไม่เคยรู้จัก (MIT Technology Review, "Google DeepMind used a large language model to solve an unsolved math problem," December 2023; DeepMind, "FunSearch")
ปี 2025 DeepMind ขยายกลนี้ให้ทั่วไปขึ้นเป็น AlphaEvolve — เอเจนต์เขียนโค้ดที่ขับด้วย Gemini มันเสนอโปรแกรมที่เป็นตัวเลือก ให้ตัวประเมินอัตโนมัติให้คะแนน แล้ววิวัฒน์ตัวเลือกที่ดีที่สุดต่อไปข้างหน้า ใช้กับปัญหาเปิดข้ามสาขาวิเคราะห์ เรขาคณิต การจัดหมู่ และทฤษฎีจำนวน (DeepMind, "AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms," 2025; Novikov et al., "AlphaEvolve: A coding agent for scientific and algorithmic discovery," 2025) จากปัญหาแบบนั้นกว่าห้าสิบข้อ AlphaEvolve เสมอกับคำตอบที่ดีที่สุดที่มนุษย์รู้จักราว 75 เปอร์เซ็นต์ของครั้ง และทำได้ดีกว่าราว 20 เปอร์เซ็นต์ของครั้ง (DeepMind, 2025) ผลที่สะดุดตาที่สุดชิ้นเดียวของมัน: วิธีคูณเมทริกซ์ 4 คูณ 4 สองตัวด้วยการคูณสเกลาร์ 48 ครั้ง แทนที่จะเป็น 49 ครั้งตามที่อัลกอริทึมปี 1969 ของ Volker Strassen ต้องใช้ — การปรับปรุงครั้งแรกในกรณีเฉพาะนั้นในรอบห้าสิบหกปี และต่างจากการเร่งความเร็วบางอันก่อนหน้า ตรงที่มันเรียกซ้ำขึ้นไปยังเมทริกซ์ที่ใหญ่กว่าได้อย่างสะอาด (DeepMind, 2025) บทที่ 06 บรรยายคณิตศาสตร์ของความยาก (hardness) — กำแพงที่พิสูจน์ว่าบางปัญหาไม่มีใครบีบอัดได้ AlphaTensor, FunSearch และ AlphaEvolve ไม่ได้ขยับกำแพงนั้น พวกมันเดินเข้าไปใกล้มันมาก เร็วกว่าที่ทีมมนุษย์ทีมไหนเคยเดิน บนปัญหาที่กำแพงไม่ได้ห้าม
ทั้งสามระบบเป็นระบบเฉพาะกิจ: สร้าง ปรับจูน และให้คะแนนกับปัญหาแคบชนิดเดียว การเปลี่ยนแปลงที่ทั่วไปกว่า และปรับรูปการใช้ AI ในชีวิตประจำวันไปแล้วภายในกลางปี 2026 คือ "test-time compute" หรือ "test-time search" — โมเดลภาษาอเนกประสงค์ได้ใช้การคำนวณเพิ่ม*ในขณะที่ถูกถามคำถาม* ไม่ใช่เฉพาะตอนฝึก มันสร้าง ตรวจ และแก้การให้เหตุผลของตัวเองก่อนจะผูกมัดกับคำตอบ OpenAI เปิดตัวสิ่งนี้ต่อสาธารณะด้วยโมเดล o1 เมื่อวันที่ 12 กันยายน 2024 และอธิบายว่าเป็นโมเดลที่ถูกฝึกให้คิดนานขึ้นก่อนตอบ ผ่านการเรียนรู้เสริมกำลังบนสายการให้เหตุผล (OpenAI, "Learning to reason with LLMs," 2024) สามเดือนต่อมา o3 ทำคะแนน 87.5 เปอร์เซ็นต์บนเกณฑ์วัด (benchmark) ARC-AGI — ข้อสอบที่สร้างขึ้นมาเพื่อต้านการท่องจำโดยเฉพาะ — ด้วยการตั้งค่าแบบใช้การคำนวณสูง ผู้ดูแล benchmark เองเรียกการกระโดดนี้ว่าไม่เคยมีมาก่อน เพราะตลอดสี่ปีก่อนหน้า โมเดลไปได้จากราวศูนย์ถึงห้าเปอร์เซ็นต์บนข้อสอบเดียวกัน (ARC Prize, "OpenAI o3 Breakthrough High Score on ARC-AGI-Pub," 2024) เดือนมกราคม 2025 ทีมจาก Stanford แสดงให้เห็นว่ากลหลักนั้นทำซ้ำได้ในราคาถูก: "budget forcing" — แค่บังคับให้โมเดลให้เหตุผลต่อโดยเติมคำว่า "Wait" เข้าไปตอนมันพยายามจะหยุด — สร้างเส้นโค้งการขยายผลของ OpenAI ขึ้นมาใหม่ได้ ด้วยโมเดลที่ปรับละเอียดบนตัวอย่างเพียงหนึ่งพันชิ้น (Muennighoff et al., "s1: Simple test-time scaling," 2025) พอถึงปี 2026 ทุกแล็บใหญ่ — ซีรีส์ o ของ OpenAI, โมเดล Claude แบบ extended thinking ของ Anthropic, สาย Gemini Deep Think และ Flash Thinking ของ Google — ส่งเวอร์ชันหนึ่งของสิ่งนี้ออกมา: โมเดลที่เมื่อได้คำถามยาก ไม่ได้แค่ระลึกคำตอบ แต่รันการค้นหาภายในบนเส้นทางการให้เหตุผลที่เป็นไปได้ ก่อนจะผูกมัดกับเส้นทางหนึ่ง บทที่ 05 ไล่การค้นหาจากอัลกอริทึมของ Dijkstra ไปถึง A*; "test-time search" ณ เวลาที่เขียนนี้หมายความว่า การค้นหาที่บทที่ 05 บรรยายไว้ ตอนนี้วิ่งอยู่เงียบๆ โดยปริยาย อยู่ในกล่องที่ตอบคำถามของคุณ
เซนทอร์ และวันหมดอายุของมัน
หมากรุกเล่าเรื่องนี้ไปแล้วครั้งหนึ่ง หนึ่งในสี่ศตวรรษก่อน Move 37 และคุ้มที่จะกลับไปดู เพราะมันไม่ได้จบแบบที่คนคิดมันขึ้นมาคาดไว้
Garry Kasparov ไม่ได้ถอยหนีจากคอมพิวเตอร์ หลังแพ้แมตช์รีแมตช์ปี 1997 ให้ Deep Blue ของ IBM — ความพ่ายแพ้ครั้งแรกของแชมป์โลกที่ครองตำแหน่งอยู่ต่อเครื่องจักรภายใต้เงื่อนไขการแข่งขัน — เขาเสนอ "advanced chess": มนุษย์คนหนึ่งที่มีเอนจินช่วย เล่นกับมนุษย์อีกคนที่มีเอนจินช่วยเหมือนกัน โดยมนุษย์เป็นผู้ตัดสินใจขั้นสุดท้ายทุกครั้ง (Wikipedia, "Advanced chess") หลักฐานยืนยันแนวคิดที่ชัดที่สุดมาถึงในปี 2005 ที่การแข่งขัน PAL/CSS Freestyle: มือสมัครเล่นชาวอเมริกันสองคน ใช้โปรแกรมหมากรุกธรรมดาสามตัว ไม่มีซูเปอร์คอมพิวเตอร์ ชนะสนามที่มีทั้งแกรนด์มาสเตอร์ที่รันซูเปอร์คอมพิวเตอร์เฉพาะทาง และเอนจินที่รันตามลำพัง (Wikipedia, "Advanced chess"; AME3, "Centaur Chess") บทสรุปของ Kasparov ต่อผลนั้นกลายเป็นประโยคที่ถูกอ้างมากที่สุดประโยคหนึ่งในวรรณกรรมทั้งหมดว่าด้วยทีมมนุษย์-เครื่องจักร: "มนุษย์อ่อน + เครื่องจักร + กระบวนการที่ดีกว่า เหนือกว่าคอมพิวเตอร์แข็งแกร่งที่อยู่ลำพัง และที่น่าทึ่งกว่านั้น เหนือกว่ามนุษย์แข็งแกร่ง + เครื่องจักร + กระบวนการที่ด้อยกว่า" ("weak human + machine + better process was superior to a strong computer alone and, more remarkably, superior to a strong human + machine + inferior process") (Kasparov, "Weak Human, Strong Force," War on the Rocks, 2022) บทเรียนนี้ขยายผลไปไกลเกินหมากรุก: ทักษะในการกำกับเครื่องมืออาจมีน้ำหนักมากกว่ากำลังดิบของเครื่องมือ หรือของคนคนนั้น เพียงลำพัง
หน้าต่างนั้นไม่ได้เปิดค้างไว้ ตั้งแต่ปี 2013 นักสังเกตการณ์ที่ติดตามความก้าวหน้าของเอนจินก็เถียงกันแล้วว่าเริ่มหาไม่เจอ ว่าทีมเซนทอร์ (centaur) ยังเพิ่มอะไรจากมนุษย์ให้เหนือกว่าเอนจินที่ดีที่สุดที่รันตามลำพัง (Business Insider, "Humans Are On The Verge Of Losing One Of Their Last Big Advantages Over Computers," November 2013, อ้างใน Wikipedia, "Advanced chess") Kasparov เองยังโต้กลับช้าถึงปี 2017 เขาบอก Tyler Cowen ว่ายังมั่นใจว่าทีมเซนทอร์ที่ควบคุมดีทำได้เหนือกว่าซูเปอร์คอมพิวเตอร์ระดับท็อป ถ้าได้มนุษย์ที่ใช่ (Kasparov, สนทนากับ Tyler Cowen, 2017) พอถึงปี 2023 งานวิจัยที่ผ่านการทบทวนโดยผู้เชี่ยวชาญเกี่ยวกับผู้เล่นหมากรุกเซนทอร์พบสิ่งที่เจาะจงกว่านั้น: AI ไม่ได้แค่ช่วยเสริมทักษะหมากรุกของมนุษย์อีกต่อไป มัน*แทนที่*ทักษะนั้น ไล่วิจารณญาณที่มนุษย์เคยเป็นฝ่ายให้ออกไป แล้วแทนด้วยงานเสริมชนิดใหม่ที่แคบลง (Krakowski, Luger & Raisch, "Artificial intelligence and the changing sources of competitive advantage," Strategic Management Journal, 2023) พอถึงปี 2024 แม้แต่การตัดสินใจข้อเดียวที่ผู้เล่น advanced chess ยังทำเองอยู่ — จะเชื่อเอนจินตัวไหน ในบรรดาเอนจินที่เห็นไม่ตรงกันในตำแหน่งหนึ่ง — ก็ถูกทำให้อัตโนมัติไปด้วย: ทีม DeepMind สร้างระบบที่ฝึกเอเจนต์แบบ AlphaZero ที่เชี่ยวชาญต่างกันได้ถึงสิบตัว แล้วให้*ตัวกลุ่มเอง*ตัดสินว่าจะเชื่อแนวเล่นไหน ผ่านความหลากหลายภายในและการร่วมมือกันเอง ผลดีกว่าเอนจินเดี่ยวตัวใดๆ รวมถึงบนโจทย์ที่ออกแบบมาเพื่อเอาชนะเอนจินแคบๆ (Zahavy et al., "Diversifying AI: Towards Creative Chess with AlphaZero," 2023; รายงานใน Marginal Revolution, "'Centaur chess' is now run by computers," February 2024) ตำแหน่งงานชื่อ "เซนทอร์" ยังมีอยู่ งานสุดท้ายที่มันเคยหมายถึง — การเลือกว่าจะเชื่อเครื่องไหน — ตอนนี้เป็นของเครื่องแล้ว
ไม่มีใครตีพิมพ์การทดลองแบบมีกลุ่มควบคุมที่สะอาดชิ้นเดียวที่พิสูจน์ว่า "เอนจินตามลำพังชนะเซนทอร์" ในทุกกรณีในปี 2026 และบทนี้จะไม่แสร้งว่ามีอยู่ สิ่งที่มีอยู่แทนคือรูปทรงของการถอยร่นสิบห้าปี: ปี 2005 มนุษย์บวกซอฟต์แวร์พอประมาณชนะแกรนด์มาสเตอร์และซูเปอร์คอมพิวเตอร์; ปี 2013 ผู้สังเกตการณ์เริ่มสงสัยว่ามนุษย์เพิ่มอะไรให้หรือเปล่า; ปี 2017 Kasparov ยังไม่เห็นด้วย; ปี 2023 งานวิจัยทางวิทยาการจัดการบันทึกการแทนที่ ไม่ใช่การเสริม; ปี 2024 การตัดสินใจที่เหลืออยู่ของมนุษย์ก็ถูกทำให้อัตโนมัติไปด้วย หมากรุกเป็นเกมปิด สังเกตได้ทั้งหมด ผลรวมเป็นศูนย์ และมีผู้ชนะที่ตรวจได้อย่างเป็นภาววิสัย — เงื่อนไขที่เอื้อที่สุดให้เครื่องจักรปิดช่องว่างได้สนิท คำถามที่ยังเปิดอยู่ และหนังสือเล่มนี้ตอบด้วยหลักฐานไม่ได้ ได้แต่ตั้งขึ้นอย่างซื่อสัตย์ คือโดเมนอื่นใดบ้างที่มีโครงสร้างร่วมกับหมากรุกมากพอจะปิดแบบเดียวกัน และบนไทม์ไลน์ไหน advanced chess ใช้เวลาราวยี่สิบปีจากข้อเสนอของ Kasparov จนถึงความล้าสมัยของตัวมันเอง ไม่มีอะไรบอกว่าทุกสาขาเดินตามนาฬิกาเรือนนั้น และไม่มีอะไรบอกว่าจะไม่มีสาขาไหนเดินตามเลย
สิ่งที่ยังถูกส่งให้ใครสักคน
แล้วอะไรเหลืออยู่ให้นักแก้ปัญหาที่เป็นมนุษย์ ถ้ามีอะไรเหลืออยู่จริง เมื่อการค้นหาเอง — ค้นหาบทพิสูจน์ ค้นหาอัลกอริทึม ค้นหาหมาก ค้นหาการให้เหตุผล — เป็นสิ่งที่เครื่องจักรทำได้ดีกว่าและเร็วกว่า คำตอบที่ซื่อสัตย์ไม่ใช่คำตอบเชิงอารมณ์ มันเป็นเชิงโครงสร้าง และเริ่มจากข้อเท็จจริงที่หนังสือเล่มนี้พูดซ้ำในทุกบท: การค้นหาเกิดขึ้น*ภายในพื้นที่*เท่านั้น และบางสิ่งหรือบางคนต้องกำหนดพื้นที่นั้นก่อนที่หมากแรกจะถูกค้นหา
AlphaGo ไม่ได้ตัดสินใจว่าจะเล่นโกะ AlphaProof ไม่ได้ตัดสินใจว่าเงื่อนไขเป้าหมายคือ "แก้โจทย์ IMO หกข้อในสี่ชั่วโมงครึ่งภายใต้กติกาการแข่งขัน" AlphaEvolve ไม่ได้ตัดสินใจว่าการคูณเมทริกซ์ 4 คูณ 4 คุ้มกับการที่ไม่มีใครพยายามเอาชนะ Strassen มาห้าสิบหกปี FunSearch ไม่ได้ตัดสินใจว่าปัญหา cap set สำคัญกว่าคำถามเชิงการจัดหมู่อีกล้านข้อที่มันค้นหาได้ดีพอกัน ในทุกกรณีที่มีบันทึกในบทนี้ มนุษย์เป็นผู้ตั้งเงื่อนไขเป้าหมายและพื้นที่ ก่อนที่เครื่องจักรใดจะค้นหาโหนดแรก — ทีมของ Demis Hassabis เลือกว่าจะลงแข่งรายการไหน Terence Tao คัดว่าโจทย์ Erdős ข้อไหนควรค่าแม้แต่จะถูกลงรายการ คณะกรรมการของ IMO เองเขียนโจทย์หกข้อที่ไม่มีใครเคยเห็น บทที่ 03 เรียกสิ่งนี้ว่าวิธีเดาอย่างมีหลัก (heuristic) ที่เก่าแก่ที่สุดของ Pólya: เข้าใจปัญหาก่อนพยายามแก้มัน สิ่งที่เปลี่ยนไปคือการเข้าใจปัญหาตอนนี้แทบเป็นงานทั้งหมด เพราะการพยายามแก้มันถูกมอบต่อไปแล้ว
สี่อย่างจึงยังเป็นสิ่งที่เครื่องจักรในบทนี้ทำไม่ได้ และแต่ละอย่างมีหลักฐานรองรับ ไม่ใช่สมมติเอา หนึ่ง การ*หา*ปัญหา (problem-finding): ไม่มีอะไรในสายงานของ AlphaProof หรือ AlphaEvolve ที่ตัดสินว่าข้อความคาดการณ์ที่ยังไม่ถูกพิสูจน์ข้อไหนคุ้มกับการคำนวณหนึ่งบ่าย; นักคณิตศาสตร์คนหนึ่งหรือรายการสาธารณะที่ผ่านการคัดสรรทำหน้าที่นั้นที่ต้นน้ำ ทุกครั้งไป สอง รสนิยมว่าอะไรนับเป็นผลลัพธ์ที่ดี: คำอธิบายของ Tao เองต่อหมุดหมาย Erdős ใช้คำแยกความก้าวหน้าที่แท้จริงออกจากการค้นพบซ้ำ มากกว่าที่ใช้ฉลองชัยชนะนั้นเสียอีก (Tao, GitHub wiki, 2026) — นี่คือการตัดสินเรื่องนัยสำคัญ ไม่ใช่เรื่องความถูกต้อง และเครื่องมือทำกับผลงานของตัวเองไม่ได้ สาม การตั้งเงื่อนไขเป้าหมาย: "ทำคะแนนตามเกณฑ์ IMO" "เอาชนะจำนวนครั้งการคูณของ Strassen" "หา cap set ที่ใหญ่กว่า 496" ล้วนเป็นเงื่อนไขหยุดที่มนุษย์เขียนขึ้น; เปลี่ยนเงื่อนไข แล้วกลไกการค้นหาชุดเดิมก็จะไล่ล่าเป้าหมายที่ต่างออกไปโดยสิ้นเชิง และอาจไร้ค่า สี่ การตรวจสอบและความรับผิดชอบในความหมายที่สำคัญทางกฎหมายและทางวิชาชีพ: DeepMind ต้องใช้ผู้ประสานงาน IMO ตัวจริงมารับรองบทพิสูจน์ของ Gemini ก่อนที่คำว่า "เหรียญทอง" จะมีความหมาย เพราะเหรียญทองที่ OpenAI ตรวจเองเมื่อไม่กี่วันก่อนหน้านั้น ตัดสินคำถามนี้ด้วยตัวเองไม่ได้ (DeepMind, 2025; OpenAI, 2025) ยังต้องมีใครสักคนจากภายนอก รับผิดชอบได้ และอยู่นอกระบบที่ผลิตคำตอบนั้น ยินดีเซ็นรับรองมัน
สี่อย่างนี้คือสิ่งเดียวที่สวมชื่อสี่ชื่อ: การวางกรอบ บทที่ 09 เถียงว่าความสง่างามคือประสบการณ์ที่รู้สึกได้ของการบีบอัด — representation ดีดเข้าสู่รูปที่คำตอบแทบจะได้มาฟรี ประสบการณ์นั้นยังเป็นของคนที่เลือกว่าจะดีด representation ไหน เพราะเครื่องจักรในบทนี้ยังเอื้อมขึ้นไปที่ต้นน้ำ แล้วหยิบปัญหาของตัวเองออกมาจากคลังคำถามที่ยังไม่มีใครถามอันไม่รู้จบของโลกไม่ได้ นี่คือแกนของหนังสือทั้งเล่ม กล่าวซ้ำ ณ จุดที่มันรับแรงมากที่สุด: นักแก้ปัญหาที่ยิ่งใหญ่ไม่ค้นหาหนักขึ้น — เขาเปลี่ยนพื้นที่จนเส้นทางสั้นลง — และ ณ กลางปี 2026 เครื่องจักรคือผู้เดินพื้นที่ตายตัวที่ทรงพลังที่สุดเท่าที่เคยมีมา ขณะที่การเลือกว่าจะยื่นพื้นที่*ไหน*ให้พวกมัน ยังเป็นสิ่งที่คนทำ ในทุกกรณีที่ตรวจสอบได้ในบทนี้ การส่งต่อนั้นไม่ใช่รางวัลปลอบใจ มันคือคานงัดชนิดที่ยังไม่มีอยู่เมื่อยี่สิบปีก่อน: คำถามที่วางกรอบมาดีข้อเดียว ตั้งกับระบบที่ตอนนี้ค้นหาพื้นที่ของอัลกอริทึมเมทริกซ์หรือบทพิสูจน์ระดับ IMO ได้จนหมดเกลี้ยงภายในคืนเดียว เดินไปได้ไกลกว่าการค้นหาของมนุษย์ที่ไม่มีตัวช่วยตลอดหนึ่งศตวรรษ คานงัดของการวางกรอบให้ดีไม่เคยสูงเท่านี้ เพราะเครื่องจักรที่ปลายอีกด้านของคำถามที่ตั้งมาดีไม่เคยแข็งแกร่งเท่านี้
บทที่จะเก่า
บทนี้บรรยายความชัน ไม่ใช่เหตุการณ์ที่จบแล้ว ทุกบทอื่นในหนังสือเล่มนี้บรรยายเหตุการณ์ที่จบไปแล้ว: ปมของ Alexander, สะพานของ Euler, ปั๊มน้ำของ Snow, สี่ทศวรรษของการพับโปรตีนที่ปิดลงในคราวเดียว ความชันในบทนี้วัดไว้ ณ จุดเดียวบนความชันนั้น และความชันคือชนิดของข้อเท็จจริงที่หนังสือกันอนาคตไม่ได้เลย จึงต้องบอกตรงๆ ว่าส่วนไหนรับน้ำหนักและส่วนไหนเน่าเสียได้ เพราะผู้อ่านในปี 2030 สมควรได้รู้ว่าควรไม่ไว้ใจประโยคไหนก่อน
ข้อกล่าวอ้างที่เน่าเสียได้ เรียงตามความเร็วที่มันจะเสื่อม: ตัวเลขเกณฑ์วัดเฉพาะเจาะจงเสื่อมเร็วที่สุด — 87.5 เปอร์เซ็นต์ของ o3 บน ARC-AGI, สัดส่วน 75/20 เปอร์เซ็นต์ของ AlphaEvolve เทียบกับสถานะล้ำสุด, คะแนน 35 จาก 42 ที่ IMO — คือภาพนิ่งของโมเดลเวอร์ชันเฉพาะในปี 2024 และ 2025 และจะถูกทำลายสถิติโดยระบบที่ยังไม่มีชื่อ อาจภายในหนึ่งถึงสองปีนับจากที่เขียนนี้ ข้อกล่าวอ้างว่า "หนึ่งถึงสองเปอร์เซ็นต์ของโจทย์ Erdős ที่เปิดอยู่" อยู่ในระยะที่ AI จัดการได้ คือประมาณการของ Tao จากเดือนมกราคม 2026 และตามคำบรรยายของผู้เขียนเอง มันคือตัวเลขที่เคลื่อนอยู่ น่าจะสูงกว่านั้นไปแล้วเมื่อข้อความนี้ถูกอ่าน (Tao, GitHub wiki, 2026) ข้อกล่าวอ้างว่าความได้เปรียบของเซนทอร์ในหมากรุกปิดสนิทไปแล้ว คือคำตัดสินเชิงประวัติศาสตร์ที่มีหลักฐานหนุนดีที่สุดเท่าที่มี ณ เวลาที่เขียนนี้ แต่มันตั้งอยู่บนโครงสร้างของหมากรุกที่สะอาด ปิด และตรวจได้อย่างผิดปกติ และคำสารภาพอย่างซื่อสัตย์ของบทนี้ — ว่ายังไม่มีงานวิจัยที่สะอาดเทียบเท่าสำหรับโดเมนที่ปิดน้อยกว่า — ก็เป็นข้อกล่าวอ้างเกี่ยวกับฐานหลักฐานของปี 2026 เอง ไม่ใช่เกี่ยวกับอนาคต สิ่งที่*ไม่ควร*เสื่อม เพราะไม่ขึ้นกับโมเดลเวอร์ชันใด คือการแยกสี่ทางระหว่างการหาปัญหา รสนิยม การตั้งเป้าหมาย และการตรวจสอบที่มีผู้รับผิดชอบ กับข้อสังเกตว่าผลลัพธ์จากเครื่องจักรทุกชิ้นในบทนี้ยังรันอยู่ในพื้นที่ที่คนอื่นกำหนดไว้ ถ้าการแบ่งนั้นพังลง — ถ้าระบบหนึ่งเริ่มเลือกปัญหาของตัวเอง เงื่อนไขหยุดของตัวเอง และยืนหลังคำตอบของตัวเองได้อย่างเชื่อถือได้ โดยไม่มีสถาบันของมนุษย์คอยรองรับ — นั่นคือช่วงเวลาที่ข้อเสนอหลักของบทนี้ต้องถูกเขียนใหม่ ใครก็ตามที่อ่านสิ่งนี้ในภายหลังจะรู้ว่ามันเกิดขึ้นแล้ว นานก่อนที่นักประวัติศาสตร์คนไหนจะได้ลงมือเขียนฉบับถัดไป
ท่าประจำบท
Move 10 — มอบการค้นหาให้เครื่อง เก็บกรอบไว้กับตัว
เครื่องจักรในบทนี้ค้นหาได้ดีกว่ามนุษย์คนไหนที่เคยมีชีวิตอยู่ ในทุกโดเมนที่เข้มงวดพอจะยื่นเป้าหมายที่ตรวจได้ให้พวกมัน นั่นไม่ใช่ภัยคุกคามต่อฝีมือหนึ่งศตวรรษครึ่งที่หนังสือเล่มนี้บันทึกไว้ มันคือเครื่องมือชิ้นถัดไปของฝีมือนั้น มาถึงตามกำหนด สิ่งที่มันเปลี่ยนคือแรงของนักแก้ปัญหาควรไปอยู่ตรงไหน
- ดันการค้นหาไปปลายน้ำ อย่างตั้งใจ พอปัญหาหนึ่งมีเงื่อนไขเป้าหมายที่ตรวจได้ — บทพิสูจน์ที่ยืนยันได้ จำนวนครั้งการคูณที่วัดได้ benchmark ที่ให้คะแนนได้ — ให้ถือว่าการค้นหาแบบละเอียดถี่ถ้วนด้วยแรงมนุษย์บนปัญหานั้นเป็นการใช้จิตที่หายากอย่างสิ้นเปลือง งานนั้นตอนนี้เป็นสินค้าโภคภัณฑ์ที่บทที่ 06 จะเรียกว่าจัดการไหว (tractable); ใช้เวลาของคุณก่อนถึงจุดนั้น ไม่ใช่ระหว่างนั้น
- ใช้เวลาที่ประหยัดได้ไปที่ต้นน้ำ ที่เครื่องจักรยังไปไม่ถึง การหาปัญหา รสนิยมว่าผลลัพธ์ไหนจะสำคัญถ้าหาเจอ การเลือกเงื่อนไขเป้าหมาย และการตรวจสอบที่มีผู้รับผิดชอบ คือสี่สิ่งที่บทนี้ไม่พบว่าเครื่องจักรใดทำได้เองโดยไม่มีคนช่วย นั่นคือจุดที่วิจารณญาณของนักแก้ปัญหาหาเลี้ยงตัวเองได้ในตอนนี้
- อย่าปล่อยให้ผลที่ตรวจเองยืนเป็นคำตัดสิน ช่องว่างที่ IMO ปี 2025 ระหว่างเหรียญทองที่ได้รับการรับรองอย่างเป็นทางการ กับเหรียญทองที่รายงานเอง คือแบบจำลองของทุกข้อกล่าวอ้างในอนาคตที่เครื่องจักร — หรือคนที่พิงเครื่องจักรอยู่ — พูดถึงผลงานของตัวเอง ต้องมีใครสักคนนอกระบบที่ผลิตคำตอบนั้น ยินดีตรวจมันและเซ็นรับรอง
- ถือว่ากรอบคือสิ่งสุดท้ายที่ยังเป็นของคุณทั้งหมด ทุกระบบในบทนี้ถูกเล็งไปที่เป้าหมายด้วยการตัดสินใจของมนุษย์ที่เกิดขึ้นก่อนการค้นหาใดจะเริ่ม การตัดสินใจนั้นยังไม่ถูกทำให้อัตโนมัติที่ไหนเลย ในกรณีใดก็ตามที่บทนี้ตรวจสอบได้ ระวังรักษามันไว้ให้สมกับนั้น
ตอนนี้บรรดาท่าถูกรวบรวมไว้แล้ว บทต่อบท เป็นชุดเครื่องมือชุดหนึ่ง — ตั้งแต่การตั้งคำถามกับกรอบที่กอร์เดียม ไปจนถึงการมอบการค้นหาให้เครื่องจักรที่จะเดินแซงคุณ สิ่งที่เหลืออยู่คือเส้นทางที่สั้นที่สุดของทั้งหมด: การเปลี่ยนสิบเอ็ดท่าให้เป็นเส้นทางเดียวที่ฝึกจนคล่อง ผ่านปัญหาใหม่ใดๆ ซึ่งคืองานของบทปิดท้าย 99 · เส้นทางคานงัด
บทถัดไป · 12 / 1299 · เส้นทางคานงัด