บทความ

DeepMind ของ Google แก้ปัญหาทางคณิตศาสตร์ด้วยปัญญาประดิษฐ์

ความก้าวหน้าล่าสุดในโมเดลภาษาขนาดใหญ่ (LLM) ทำให้ AI สามารถปรับตัวได้มากขึ้น แต่สิ่งนี้มาพร้อมกับข้อเสีย: ข้อผิดพลาด

Generative AI มีแนวโน้มที่จะสร้างสิ่งต่าง ๆ ขึ้นมา แต่ Google DeepMind ได้สร้าง LLM ใหม่ที่ยึดติดกับความจริงทางคณิตศาสตร์

FunSearch ของบริษัทสามารถแก้ปัญหาทางคณิตศาสตร์ที่ซับซ้อนสูงได้

น่ามหัศจรรย์ที่วิธีแก้ปัญหาที่เกิดขึ้นไม่เพียงแต่แม่นยำเท่านั้น มันเป็นวิธีแก้ปัญหาใหม่ที่ไม่เคยมีมนุษย์คนใดเคยพบมาก่อน

เวลาในการอ่านโดยประมาณ: 4 นาที

FunSearch เรียกอย่างนั้นเพราะมันค้นหาฟังก์ชันทางคณิตศาสตร์ ไม่ใช่เพราะมันสนุก อย่างไรก็ตาม บางคนอาจมองว่าปัญหา cap set เป็นเพียงเรื่องไร้สาระ นักคณิตศาสตร์ไม่สามารถตกลงกันได้ว่าจะแก้ปัญหาอย่างไรให้ดีที่สุด ทำให้มันกลายเป็นปริศนาเชิงตัวเลขอย่างแท้จริง Deepmind ได้สร้างความก้าวหน้าในด้านปัญญาประดิษฐ์ด้วยรุ่น Alpha เช่น AlphaFold (การพับโปรตีน), AlphaStar (StarCraft) และ AlphaGo (การเล่น Go) ระบบเหล่านี้ไม่ได้ใช้ LLM แต่ได้เปิดเผยแนวคิดทางคณิตศาสตร์ใหม่ๆ

ด้วย FunSearch Deepmind เริ่มต้นด้วยโหมดภาษาขนาดใหญ่ ซึ่งเป็นเวอร์ชันของ PaLM 2 ของ Google ที่เรียกว่า Codey มี LLM ระดับที่สองในที่ทำงาน ซึ่งจะวิเคราะห์ผลลัพธ์ของ Codey และกำจัดข้อมูลที่ไม่ถูกต้อง ทีมงานที่อยู่เบื้องหลังงานนี้ไม่รู้ว่าแนวทางนี้จะได้ผลหรือไม่ และยังไม่แน่ใจว่าทำไม ตามที่นักวิจัยระบุ Deepmind อัลฮุสเซน ฟาวซี.

เริ่มต้นโดยวิศวกรที่ Deepmind พวกเขาสร้างการแสดง Python ของปัญหา cap set แต่ละบรรทัดที่อธิบายวิธีแก้ปัญหาไว้ งานของ Codey คือการเพิ่มบรรทัดที่สามารถแก้ไขปัญหาได้อย่างแม่นยำ เลเยอร์การตรวจสอบข้อผิดพลาดจะให้คะแนนโซลูชัน Codey เพื่อดูว่าถูกต้องหรือไม่ ในคณิตศาสตร์ระดับสูง สมการอาจมีคำตอบได้มากกว่าหนึ่งคำตอบ แต่ไม่ใช่ทั้งหมดจะถือว่าดีเท่ากัน เมื่อเวลาผ่านไป อัลกอริธึมจะระบุโซลูชัน Codey ที่ดีที่สุดและแทรกกลับเข้าไปในโมเดล

DeepMind ปล่อยให้ FunSearch ทำงานเป็นเวลาหลายวัน ซึ่งนานพอที่จะสร้างโซลูชันที่เป็นไปได้นับล้านรายการ สิ่งนี้ทำให้ FunSearch สามารถปรับแต่งโค้ดและให้ผลลัพธ์ที่ดีขึ้น ตามงานวิจัยที่ตีพิมพ์ใหม่, L 'ปัญญาประดิษฐ์ พบวิธีแก้ปัญหา cap set ที่ไม่รู้จักมาก่อน แต่ถูกต้อง Deepmind นอกจากนี้ FunSearch ยังช่วยแก้ปัญหาทางคณิตศาสตร์ที่ยากลำบากอีกปัญหาหนึ่งที่เรียกว่าปัญหาการบรรจุตู้คอนเทนเนอร์ ซึ่งเป็นอัลกอริทึมที่อธิบายวิธีบรรจุตู้คอนเทนเนอร์ที่มีประสิทธิภาพมากที่สุด FunSearch พบวิธีแก้ปัญหาได้เร็วกว่าที่คำนวณโดยมนุษย์

นักคณิตศาสตร์ยังคงดิ้นรนที่จะบูรณาการเทคโนโลยี LLM เข้ากับงานของพวกเขาและงานของ Deepmind แสดงให้เห็นหนทางที่เป็นไปได้ในการติดตาม ทีมงานเชื่อว่าแนวทางนี้มีศักยภาพเนื่องจากสร้างโค้ดคอมพิวเตอร์มากกว่าวิธีแก้ปัญหา ซึ่งมักจะเข้าใจและตรวจสอบได้ง่ายกว่าผลลัพธ์ทางคณิตศาสตร์ดิบ