AlphaProof Nexus ของ Google DeepMind สามารถไขปัญหา Erdős ได้ 9 ข้อ และพิสูจน์ข้อสันนิษฐานลำดับเลขได้ 44 ข้อ นับเป็นก้าวสำคัญของการตรวจสอบเชิงรูปนัยที่ขับเคลื่อนด้วย AI ซึ่งในอนาคตอาจทำให้การตรวจสอบความถูกต้องของหลักฐานเชิงเข้ารหัสเร็วขึ้นและถูกลง ผลลัพธ์ที่ประกาศในสัปดาห์นี้แสดงให้เห็นว่าระบบ AI สามารถจัดการกับปัญหาทางคณิตศาสตร์ที่ยากมาก ซึ่งส่งผลโดยตรงต่อสาขาที่ต้องอาศัยการพิสูจน์ที่แน่นหนา รวมถึงวิทยาการเข้ารหัสลับและการตรวจสอบสัญญาอัจฉริยะ
ปัญหา Erdős 9 ข้อสำเร็จ
ระบบดังกล่าวจัดการกับชุดปัญหาที่ตั้งชื่อตามนักคณิตศาสตร์ Paul Erdős ซึ่งขึ้นชื่อเรื่องความยาก โดยในจำนวนนี้ AlphaProof Nexus แก้ปัญหาได้ 9 ข้อ ซึ่งก่อนหน้านี้ต้องใช้ความพยายามของมนุษย์หลายปี นอกจากนี้ยังพิสูจน์ข้อสันนิษฐานที่เปิดกว้าง 44 ข้อในลำดับเลขจำนวนเต็ม โดยดึงข้อมูลจากฐานข้อมูล OEIS การพิสูจน์แต่ละครั้งถูกสร้างขึ้นโดยไม่มีคำแนะนำจากมนุษย์ นอกเหนือจากข้อความเริ่มต้นของปัญหา
แรงหนุนสำหรับการตรวจสอบเชิงรูปนัย
การตรวจสอบเชิงรูปนัยเป็นกระบวนการพิสูจน์ทางคณิตศาสตร์ว่าซอฟต์แวร์หรือฮาร์ดแวร์ทำงานตามที่ตั้งใจไว้ทุกประการ ใช้ในวิทยาการเข้ารหัสลับเพื่อตรวจสอบว่าอัลกอริทึมการเข้ารหัสไม่มีข้อบกพร่องที่ซ่อนอยู่ แต่กระบวนการนี้ช้าและมีราคาแพง การประกาศของ DeepMind ระบุว่าการตรวจสอบเชิงรูปนัยที่ขับเคลื่อนด้วย AI 'สามารถปฏิวัติสาขาต่างๆ เช่น วิทยาการเข้ารหัสลับและการตรวจสอบซอฟต์แวร์ โดยทำให้การตรวจสอบความถูกต้องของการพิสูจน์มีประสิทธิภาพและคุ้มค่ามากขึ้น'
สำหรับโลกคริปโต คำมั่นสัญญานั้นตรงไปตรงมา: หาก AI สามารถพิสูจน์ทฤษฎีบททางคณิตศาสตร์ที่ซับซ้อนได้ ก็สามารถตรวจสอบสัญญาอัจฉริยะ การพิสูจน์ความรู้เป็นศูนย์ หรืออัลกอริทึมฉันทามติโดยอัตโนมัติ ซึ่งจะลดความเสี่ยงของข้อบกพร่องที่ทำให้สูญเสียเงินหลายพันล้านดอลลาร์จากการแฮ็ก เทคโนโลยีเดียวกันนี้อาจตรวจสอบโปรโตคอลบล็อกเชนเพื่อหาความไม่สอดคล้องเชิงตรรกะ ยังไม่มีสิ่งใดถูกนำไปใช้งานจริง แต่ความสามารถพื้นฐานเพิ่งก้าวไปข้างหน้าอย่างมาก
DeepMind ยังไม่ได้ระบุว่าจะเปิดตัว AlphaProof Nexus เป็นเครื่องมือสำหรับใช้งานภายนอกเมื่อใด เหตุการณ์สำคัญที่เป็นรูปธรรมครั้งต่อไปน่าจะเป็นการทบทวนโดยผู้เชี่ยวชาญ จากนั้นจึงบูรณาการเข้ากับท่อส่งการตรวจสอบที่มีอยู่ คำถามตอนนี้คือการเปลี่ยนแปลงนี้จะเกิดขึ้นเร็วเพียงใด
