ปริศนาฟิสิกส์ 12 ปี ไขได้แล้ว! นักรางวัลโนเบลผนึกกำลัง AI Claude พิสูจน์ 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 สามารถมีส่วนร่วมในฟิสิกส์เชิงทฤษฎีขั้นสูงได้อย่างไร ไม่ใช่แค่ในฐานะผู้ช่วย แต่ในฐานะผู้มีส่วนร่วมอย่างแข็งขันในการพิสูจน์ทางคณิตศาสตร์ที่ไม่ใช่เรื่องเล็กน้อย