ปริศนาฟิสิกส์ 12 ปี ไขได้แล้ว! นักรางวัลโนเบลผนึกกำลัง AI Claude พิสูจน์ a + b = 1

กว่า 10 ปีที่นักฟิสิกส์รู้ว่าเลขชี้กำลังวิกฤต (critical exponents) สองตัวในทฤษฎีการอัดแน่น (jamming) ที่มีชื่อว่า a และ b นั้นมีผลรวมเป็น 1 หลักฐานเชิงตัวเลขมีมากมายและแม่นยำ แต่ไม่มีใครสามารถพิสูจน์ในเชิงวิเคราะห์ (analytically) ได้ ในปี 2026 ช่องว่างนี้ถูกปิดลงโดยจอร์โจ ปารีซี (Giorgio Parisi) นักฟิสิกส์รางวัลโนเบล และฟรันเชสโก ซัมโปนี (Francesco Zamponi) — ซึ่งไม่ได้อาศัยเพียงความสามารถของมนุษย์เท่านั้น แต่เป็นการร่วมมือกับ AI

นี่คือสิ่งที่พวกเขาค้นพบ, Claude ของ Anthropic มีส่วนช่วยอย่างไร, และบทพิสูจน์นี้มีความหมายต่อฟิสิกส์ของระบบที่ไม่เป็นระเบียบอย่างไร

การค้นพบทางวิทยาศาสตร์

ปารีซีและซัมโปนีตีพิมพ์ preprint (arXiv:2606.03300) โดยนำเสนอการพิสูจน์เชิงวิเคราะห์ครั้งแรกของเอกลักษณ์ a + b = 1 ซึ่งเป็นความสัมพันธ์ระหว่างเลขชี้กำลังวิกฤตสองตัวในทฤษฎี full replica-symmetry-breaking (fullRSB) ของการเปลี่ยนสถานะการอัดแน่น (jamming transition) ในทรงกลมแข็งที่หนาแน่นและไม่เป็นระเบียบ

ที่มาของข้อสันนิษฐาน

ภายในคำตอบ fullRSB ที่พัฒนาขึ้นเมื่อกว่าทศวรรษก่อนโดย Charbonneau, Kurchan, Parisi, Urbani และ Zamponi (CKPUZ, 2014) ได้นิยามเลขชี้กำลังวิกฤตสามตัว ได้แก่ a, b และ c ที่ใช้อธิบายพฤติกรรมการปรับขนาด (scaling behavior) ใกล้จุด jamming

• ความสัมพันธ์หนึ่งคือ b = (1 + c)/2 ซึ่งได้รับการพิสูจน์แล้วในเชิงวิเคราะห์จากสมดุลการแพร่-ดริฟต์ในสมมติฐานการปรับขนาด
• ความสัมพันธ์ที่สองคือ a + b = 1 ซึ่งสังเกตได้จากตัวเลขด้วยความแม่นยำสูงเป็นเวลากว่าสิบปี แต่ไม่เคยมีใครพิสูจน์ได้ในเชิงวิเคราะห์

สิ่งที่บทพิสูจน์เปิดเผย

เอกลักษณ์ a + b = 1 ถูกพิสูจน์โดยตรงจากสมการการปรับขนาดของ fullRSB โดยความสัมพันธ์นี้ส่งผลให้เกิด a = (1 - c)/2 ซึ่งเมื่อรวมกับ b = (1 + c)/2 หมายความว่า เลขชี้กำลังทั้งสามตัวถูกกำหนดโดยพารามิเตอร์เพียงตัวเดียวคือ c นี่เป็นการลดระดับความอิสระในการทำนายของคำตอบ fullRSB และทำให้ทฤษฎีมีความสอดคล้องภายในมากขึ้น นอกจากนี้ยังให้ความสัมพันธ์การปรับขนาด α = 1/(2 + θ) และ κ = 2 - 2/(3 + θ) ซึ่งสอดคล้องกับที่ทำนายไว้ก่อนหน้านี้โดยหลักการเสถียรภาพเชิงกลเชิงขอบ (mechanical-marginal-stability) ของ Wyart และคณะ

Claude ของ Anthropic มีส่วนช่วยอย่างไร

บทพิสูจน์นี้ไม่ได้สำเร็จด้วยความสามารถของมนุษย์เพียงอย่างเดียว เอกสารวิจัยระบุอย่างชัดเจนว่า: "การพิสูจน์ได้มาโดยการปฏิสัมพันธ์กับ Claude (Sonnet 4.6 และ Opus 4.7) และได้รับการยืนยันโดยเรา"

การทำซ้ำและความร่วมมือ

• ปารีซีและซัมโปนีได้สนทนากับ Claude อย่างต่อเนื่องเป็นระยะเวลานาน ผ่านการสนทนาประมาณ 40 รอบ
• พวกเขาใช้ Claude สองรุ่น: Sonnet 4.6 และ Opus 4.7
• Claude ไม่ได้สร้างบทพิสูจน์ที่สมบูรณ์แบบในครั้งเดียว แต่ ค่อยๆ พิสูจน์เกือบทั้งหมดอย่างเป็นขั้นเป็นตอน ผ่านการแลกเปลี่ยนโต้ตอบกัน จากนั้นผู้เขียนได้ตรวจทาน แก้ไข และยืนยันความถูกต้องในแต่ละขั้นตอน
• บันทึกการสนทนาทั้งหมดถูกเก็บถาวรบน Zenodo เพื่อให้สาธารณชนตรวจสอบได้

การแบ่งงาน

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

การตีพิมพ์และความสำคัญ

preprint ถูกเผยแพร่บน arXiv เมื่อวันที่ 2 มิถุนายน 2026 (และอัปเดตเมื่อวันที่ 2 กรกฎาคม 2026) ในหัวข้อ "A proof of an identity for the critical exponents of jamming" รายชื่อผู้เขียนคือ Giorgio Parisi และ Francesco Zamponi; Claude ถูกกล่าวถึงในฐานะเครื่องมือ AI ที่ใช้ในระเบียบวิธีวิจัย ไม่ใช่ผู้เขียนร่วม

สื่อต่างๆ เช่น Il Fatto Quotidiano (อิตาลี), Correio Braziliense (บราซิล), 36Kr (จีน) และ Digg ต่างนำเสนอว่าเป็นตัวอย่างสำคัญของนักรางวัลโนเบลที่ใช้โมเดลภาษาขนาดใหญ่ (LLM) เป็นผู้ร่วมวิจัยที่แท้จริง เพื่อแก้ปัญหาทางทฤษฎีที่ติดค้างมายาวนาน

ทำไมเรื่องนี้ถึงสำคัญ

ผลลัพธ์นี้ปิดช่องว่างที่ค้างคามานานกว่าทศวรรษในทฤษฎี fullRSB เกี่ยวกับการอัดแน่น (jamming) ซึ่งเป็นปัญหาพื้นฐานในฟิสิกส์ของแก้ว (glasses) วัสดุที่เป็นเม็ดเล็ก (granular materials) และระบบที่ไม่เป็นระเบียบ (disordered systems) นอกจากนี้ยังเป็นตัวอย่างที่โดดเด่นที่แสดงให้เห็นว่า LLM สามารถมีส่วนร่วมในฟิสิกส์เชิงทฤษฎีขั้นสูงได้อย่างไร ไม่ใช่แค่ในฐานะผู้ช่วย แต่ในฐานะผู้มีส่วนร่วมอย่างแข็งขันในการพิสูจน์ทางคณิตศาสตร์ที่ไม่ใช่เรื่องเล็กน้อย