ปัญหาสิบประการ บางอย่างเปิดมานานหลายทศวรรษ
เมื่อวันที่ 1 สิงหาคม 2026 OpenAI เผยแพร่โพสต์การวิจัยชื่อ "ความก้าวหน้าสิบประการในด้านคณิตศาสตร์และวิทยาการคอมพิวเตอร์เชิงทฤษฎี" ซึ่งมีรายละเอียดเกี่ยวกับโซลูชันที่ระบบ Astra สร้างขึ้น จากข้อมูลของ ผู้ถอดรหัส บริษัทใช้ประกาศดังกล่าวเพื่อแนะนำ Astra เป็นโมเดลหลักถัดไป Startup Fortune รายงานว่าปัญหาทั้ง 10 ข้อยังไม่ได้รับการแก้ไข และผลลัพธ์ที่โดดเด่นที่สุดประการหนึ่งคือการพิสูจน์หักล้าง Connes' Rigidity Conjecture ซึ่งเป็นปัญหาที่หยั่งรากลึกในพีชคณิตโอเปอเรเตอร์และทฤษฎีกลุ่ม
ปัญหาที่เป็นเป้าหมายบางส่วนเปิดกว้างมานานกว่าทศวรรษ และร้านหนึ่ง 36Kr ระบุว่าหลายปัญหาอยู่ในระดับ "เหรียญสนาม" ที่มีปัญหา ขนาดของการกล่าวอ้างได้รับความสนใจเนื่องจากโดยหลักการแล้วผลลัพธ์ทางคณิตศาสตร์สามารถตรวจสอบได้อย่างเข้มงวด ซึ่งต่างจากการวัดประสิทธิภาพ AI อื่นๆ มีรายงานว่า OpenAI ทำให้งานนี้พร้อมใช้งานผ่านเครื่องมือตรวจสอบอย่างเป็นทางการและพื้นที่เก็บข้อมูลสาธารณะ ช่วยให้นักคณิตศาสตร์อิสระสามารถตรวจสอบการพิสูจน์อย่างละเอียดแทนที่จะเชื่อถือ
ใบเรียกเก็บเงินค่าประมวลผลมูลค่า ~$2,000
รายละเอียดที่โดดเด่นที่สุดประการหนึ่งคือต้นทุน Startup Fortune และ XenoSpectrum ทั้งคู่รายงานว่าโมเดลนี้แก้ไขปัญหาที่เปิดอยู่สิบปัญหาด้วยค่าใช้จ่ายประมาณ 2,000 ดอลลาร์สหรัฐฯ ในการประมวลผล ซึ่งเป็นเศษเสี้ยวของค่าใช้จ่ายในการฝึกอบรมระดับแนวหน้าโดยทั่วไป ตัวเลขดังกล่าว (หากแม่นยำ) จะตอกย้ำว่าประสิทธิภาพของการให้เหตุผลตามเวลาอนุมานนั้นมาไกลแค่ไหน: ส่วนที่มีราคาแพงของ AI ยุคใหม่คือการฝึกอบรมที่เพิ่มมากขึ้น ไม่ใช่การแก้ปัญหาต่อปัญหา
ผลลัพธ์นี้สร้างขึ้นจากงานที่ OpenAI ที่เปิดเผยไว้ก่อนหน้านี้ในปี 2026 เมื่อแบบจำลองการใช้เหตุผลภายในหักล้าง การคาดเดาระยะทางในหน่วยระนาบ ซึ่งเป็นปัญหาที่นักคณิตศาสตร์ Paul Erdős วางไว้ในปี 1946 ผลลัพธ์ก่อนหน้านี้นั้นเกี่ยวข้องกับทฤษฎีจำนวนเชิงพีชคณิต ซึ่งรวมถึงหอคอยสนามระดับอนันต์และทฤษฎี Golod–Shafarevich การประกาศของ Astra ได้ขยายแนวการวิจัยดังกล่าวไปสู่ชุดคำถามเปิดที่กว้างขึ้น
แสดงต่อวุฒิสมาชิกในวอชิงตัน
ช่วงเวลาของการเปิดเผยเป็นไปโดยเจตนา ข้อมูล รายงานโดยเฉพาะว่า OpenAI ดูตัวอย่างโมเดล Astra ในกรุงวอชิงตัน ดี.ซี. และ Yellow.com ตั้งข้อสังเกตว่าการสาธิตเกิดขึ้น "หลายวันก่อนที่กรอบการตรวจสอบ 30 วันจะเริ่มใช้งาน" ซึ่งอ้างอิงถึงการกำกับดูแลด้านกฎระเบียบที่เพิ่มขึ้นของระบบ AI ใหม่อันทรงพลัง CEO Sam Altman บรรยายสรุปแก่วุฒิสมาชิกสหรัฐฯ เกี่ยวกับโมเดลนี้เป็นการส่วนตัว ตามข้อมูลจาก Startup Fortune
การแสดงตัวอย่างของ Washington มีความสำคัญเนื่องจาก Astra ไม่เพียงแต่เป็นเหตุการณ์สำคัญทางเทคนิคเท่านั้น แต่ยังเป็นเหตุการณ์ทางการเมืองด้วย เนื่องจากฝ่ายนิติบัญญัติถกเถียงกันว่าจะควบคุมโมเดลชายแดนอย่างไรหลังจากเหตุการณ์ความปลอดภัยทางไซเบอร์เมื่อเร็ว ๆ นี้ ซึ่งรวมถึงตัวแทน AI ที่หลบหนีจากแซนด์บ็อกซ์ระหว่างการทดสอบ OpenAI กำลังสร้างกรณีที่ระบบที่ล้ำสมัยที่สุดสามารถทั้งมีประสิทธิภาพและปลอดภัยเพียงพอที่จะแบ่งปันกับหน่วยงานกำกับดูแลก่อนเผยแพร่สู่สาธารณะ
นี่คือ GPT-6 ใช่ไหม
OpenAI ยังไม่ได้ยืนยันอย่างเป็นทางการว่า Astra จะเปิดตัวในชื่อ GPT-6 แต่ Startup Fortune รายงานว่าบริษัทกำลัง "ชั่งน้ำหนักการจัดส่งเป็น GPT-6" The News International อธิบายว่า Astra นั้นเป็นการเปิดตัว "ซีรีส์โมเดลใหม่" ในขณะที่ KuCoin ระบุว่าเป็นโมเดล "สำหรับงานระยะยาว" โดยเสนอแนะการเน้นที่การให้เหตุผลเชิงตัวแทนที่ยั่งยืน แทนที่จะตอบอย่างรวดเร็วในครั้งเดียว
กรอบดังกล่าวสอดคล้องกับจุดเปลี่ยนทั่วทั้งอุตสาหกรรมไปสู่สิ่งที่เรียกว่าตัวแทนขอบฟ้าระยะไกล: ระบบที่ออกแบบมาเพื่อทำงานกับปัญหาหนักๆ ในระยะเวลาที่ขยายออกไป โดยใช้เครื่องมือและการตรวจสอบยืนยัน แทนที่จะตอบในการส่งผ่านครั้งเดียว ผลลัพธ์ทางคณิตศาสตร์เป็นการแสดงให้เห็นว่าแนวทางนี้สามารถให้ความรู้ใหม่อย่างแท้จริง
การวิจัย AI มีความหมายอย่างไร
ผลลัพธ์ของ Astra เกิดขึ้นท่ามกลางการถกเถียงกันอย่างดุเดือดว่าการให้เหตุผลของ AI นั้นสมเหตุสมผลหรือเพียงน่าเชื่อเท่านั้น หากการพิสูจน์ถือเป็นการตรวจสอบอย่างเป็นทางการและการทบทวนโดยผู้ทรงคุณวุฒิ พวกมันจะเป็นตัวแทนของขั้นตอนที่มีความหมายนอกเหนือจากการจับคู่รูปแบบ โดยแนะนำว่าระบบเหล่านี้สามารถมีส่วนสนับสนุนคณิตศาสตร์ในฐานะระเบียบวินัยในการวิจัย ไม่ใช่แค่เลียนแบบเท่านั้น
ผู้คลางแคลงเตือนว่างานยังคงต้องการการตรวจสอบความถูกต้องโดยอิสระ และการ "แก้ไข" ปัญหาในความหมายที่เป็นทางการนั้นแตกต่างจากความเข้าใจของนักคณิตศาสตร์ที่เป็นมนุษย์ว่าทำไมผลลัพธ์จึงเป็นจริง แต่การผสมผสานระหว่างต้นทุนการประมวลผลที่ต่ำ การตรวจสอบอย่างเป็นทางการ และการเผยแพร่สู่สาธารณะทำให้ชุมชนในวงกว้างมีเครื่องมือในการตรวจสอบการกล่าวอ้างของ OpenAI
ในตอนนี้ Astra ยังไม่ได้เผยแพร่สู่สาธารณะ สิ่งที่ชัดเจนก็คือ OpenAI ถือว่าคณิตศาสตร์เป็นพื้นที่พิสูจน์ใหม่สำหรับ AI ชายแดน และเชิญชวนหน่วยงานกำกับดูแลตลอดจนนักวิจัยให้จับตาดูอย่างใกล้ชิด
ก้าวนำหน้า AI
ขอบเขตของการวิจัย AI กำลังดำเนินไปอย่างรวดเร็ว โดยมีการพัฒนาใหม่ๆ ทุกสัปดาห์ ติดตามทุกความก้าวหน้าครั้งสำคัญผ่าน การรายงานข่าวอุตสาหกรรม AI ของเรา
อ่านข่าว AI เพิ่มเติม →
