OpenAI เตรียมเผยแพร่โค้ด Lean พิสูจน์ Yang–Mills บน GitHub 2 คลัง

กลุ่มทำงาน Yang–Mills (Yang-Mills Working Group) วางแผนเผยแพร่โค้ด Lean ที่ OpenAI ส่งมาเพื่อพิสูจน์ทฤษฎีควอนตัม Yang–Mills พร้อมเอกสารประเมินผลการตรวจสอบ ผ่านคลังบน GitHub 2 แห่ง

Crypto Briefing รายงานว่า กลุ่มทำงานจะเผยแพร่ข้อมูลในวันที่ 10 ตามเวลาท้องถิ่นสหรัฐฯ คลังแรกจะมีโค้ด Lean ฉบับสมบูรณ์ที่ OpenAI ส่งมา ส่วนคลังที่สองจะรวบรวมเอกสารประเมินผลการตรวจสอบของกลุ่มทำงาน

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

OpenAI ระบุเมื่อวันที่ 9 กันยายนว่าได้สร้างพิสูจน์ด้วยภาษาธรรมชาติเกี่ยวกับการมีอยู่ของทฤษฎี Yang–Mills จากนั้นเมื่อวันที่ 18 กันยายน บริษัทกล่าวว่าได้สร้างพิสูจน์ด้วยภาษาธรรมชาติอีกฉบับเกี่ยวกับควอนตัมโครโมไดนามิกส์

OpenAI ทำการแปลงพิสูจน์ Yang–Mills ให้อยู่ในรูปแบบ Lean เสร็จเมื่อวันที่ 16 ตุลาคม Crypto Briefing รายงานว่าในวันเดียวกัน OpenAI ติดต่อเดวิด เจ. กรอสส์ (David J. Gross) ผู้ได้รับรางวัลโนเบลเป็นครั้งแรก และมีการจัดตั้งกลุ่มทำงานเพื่อให้ตรวจสอบโดยอิสระ

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

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

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

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

ทฤษฎีควอนตัม Yang–Mills เป็นรากฐานของควอนตัมโครโมไดนามิกส์ ซึ่งใช้อธิบายแรงอย่างเข้มข้น ทฤษฎี Yang–Mills แบบบริสุทธิ์อธิบายปฏิสัมพันธ์ของกลูออนโดยไม่รวมควาร์ก ส่วนควอนตัมโครโมไดนามิกส์รวมควาร์กไว้ด้วย

โจทย์มิลเลนเนียมของสถาบันคณิตศาสตร์เคลย์ (Clay Mathematics Institute) กำหนดให้พิสูจน์ทั้งการมีอยู่ของทฤษฎี Yang–Mills ใน 4 มิติ และการมีอยู่ของช่องว่างมวล ช่องว่างมวลหมายถึงมีความแตกต่างเป็นบวกระหว่างสถานะพลังงานต่ำสุดกับสถานะพลังงานถัดไป

พิสูจน์ของ OpenAI เป็นข้ออ้างเกี่ยวกับการมีอยู่ของทฤษฎี กลุ่มทำงานระบุว่าช่องว่างมวลและการกักขังควาร์กยังเป็นโจทย์ที่ไม่มีคำตอบ

ในแถลงการณ์เมื่อเดือนตุลาคม กลุ่มทำงานระบุว่าแนวทางของ OpenAI อาศัยการทำให้เป็นปกติบนแลตทิซของวิลสัน (Wilson lattice regularization) และวิธีกรุ๊ปการทำให้เป็นปกติของบาลาบัน (Balaban’s renormalization-group methods) พร้อมระบุว่าพิสูจน์มีความยาวและซับซ้อน จึงต้องใช้เวลาเพื่อทำความเข้าใจวิธีการและความหมายทางฟิสิกส์

เอกสารพิสูจน์ฉบับเต็มที่ OpenAI ส่งมามี 1,147 หน้า กลุ่มทำงานระบุว่าจะเผยแพร่เอกสารประเมินผลพร้อมพิสูจน์ฉบับเต็มที่ AI เขียน หากมั่นใจในความถูกต้อง