เมื่อเร็ว ๆ นี้มีข่าวว่ารูปแบบภาษาขนาดใหญ่ของ XAI GROK3 ได้พิสูจน์แล้วว่าการคาดเดาของ Riemann กำลังระเบิดในโซเชียลมีเดียกระตุ้นความสนใจอย่างกว้างขวางและการสนทนาที่ร้อนแรง วิศวกรของ Xai Hieu Pham ปล่อยข้อความบอกว่า Grok3 ประสบความสำเร็จในการพิสูจน์ปัญหาที่ยากลำบากนี้ซึ่งทำให้ชุมชนคณิตศาสตร์ได้รับผลกระทบมานานหลายปีและดังนั้นจึงระงับการฝึกอบรมแบบจำลอง อย่างไรก็ตามนี่เป็นเพียงการ "แตก" ที่เกิดจากการเปิดเผยของชาวเน็ตซึ่งในที่สุดก็ถูกเปิดเผยโดยการตอบสนองที่ตลกขบขันของ Greg Yang ผู้ร่วมก่อตั้ง Xai และคนอื่น ๆ แม้ว่ามันจะเป็นแค่เรื่องตลก แต่เหตุการณ์นี้ทำให้เกิดความคิดเชิงลึกของผู้คนเกี่ยวกับความสามารถทางคณิตศาสตร์ของ AI และทำให้เราตั้งตารอการพัฒนาในอนาคตของ AI ในสาขาคณิตศาสตร์
เมื่อเร็ว ๆ นี้วิศวกรของ Xai Hieu Pham ได้โพสต์ข้อความ "ระเบิด" บนโซเชียลมีเดียโดยอ้างว่ารูปแบบภาษาขนาดใหญ่ของ Xai GROK3 ประสบความสำเร็จในการพิสูจน์การคาดเดาของ Riemann และระงับการฝึกอบรมแบบจำลอง ข่าวนี้จุดประกายการอภิปรายอย่างรุนแรงในวงกลม AI และชาวเน็ตแสดงความตกใจและมันยากที่จะบอกว่ามันเป็นเรื่องจริงหรือเท็จ ท้ายที่สุดการคาดเดาของ Riemann ซึ่งเป็นหนึ่งในเจ็ดปัญหาทางคณิตศาสตร์ที่สำคัญของสหัสวรรษเป็นที่รู้จักกันในนาม "มงกุฎแห่งโลกคาดเดา" และความยากลำบากของมันสามารถจินตนาการได้
ไม่กี่ชั่วโมงต่อมา Pham เปิดเผยคำตอบในโพสต์อื่น: มันเป็นแค่เรื่องตลก "การคัดค้าน" นี้มีต้นกำเนิดมาจากการเปิดเผยของ Netizen Andrew Curran ผู้ซึ่งอ้างว่า Grok3 พบ "เหตุการณ์ภัยพิบัติ" ในระหว่างการฝึกอบรม
ต้องเผชิญกับข่าวลือว่ายิ่งแพร่กระจายมากขึ้น Xai Lianchuang Greg Yang ไม่สามารถช่วยได้ แต่โพสต์บทความประชดประชันและพูดอย่างถากถางว่า "ใช่ใช่ Grok3 เริ่มโจมตีเจ้าหน้าที่รักษาความปลอดภัยในสำนักงาน" เขาพูดอย่างตลกขบขันว่า "สถานการณ์แย่มากในภายหลังเราได้แทนที่น้ำหนักที่ไม่ดีทั้งหมดด้วย NAN (ไม่ใช่ตัวเลขไม่ใช่จำนวน) ก่อนที่เราจะกู้คืนได้"
แม้ว่า "เรื่องตลก" นี้จะจบลงด้วยเรื่องตลก แต่มันก็ก่อให้เกิดความคิดของผู้คนเกี่ยวกับความสามารถทางคณิตศาสตร์ของ AI
ดังนั้น AI จากการเอาชนะปัญหาคณิตศาสตร์พันปีเช่นการคาดเดาของ Riemann?
เราสามารถเห็นประสิทธิภาพของ AlphaProof ซึ่งเป็นเครื่องมือพิสูจน์คณิตศาสตร์ AI ที่พัฒนาโดยทีม DeepMind ของ Google อัลฟาปรูฟประสบความสำเร็จในการแก้ไขคำถามสามข้อในโอลิมปิกคณิตศาสตร์นานาชาติระหว่างปี 2567 (IMO) ซึ่งคำถามที่หกเป็นที่รู้จักกันในชื่อ "Ultimate Boss" และเป็นเรื่องยากมาก อัลฟาปรูฟแสดงให้เห็นถึงความสามารถในการใช้เหตุผลเชิงตรรกะที่แข็งแกร่งและการคิดอย่างสร้างสรรค์ในกระบวนการแก้ปัญหา ด้วยกัน.
แม้ว่าอัลฟาปรูฟจะได้ผลลัพธ์ที่น่าทึ่ง แต่ AI ก็ยังมีหนทางไกลที่จะเอาชนะปัญหาทางคณิตศาสตร์ชั้นนำเช่นการคาดเดาของ Riemann การคาดเดาของ Riemann มีประวัติ 165 ปีนับตั้งแต่มีการเสนอในปี 1859 และนักคณิตศาสตร์นับไม่ถ้วนได้ทุ่มเทความพยายามของพวกเขากับมัน แต่พวกเขาไม่เคยได้รับการพิสูจน์อย่างสมบูรณ์
เพื่อพิสูจน์การคาดเดาของ Riemann AI จำเป็นต้องมีพลังการคำนวณที่แข็งแกร่งและความสามารถในการใช้เหตุผลเชิงลึก ปัจจุบัน AI สามารถค้นหาหลักฐานที่เป็นไปได้ทั้งหมดโดยค้นหาทฤษฎีบทที่พิสูจน์แล้วอย่างละเอียด แต่ต้องใช้ทรัพยากรการคำนวณทางดาราศาสตร์ นอกจากนี้ AI ยังต้องมีความสามารถในการทำความเข้าใจและใช้เครื่องมือทางคณิตศาสตร์ที่มีอยู่เพื่อมีบทบาทมากขึ้นในการวิจัยทางคณิตศาสตร์
ผู้เชี่ยวชาญ AI บางคนคาดการณ์ว่าในตอนท้ายของปี 2026 AI จะกลายเป็น "นักคณิตศาสตร์ซูเปอร์แมน" ซึ่งเพียงพอที่จะแก้ปัญหาเช่นการคาดเดาของ Riemann มัสค์ยังสัญญาด้วยว่า GROK3 ซึ่งได้รับการฝึกฝนกับ 200,000 H100 จะได้รับการปล่อยตัวในช่วงปลายปีและจะนำมาซึ่งการแสดงที่น่าทึ่ง
ในอนาคตให้เรารอและดูว่า AI สามารถก้าวหน้าในสาขาคณิตศาสตร์ได้หรือไม่
แม้ว่า "เรื่องตลก" นี้เกี่ยวกับว่า AI สามารถพิสูจน์การคาดเดาของ Riemann ได้หรือไม่ แต่มันก็จบลงด้วยเรื่องตลก ความคืบหน้าของ AI ในสาขาคณิตศาสตร์นั้นชัดเจนสำหรับทุกคน แต่ก็ยังมีหนทางอีกไกลที่จะเอาชนะปัญหาชั้นยอดเช่นการคาดเดาของ Riemann ให้เราตั้งตารอที่จะพัฒนามากขึ้นใน AI ในสาขาคณิตศาสตร์ในอนาคต!