Claude Fable 5 และข้อสันนิษฐานของจาโคเบียน: อะไรที่พิสูจน์แล้ว และอะไรที่ยังไม่ใช่

ในคืนวันชิงชนะเลิศฟุตบอลโลก ผู้คนส่วนใหญ่กำลังดูฟุตบอล มุมเล็กๆ ของอินเทอร์เน็ตกำลังเฝ้ามองประวัติศาสตร์คณิตศาสตร์ขยับตัว

Levent Alpöge นักวิจัยจาก Anthropic โพสต์ข้อความสั้นๆ บน X เขาบอกว่าข้อสันนิษฐานของจาโคเบียนเป็นเท็จ นี่คือปัญหาที่ไร้คำตอบมาตั้งแต่ปี 1939 เขายกเครดิตให้เพื่อนร่วมงานที่เสนอปัญหา และยกเครดิตให้ Claude Fable 5 ที่ทำงานระหว่างการแข่งขัน

ข้ามไปวันถัดมา นักคณิตศาสตร์ตรวจสอบด้วยมือแล้ว ผลยังยืนหยัด

แต่พาดหัวข่าวแบบ "เอไอทำลายปัญหาคณิตศาสตร์ 87 ปี" มักวิ่งเร็วกว่ารายละเอียดเบื้องหลัง มาลดความเร็วกันหน่อย อะไรคือสิ่งใหม่จริงๆ อะไรไม่ใช่ และตรวจเองได้ไหม?

ตรวจได้ ใน Python ราวสิบห้าบรรทัด เดี๋ยวไปกันต่อ

คำตอบแบบรวดเร็ว

Claude Fable 5 ช่วยสร้างแผนที่พหุนามจากปริภูมิคอมเพล็กซ์สามมิติไปยังตัวมันเอง เขียนเป็น ℂ³ → ℂ³ ดีเทอร์มิแนนต์ของจาโคเบียนของมันเป็นค่าคงที่ -2 ทุกจุด ซึ่งตรงกับเงื่อนไขในข้อสันนิษฐานของ Keller ปี 1939 พอดี แต่แผนที่นี้ส่งจุดอินพุตสามจุดไปยังเอาต์พุตเดียวกัน ตัวอย่างเดียวนี้หักล้างข้อสันนิษฐานในมิติที่สามและสูงกว่า กรณีสองตัวแปรดั้งเดิมยังคงเป็นปัญหาเปิดอยู่ และยังไม่มีบทความผ่านการพิจารณาโดยผู้ทรงคุณวุฒิ มีเพียงการคำนวณที่ตรวจสอบแล้วและพรีพริ้นต์

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

ข้อสันนิษฐานของจาโคเบียนคืออะไร?

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

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

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

แต่ "ใกล้จุด" ไม่เหมือนกับ "ทุกที่" นี่คือตัวอย่างที่สะอาดที่สุดที่รู้จัก และใช้สองบรรทัด:

import numpy as np

f = lambda x, y: (np.exp(x) * np.cos(y), np.exp(x) * np.sin(y))

print(f(0, 0))              # (1.0, 0.0)
print(f(0, 2 * np.pi))      # (1.0, ~0.0) — same output, different inputขับเคลื่อนโดย

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

สังเกตว่าตัวอย่างนี้ใช้เอกซ์โปเนนเชียล ในปี 1939 นักคณิตศาสตร์ชาวเยอรมัน Ott-Heinrich Keller ถามว่าพหุนามจะประพฤติดีกว่านี้ไหม คำถามของเขา: ถ้าดีเทอร์มิแนนต์ของจาโคเบียนของแผนที่พหุนามไม่เพียงแค่ไม่เป็นศูนย์ทุกที่ แต่เป็นค่าคงที่ค่าเดียวกันทุกที่ แบบนั้นจะรับประกันการย้อนกลับได้แบบเต็มๆ ทั่วปริภูมิหรือไม่?

ตลอด 87 ปี ไม่มีใครตอบได้ ไม่มีทั้งพิสูจน์ และไม่มีตัวอย่างโต้แย้ง นั่นแหละคือข้อสันนิษฐานที่ Claude Fable 5 เพิ่งทำให้สั่นคลอน

สิ่งที่ Claude Fable 5 พบจริงๆ

โพสต์ของ Alpöge มีแผนที่พหุนามแบบชัดเจนจาก ℂ³ กลับไปยังตัวมันเอง ดีเทอร์มิแนนต์ของจาโคเบียนคำนวณได้เป็นค่าคงที่ -2 ที่ทุกจุด ตรงตามเงื่อนไขของ Keller เป๊ะ แต่กลับมีสามจุดแยกจากกันเป็นอินพุต แล้วทั้งหมดให้เอาต์พุตเดียวกัน

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

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

ตรวจเองใน Python

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

ก่อนอื่น กำหนดแผนที่และยืนยันดีเทอร์มิแนนต์:

import sympy as sp

x, y, z = sp.symbols("x y z")

# The map Claude Fable 5 helped construct, from C^3 to C^3
f1 = (1 + x * y) ** 3 * z + y**2 * (1 + x * y) * (4 + 3 * x * y)
f2 = y + 3 * x * (1 + x * y) ** 2 * z + 3 * x * y**2 * (4 + 3 * x * y)
f3 = 2 * x - 3 * x**2 * y - x**3 * z

# Keller's condition: the Jacobian determinant must be a nonzero constant
jacobian = sp.Matrix([f1, f2, f3]).jacobian([x, y, z])
print(sp.simplify(jacobian.det()))ขับเคลื่อนโดย

-2ขับเคลื่อนโดย

ไม่ใช่ "ประมาณ -2" แต่เป็น -2 เป๊ะๆ แบบเชิงสัญลักษณ์ สำหรับทุกจุดใน ℂ³ หนึ่งเงื่อนไขผ่าน

ต่อไปคือการชนกันของค่า ฉันหาสามจุดนี้โดยให้ SymPy แก้ F(v) = F(1, 1, 1) โพสต์ดั้งเดิมของ Alpöge ก็ให้ชุดของมันเอง และใช้ได้ทั้งคู่:

s = sp.sqrt(53)

points = [
    (1, 1, 1),
    (sp.Rational(-1, 2) - 7 * s / 106, 25 - 3 * s, -134090 + 18420 * s),
    (sp.Rational(-1, 2) + 7 * s / 106, 25 + 3 * s, -134090 - 18420 * s),
]

for p in points:
    image = [sp.simplify(f.subs({x: p[0], y: p[1], z: p[2]}))
             for f in (f1, f2, f3)]
    print(image)ขับเคลื่อนโดย

[22, 34, -2]
[22, 34, -2]
[22, 34, -2]ขับเคลื่อนโดย

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

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

เดี๋ยวก่อน เรื่องนี้ไม่ถูกหักล้างมาก่อนแล้วหรือ?

ก่อนจะไปต่อ ควรกล่าวถึงสิ่งที่อาจเจอในคอมเมนต์ของโพสต์ Alpöge เพราะมีผลลัพธ์เก่าในพื้นที่นี้ที่ถูกยกมาบ่อย และความแตกต่างสำคัญ

ในปี 1994 Sergey Pinchuk พบแผนที่พหุนามสองตัวแปร ค่าจริง ที่ย้อนกลับได้เฉพาะที่ทุกหนแห่ง แต่ย้อนกลับไม่ได้ทั่วทั้งหมด นี่เป็นโครงสร้างที่รู้จักกันดี และชวนให้คิดว่าเวอร์ชันของ Fable 5 แค่ยืดไอเดียนั้นสู่มิติที่สาม

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

ทำไมจำนวนเชิงซ้อนยกมาตรฐานให้สูงขึ้น? โดยสรุป: เหนือจำนวนจริง พหุนามสามารถหลบปัญหาโดยการไม่มีคำตอบจริง ณ จุดอันตราย x² + 1 ไม่มีวันเป็นศูนย์บนเส้นจำนวนจริง แต่เหนือ ℂ ต้องมี ปริภูมิเชิงซ้อนไม่มีที่ให้แผนที่ซ่อนตัว ดังนั้นการผ่านเงื่อนไขของ Keller ที่นั่นจึงเป็นข้อเรียกร้องที่เข้มกว่ามาก แผนที่เอกซ์โปเนนเชียลก่อนหน้าก็ส่งสัญญาณไว้แล้ว เพราะการพันรอบที่ทำให้มันพังเป็นปรากฏการณ์เชิงซ้อนแท้ๆ

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

อะไรที่ยังไม่คลี่คลาย

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

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

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

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

ข้อคิดทิ้งท้าย

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

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

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

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