ล่าสุดมีข่าวลือเกี่ยวกับโมเดลภาษาขนาดใหญ่ของ xAI Grok3 ที่พิสูจน์สมมติฐานของ Riemann ทำให้เกิดความโกลาหลในแวดวง AI Hieu Pham วิศวกร xAI แจ้งข่าวบนโซเชียลมีเดียว่า Grok3 ประสบความสำเร็จในการพิสูจน์ปัญหาทางคณิตศาสตร์นี้ และดังนั้นจึงระงับการฝึกอบรมทันทีที่มีข่าวออกมา ก็กระตุ้นให้เกิดการถกเถียงกันอย่างดุเดือดทันที อย่างไรก็ตาม ในไม่ช้า Pham ก็ชี้แจงว่านี่เป็นเพียงเรื่องตลก ซึ่งเป็นอูหลงที่เกิดจากการที่ชาวเน็ตเปิดเผยเกี่ยวกับ "เหตุการณ์ภัยพิบัติ" ในระหว่างการฝึกของ Grok3 บรรณาธิการของ Downcodes จะพาคุณไปทบทวน "เรื่องตลก" นี้ และหารือเกี่ยวกับความก้าวหน้าของ AI ในการเอาชนะปัญหาทางคณิตศาสตร์
ไม่กี่ชั่วโมงต่อมา Pham เปิดเผยคำตอบในโพสต์อื่น: มันเป็นแค่เรื่องตลก “เข้าประตูตัวเอง” นี้เกิดขึ้นจากการเปิดเผยของชาวเน็ต แอนดรูว์ เคอร์แรน ซึ่งอ้างว่า Grok3 พบกับ “เหตุการณ์หายนะ” ระหว่างการฝึกซ้อม
เมื่อต้องเผชิญกับข่าวลือที่อุกอาจมากขึ้นเรื่อยๆ Greg Yang ผู้ร่วมสร้าง xAI อดไม่ได้ที่จะโพสต์โพสต์ประชดว่า "ใช่ ใช่ ใช่ Grok3 เริ่มโจมตีระบบรักษาความปลอดภัยในสำนักงานหลังการฝึกอบรม" Heinrich Kuttler นักวิจัยอีกคนกล่าวอย่างติดตลกเช่นกันว่า “สถานการณ์แย่มาก! ต่อมาเราแทนที่น้ำหนักที่ไม่ดีทั้งหมดด้วย nan (ไม่ใช่ตัวเลข ไม่ใช่ตัวเลข) แล้วจึงกู้คืน” เมื่อเห็นสิ่งนี้ ชาวเน็ตก็ร่วมสร้างมีมด้วย
แม้ว่า "เรื่องตลก" นี้จะจบลงด้วยเรื่องตลก แต่ก็ยังกระตุ้นให้ผู้คนคิดถึงความสามารถทางคณิตศาสตร์ของ AI อีกด้วย
แล้ว AI จะสามารถแก้ไขปัญหาทางคณิตศาสตร์เช่น Riemann Hypothesis ไปได้ไกลแค่ไหน?
เราจะได้เห็นประสิทธิภาพของ AlphaProof ซึ่งเป็นเครื่องมือพิสูจน์ทางคณิตศาสตร์ของ AI ที่พัฒนาโดยทีมงาน DeepMind ของ Google AlphaProof ไขคำถามสามข้อได้สำเร็จในการแข่งขันคณิตศาสตร์โอลิมปิกระหว่างประเทศ (IMO) ปี 2024 คำถามที่หกเรียกว่า "หัวหน้าคนสุดท้าย" และยากมาก AlphaProof แสดงให้เห็นถึงการใช้เหตุผลเชิงตรรกะที่แข็งแกร่งและความคิดสร้างสรรค์ในระหว่างกระบวนการแก้ปัญหา ตัวอย่างเช่น ในคำถามที่สอง AlphaProof เลือกที่จะพิจารณาตัวเลข ab+1 อย่างชาญฉลาดเพื่อสร้างการพิสูจน์ กลยุทธ์นี้สอดคล้องกับแนวคิดในการแก้ปัญหาของมนุษย์ ด้วยกัน.
แม้ว่า AlphaProof จะได้รับผลลัพธ์ที่น่าประทับใจ แต่ AI ยังคงมีหนทางอีกยาวไกลในการเอาชนะปัญหาทางคณิตศาสตร์ชั้นนำ เช่น สมมติฐานของ Riemann สมมติฐานของรีมันน์มีประวัติยาวนานถึง 165 ปีนับตั้งแต่มีการเสนอในปี พ.ศ. 2402 นักคณิตศาสตร์จำนวนนับไม่ถ้วนได้ทุ่มเทความพยายามให้กับสมมติฐานนี้ แต่พวกเขาไม่สามารถพิสูจน์ได้อย่างสมบูรณ์
เพื่อพิสูจน์สมมติฐานของ Riemann นั้น AI จำเป็นต้องมีพลังการประมวลผลที่ทรงพลังและความสามารถในการให้เหตุผลเชิงลึก ปัจจุบัน AI สามารถค้นหาทฤษฎีบทที่พิสูจน์ได้โดยการค้นหาข้อพิสูจน์ที่เป็นไปได้ทั้งหมดอย่างละเอียดถี่ถ้วน แต่สิ่งนี้ต้องใช้ทรัพยากรคอมพิวเตอร์จำนวนมหาศาล นอกจากนี้ AI ยังจำเป็นต้องมีความสามารถในการทำความเข้าใจและประยุกต์ใช้เครื่องมือทางคณิตศาสตร์ที่มีอยู่เพื่อที่จะมีบทบาทมากขึ้นในการวิจัยทางคณิตศาสตร์
ผู้เชี่ยวชาญด้าน AI บางคนคาดการณ์ว่าภายในสิ้นปี 2569 AI จะกลายเป็น "นักคณิตศาสตร์ชั้นยอด" ที่สามารถแก้ไขปัญหายากๆ เช่น สมมติฐานของรีมันน์ ได้ Musk ยังให้สัญญาด้วยว่า Grok3 ซึ่งได้รับการฝึกฝนด้วย H100 จำนวน 200,000 เครื่อง จะเปิดตัวภายในสิ้นปีนี้ และจะนำมาซึ่งประสิทธิภาพที่น่าทึ่ง
เรามารอดูกันว่า AI จะสามารถบรรลุความก้าวหน้าทางคณิตศาสตร์ในอนาคตได้หรือไม่
"เหตุการณ์ของตัวเอง" เกี่ยวกับการพิสูจน์สมมติฐานของ Riemann ของ Grok3 นี้ไม่เพียงแสดงให้เห็นถึงการพัฒนาอย่างรวดเร็วของเทคโนโลยี AI เท่านั้น แต่ยังเตือนเราด้วยว่าเราควรระมัดระวังและมีเหตุผลในการประเมินความสามารถของ AI ของเรา AI มีแนวโน้มการใช้งานที่กว้างขวางในสาขาคณิตศาสตร์ แต่การเอาชนะปัญหาเก่าแก่นับศตวรรษ เช่น สมมติฐานของ Riemann ยังคงต้องใช้การสำรวจที่ยาวนานและยากลำบาก