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

ภาพประกอบจากคลังภาพสต็อก ไม่ใช่ภาพจากเหตุการณ์จริง
- โมเดล AI ยังไม่เปิดตัวของ Anthropic ทำความคืบหน้าในสมมติฐาน Riemann
- พนักงานที่ไม่มีพื้นฐานคณิตศาสตร์สั่งการให้โมเดลทำงานนาน 1 วันครึ่ง
- ทดสอบแนวคิด 650 รูปแบบ ผ่าน 60 ย่อยเอเจนต์ และใช้เงิน 31 ล้าน
- ตรวจสอบผลลัพธ์โดยนักคณิตศาสตร์ภายในและใช้ระบบ Lean
สมมติฐาน Riemann ถือเป็นหนึ่งในปัญหาทางคณิตศาสตร์ระดับโลกที่ยังไม่มีใครแก้ได้มานานกว่า 150 ปี โดยเกี่ยวข้องกับความลึกลับของการกระจายตัวของจำนวนเฉพาะ ปัจจุบันมีเงินรางวัลสูงถึง 1 ล้านดอลลาร์สหรัฐสำหรับผู้ที่สามารถพิสูจน์ทฤษฎีนี้ได้สำเร็จและใช้งานได้จริง ซึ่งเงินรางวัลดังกล่าวยังคงไม่มีใครคว้าไปได้
ในวันจันทร์ที่ผ่านมา บริษัท Anthropic ได้ออกมาประกาศว่า โมเดลปัญญาประดิษฐ์ที่ยังไม่เคยเปิดตัวสู่สาธารณะตัวหนึ่ง ได้สร้างความคืบหน้าครั้งสำคัญต่อสมมติฐาน Riemann ด้วยการขยายขอบเขตล่างของผลเฉลยที่ทฤษฎีนี้ยังคงเป็นจริงให้กว้างขึ้นอย่างมีนัยสำคัญ

ภาพประกอบจากคลังภาพสต็อก ไม่ใช่ภาพจากเหตุการณ์จริง
สิ่งที่น่าประทับใจยิ่งกว่าคือวิธีการที่นำไปสู่ความสำเร็จครั้งนี้ โดยพนักงานของ Anthropic คนหนึ่งที่ไม่มีพื้นฐานทางคณิตศาสตร์อย่างลึกซึ้ง ได้พิมพ์คำสั่งกระตุ้นให้โมเดลลองพยายามพิสูจน์สมมติฐานดังกล่าว ก่อนจะปล่อยให้ระบบจัดการและประสานงานกระบวนการทั้งหมดต่อเนื่องเป็นเวลาหนึ่งวันครึ่ง
สรุปการทำงานทั้งหมด โมเดลดังกล่าวได้ทำการทดสอบแนวคิดที่แตกต่างกันถึง 650 วิธีเพื่อหาทางแก้โจทย์ โดยประสานงานผ่านซับเอเจนต์จำนวน 60 ตัว และใช้เงินไปทั้งหมด 31 ล้านในการดำเนินงานครั้งนี้
ความสำเร็จของ AI ในการแก้ปัญหาคณิตศาสตร์ระดับสูงสะท้อนถึงการเปลี่ยนผ่านจากการใช้ AI เพื่อตอบคำถามทั่วไป สู่การเป็นเครื่องมือค้นหาองค์ความรู้ใหม่ การใช้ระบบผู้ช่วยพิสูจน์อัตโนมัติอย่าง Lean เข้ามาตรวจสอบ ยิ่งช่วยลดความผิดพลาดและสร้างความน่าเชื่อถือให้กับวงการวิชาการที่เดิมทีพึ่งพาแต่มนุษย์เป็นหลัก
ผลลัพธ์ดังกล่าวได้รับการยืนยันความถูกต้องโดยนักคณิตศาสตร์ประจำของ Anthropic จำนวน 2 คน และถูกทำให้เป็นทางการโดยใช้ซอฟต์แวร์ผู้ช่วยพิสูจน์ข้อความเปิด (Open-source proof assistant) ที่ชื่อว่า Lean
"If we arrive at a world where mathematical theorems are no longer associated with mathematicians, maybe that won’t be any more problematic than the fact that stars aren’t named after astronomers and most aren’t named at all"
Timothy Gowers
ความสำเร็จครั้งนี้ถือเป็นส่วนหนึ่งของกระแสความก้าวหน้าทางคณิตศาสตร์ที่ขับเคลื่อนโดยโมเดลภาษาขนาดใหญ่ หรือ LLM ในช่วงปีนี้ ปัญหาจาก Erdos หลายข้อถูกแก้ไขโดย AI และการเปิดตัวโมเดลที่ทรงพลังยิ่งขึ้นก็นำมา
- OpenAI เพิ่งปล่อยผลงานการพิสูจน์ทฤษฎีสำคัญ 10 ข้อจากโมเดลภายในที่ชื่อว่า "Astra"
- ความพยายามอีกชุดจาก Anthropic สามารถหักล้างการคาดเดา Jacobian (Jacobian conjecture) ที่มีมาอย่างยาวนานได้สำเร็จ
ที่มา: TechCrunch
พบข้อมูลผิดพลาดในบทความนี้? แจ้งปัญหาบทความนี้
ความคิดเห็น
แสดงความคิดเห็น