Physical Superintelligence (PSI) เสนอบทพิสูจน์ข้อคาดการณ์แอรอนสัน–แอมไบนิส (Aaronson–Ambainis conjecture) ซึ่งเป็นปัญหาท้าทายในวงการคอมพิวเตอร์ควอนตัม โดยใช้ระบบวิจัยปัญญาประดิษฐ์ (AI) อย่างไรก็ตาม รายได้ปัจจุบันของบริษัทมาจากเครื่องมือเพิ่มประสิทธิภาพดาต้าเซ็นเตอร์ ไม่ใช่งานวิจัยฟิสิกส์เชิงทฤษฎี
TechCrunch รายงานหลังสัมภาษณ์แมตต์ ไพนส์ (Matt Pines) ซีอีโอของ PSI และเดวิด เทอร์ทูเรียน (David Turturean) นักวิจัยว่า บริษัทสร้างรายได้จากเครื่องมือวิเคราะห์สภาพความร้อน พลังงาน น้ำ และเสียงของดาต้าเซ็นเตอร์ ไพนส์กล่าวว่าเป้าหมายระยะยาวคือการนำการค้นพบทางฟิสิกส์เชิงทฤษฎีไปพัฒนาเป็นเทคโนโลยีที่ใช้ได้จริง
PSI ประกาศเปิดตัวในเดือนกันยายน พร้อมระบุว่ามีแผนนำแพลตฟอร์มหลักชื่อ Emmy ไปใช้เพิ่มประสิทธิภาพดาต้าเซ็นเตอร์ทั้งบนพื้นดินและในวงโคจร บริษัทไม่ได้เปิดเผยตัวเลขที่แสดงว่าบทพิสูจน์ครั้งนี้สร้างรายได้หรือทำให้ผลลัพธ์ของลูกค้าดาต้าเซ็นเตอร์ดีขึ้น
ข้อคาดการณ์แอรอนสัน–แอมไบนิสกล่าวถึงพหุนามดีกรีต่ำแบบมีขอบเขตที่นิยามบนลูกบาศก์ไม่ต่อเนื่อง หากมีความแปรปรวนสูงกว่าระดับหนึ่ง จะต้องมีตัวแปรอินพุตอย่างน้อยหนึ่งตัวที่ส่งผลต่อผลลัพธ์อย่างมาก กล่าวอีกนัยหนึ่งคือพิจารณาว่าตัวแปรอินพุตแต่ละตัวมีอิทธิพลต่อผลลัพธ์เพียงใด
ข้อคาดการณ์นี้เชื่อมโยงกับคำถามที่ว่าคอมพิวเตอร์ควอนตัมจะลดจำนวนครั้งที่ต้องอ่านอินพุตได้แบบเอ็กซ์โพเนนเชียลเมื่อเทียบกับคอมพิวเตอร์แบบดั้งเดิมหรือไม่ ในโจทย์ถามตอบใช่หรือไม่ที่รับอินพุตแบบสุ่ม ผลลัพธ์ครั้งนี้ครอบคลุมโจทย์ถามข้อมูลเฉพาะประเภทดังกล่าว
PSI ระบุว่าระบบวิจัยของบริษัทใช้โมเดล Anthropic แบบไม่เปิดเผยชื่อเพื่อสร้างบทพิสูจน์ ระบบสร้างบทพิสูจน์ฉบับสมบูรณ์ได้ในวันที่สามหลังเริ่มงานวิจัย และโปรแกรมตรวจสอบบทพิสูจน์ Lean ยอมรับผลดังกล่าว
บริษัทยังระบุว่าได้ปรับปรุงผลลัพธ์อีกสองครั้ง และฉบับสุดท้ายก็ผ่านการตรวจสอบด้วย Lean เช่นกัน บทความของเดวิด เทอร์ทูเรียนเผยแพร่บน arXiv ส่วนโค้ดบทพิสูจน์เปิดให้ดูในคลังโค้ด
PSI ระบุว่าข้อคาดการณ์นี้เป็นปัญหาที่ยังค้างมาตั้งแต่ปี 2008 ส่วนบทความต้นฉบับของสกอตต์ แอรอนสัน (Scott Aaronson) และอันดริส อัมไบนิส (Andris Ambainis) ผู้เสนอข้อคาดการณ์ เผยแพร่บน arXiv ในปี 2009
เมื่อวันที่ 8 แอรอนสันเขียนในบล็อกของเขาว่า แม้ยังไม่เข้าใจบทพิสูจน์ด้วยตัวเอง แต่ “ผมเชื่อว่าบทพิสูจน์ถูกต้อง” เขาระบุว่าการตรวจสอบด้วย Lean และความเห็นจากผู้เชี่ยวชาญเป็นเหตุผลที่ทำให้เชื่อมั่นในผลลัพธ์
ก่อนหน้านี้ TokenPost รายงานกระบวนการที่ PSI เปิดเผยบทพิสูจน์ข้อคาดการณ์ และ รายงานความเห็นของแอรอนสันที่แสดงความเชื่อมั่นต่อบทพิสูจน์
แอรอนสันยังคัดค้านการตีความว่าผลลัพธ์นี้ลบล้างความได้เปรียบทั้งหมดของคอมพิวเตอร์ควอนตัม โดยอธิบายว่าไม่ได้หักล้างประสิทธิภาพของอัลกอริทึมชอร์ หรือการจำลองฟิสิกส์และเคมีควอนตัม
ประกาศของ PSI ระบุว่านักวิจัยจากมหาวิทยาลัยสแตนฟอร์ดได้อ่านบทพิสูจน์และส่งความเห็นให้บริษัทแล้ว พร้อมระบุว่ากำลังเตรียมคำอธิบายสำหรับผู้เชี่ยวชาญ การตรวจสอบอย่างเป็นทางการด้วย Lean และการทบทวนจากนักวิจัยมีบทบาทคนละด้านในการตรวจสอบบทพิสูจน์
เปโดร โดมิงโกส (Pedro Domingos) โพสต์บน X ในทำนองว่าความเป็นไปได้ของความได้เปรียบทางควอนตัมได้สิ้นสุดลงแล้ว แอรอนสันโต้แย้งว่าการตีความดังกล่าวเกินจริง
TechCrunch รายงานว่า PSI ได้สิทธิ์เข้าถึงโมเดล Fable 5.2 ของ Anthropic ก่อนเปิดตัวและนำมาใช้ แต่ประกาศของ PSI ไม่ได้ระบุชื่อโมเดล โดยเรียกเพียงว่าเป็นโมเดล Anthropic แบบไม่เปิดเผยชื่อ ส่วน Anthropic เปิดตัว Claude Fable 5.2 เมื่อวันที่ 9
การเผยแพร่บทความและโค้ดบทพิสูจน์ รวมถึงการผ่านการตรวจสอบด้วย Lean เป็นคนละขั้นตอนกับการประเมินโดยผู้ทรงคุณวุฒิของวารสาร ขณะนี้ยังไม่มีข้อมูลยืนยันว่าการประเมินโดยผู้ทรงคุณวุฒิของวารสารเสร็จสิ้นแล้ว
Comment 0