สรุปสั้น
บริษัท OpenAI เปิดเผยชื่อโมเดลปัญญาประดิษฐ์รุ่นถัดไปที่ยังไม่ปล่อยออกสู่สาธารณะภายใต้ชื่อ Astra ซึ่งออกแบบมาเพื่อรับมืองานที่ซับซ้อนและกินเวลานาน (long-running tasks) หลังจากเวอร์ชันที่ใช้ภายในบริษัทสร้างความก้าวหน้าสำคัญได้ถึงสิบรายการในสาขาคณิตศาสตร์และวิทยาการคอมพิวเตอร์เชิงทฤษฎี โดยในโพสต์งานวิจัยฉบับใหม่ OpenAI เรียก Astra ว่าเป็น “โมเดลใหญ่รุ่นถัดไปของเรา” และระบุว่าปัญหาที่นำมาแก้ล้วนไม่มีความคืบหน้าในผลลัพธ์แกนกลางมาอย่างน้อยหนึ่งทศวรรษ และในกรณีส่วนใหญ่นานกว่านั้นมาก
ขอบเขตงานวิจัยภายในที่ OpenAI ระบุครอบคลุมหลายสาขา ทั้งเรขาคณิตมิติสูง ทฤษฎีรหัส (coding theory) ความซับซ้อนของวงจรเลขคณิต ทฤษฎีกลุ่ม ความซับซ้อนเชิงควอนตัม การเข้ารหัสแบบแลตทิซ (lattice cryptography) และคณิตศาสตร์เชิงการจัดแบบสุดขั้ว ตัวอย่างผลลัพธ์ที่ยกมาได้แก่การมีอยู่ของกลุ่มที่ไม่เป็นโซฟิก (non-sofic groups) การหักล้างข้อความคาดการณ์เรื่องความแข็งเกร็งของ Connes การหาขอบเขตใหม่ของการอัดทรงกลมในมิติสูง และผลลัพธ์ที่คลี่คลายปัญหาหลายข้อซึ่งนักคณิตศาสตร์ Paul Erdős เคยตั้งไว้ โดย OpenAI ระบุว่าจำนวนโทเค็นทั้งหมดที่ใช้ค้นหาคำตอบของปัญหาเหล่านี้คิดเป็นค่าใช้จ่ายราวสองพันดอลลาร์สหรัฐตามอัตราค่าบริการ Sol API
จุดที่น่าสนใจในเชิงกระบวนการคือ นักวิจัยที่เป็นมนุษย์ใช้โมเดลตัวเดียวกันช่วยเรียบเรียงข้อโต้แย้งออกมาเป็นต้นฉบับงานวิจัย จากนั้น Astra แปลงทุกข้อโต้แย้งให้อยู่ในรูปใบรับรอง Lean เพื่อให้ระบบตรวจพิสูจน์ทางคณิตศาสตร์เข้ามาตรวจสอบความถูกต้องได้ ด้านสำนักข่าว The Information ยืนยันอย่างเป็นอิสระว่า OpenAI กำลังพัฒนา Astra จริง ในฐานะตระกูลโมเดลที่สร้างมาสำหรับภาระงานระยะยาว ขณะที่ยังไม่มีข้อสรุปว่าจะเปิดตัวในชื่อ GPT-5.7 GPT-6 หรือชื่ออื่น และมีความเป็นไปได้ว่าจะใช้แนวทางคล้ายกับที่ Anthropic ทำ คือปล่อยเวอร์ชันหนึ่งให้ผู้ใช้ทั่วไป ส่วนเวอร์ชันที่ทรงพลังกว่าต้องผ่านการอนุมัติเป็นกรณีพิเศษ
รายละเอียดข่าว
เว็บไซต์ BleepingComputer รายงานเมื่อวันที่ 2 สิงหาคม พ.ศ. 2569 ว่า OpenAI ได้เปิดเผยการมีอยู่ของโมเดล Astra ผ่านโพสต์งานวิจัยที่อธิบายความก้าวหน้าทางคณิตศาสตร์สิบรายการซึ่งเกิดจากการใช้โมเดลเวอร์ชันภายใน โดยบริษัทอธิบายว่า Astra ถูกออกแบบมาให้จัดการกับงานที่ซับซ้อนและใช้เวลาทำงานต่อเนื่องยาวนาน ต่างจากรูปแบบการถาม-ตอบสั้น ๆ ที่ผู้ใช้คุ้นเคย และเป็นโมเดลที่เปิดให้เอเจนต์ปัญญาประดิษฐ์หลายตัวทำงานร่วมกันในคนละส่วนของปัญหาใหญ่ปัญหาเดียว
OpenAI ระบุว่าปัญหาทั้งสิบข้อที่นำมาทดสอบไม่ได้เป็นเพียงโจทย์ยากทั่วไป แต่เป็นปัญหาที่ผลลัพธ์แกนกลางไม่ขยับมาอย่างน้อยสิบปี และหลายข้อค้างคามานานกว่านั้นมาก สาขาที่งานวิจัยภายในครอบคลุมมีตั้งแต่เรขาคณิตมิติสูง ทฤษฎีรหัส ความซับซ้อนของวงจรเลขคณิต ทฤษฎีกลุ่ม ความซับซ้อนเชิงควอนตัม การเข้ารหัสแบบแลตทิซ ไปจนถึงคณิตศาสตร์เชิงการจัดแบบสุดขั้ว ซึ่งเป็นกลุ่มสาขาที่งานพิสูจน์ต้องอาศัยการไล่เหตุผลหลายชั้นและตรวจสอบยาก
ตัวอย่างผลลัพธ์ที่บริษัทหยิบมาแสดง ได้แก่ การมีอยู่ของกลุ่มที่ไม่เป็นโซฟิก การหักล้างข้อความคาดการณ์เรื่องความแข็งเกร็งของ Connes ขอบเขตใหม่สำหรับปัญหาการอัดทรงกลมในมิติสูง และผลลัพธ์ที่คลี่คลายปัญหาหลายข้อซึ่ง Paul Erdős เคยตั้งเอาไว้ พร้อมกันนั้น OpenAI ยังเปิดตัวเลขต้นทุนไว้ด้วยว่า “จำนวนโทเค็นทั้งหมดที่ต้องใช้เพื่อหาคำตอบของปัญหาเหล่านี้จะมีค่าใช้จ่ายราว 2,000 ดอลลาร์ตามอัตราค่าบริการ Sol API” ซึ่งเป็นตัวเลขที่ต่ำอย่างมีนัยสำคัญเมื่อเทียบกับเวลาที่นักวิจัยมนุษย์ต้องใช้กับปัญหาระดับนี้
ในด้านการยืนยันความถูกต้อง OpenAI ระบุว่านักวิจัยที่เป็นมนุษย์ใช้โมเดลเดียวกันช่วยจัดข้อโต้แย้งให้อยู่ในรูปต้นฉบับงานวิจัย จากนั้น Astra ทำหน้าที่แปลงทุกข้อโต้แย้งเป็นใบรับรอง Lean เพื่อให้ระบบตรวจพิสูจน์เชิงรูปนัยตรวจสอบได้ ส่วนสำนักข่าว The Information ยืนยันแยกต่างหากว่า OpenAI กำลังพัฒนา Astra ในฐานะตระกูลโมเดลสำหรับภาระงานที่รันยาว ขณะที่ BleepingComputer เข้าใจว่าบริษัทยังไม่ตัดสินใจว่าจะปล่อยโมเดลนี้ในชื่อ GPT-5.7 GPT-6 หรือชื่ออื่น และมีการคาดการณ์ว่าอาจใช้นโยบายแบบเดียวกับที่ Anthropic ใช้ คือปล่อยเวอร์ชันหนึ่งสู่ผู้ใช้ทั่วไป ส่วนเวอร์ชันที่มีขีดความสามารถสูงกว่าต้องขออนุมัติเป็นการเฉพาะ
รายละเอียดเชิงเทคนิค
สิ่งที่ทำให้ข่าวนี้ต่างจากการประกาศความสามารถของโมเดลทั่วไปคือกลไกตรวจสอบผลลัพธ์ การให้โมเดลแปลงข้อพิสูจน์เป็นใบรับรอง Lean หมายความว่าข้อพิสูจน์แต่ละชิ้นถูกเขียนใหม่ในภาษาที่เครื่องตรวจได้ทีละขั้น ถ้ามีขั้นตอนใดไม่สมเหตุสมผล ตัวตรวจสอบจะปฏิเสธทันที ซึ่งช่วยตัดปัญหาการกุข้อมูล (hallucination) ที่เป็นจุดอ่อนคลาสสิกของโมเดลภาษาออกไปได้ในระดับหนึ่ง แต่ก็ต้องเข้าใจขอบเขตของมันด้วยว่า การที่ข้อพิสูจน์ผ่านตัวตรวจสอบยืนยันได้แค่ว่าการให้เหตุผลนั้นถูกต้องตามที่เขียนไว้ ไม่ได้ยืนยันว่าโจทย์ถูกตั้งอย่างมีความหมายหรือผลลัพธ์นั้นสำคัญเพียงใด ซึ่งยังต้องอาศัยการตรวจทานจากชุมชนนักคณิตศาสตร์ตามปกติ
อีกประเด็นที่มีนัยต่อวงการความมั่นคงปลอดภัยไซเบอร์คือรายชื่อสาขาที่ปรากฏในโพสต์ ซึ่งมีทั้งการเข้ารหัสแบบแลตทิซ ทฤษฎีรหัส และความซับซ้อนเชิงควอนตัม การเข้ารหัสแบบแลตทิซเป็นรากฐานของอัลกอริทึมเข้ารหัสยุคหลังควอนตัมที่กำลังถูกทยอยนำมาใช้แทนของเดิมทั่วโลก อย่างไรก็ตาม ต้องระบุให้ชัดว่ารายงานฉบับนี้ ไม่ได้ ระบุว่าผลลัพธ์ด้านแลตทิซที่ได้มากระทบความปลอดภัยของอัลกอริทึมตัวใด ไม่ได้บอกว่ามีการลดทอนความแข็งแรงของสมมติฐานเชิงคณิตศาสตร์ที่อัลกอริทึมเหล่านั้นพึ่งพา และไม่มีการเปิดเผยเนื้อหาของผลลัพธ์ในรายละเอียด สิ่งที่พูดได้จากข้อมูลเท่าที่มีคือระบบปัญญาประดิษฐ์กำลังเข้ามาทำงานในสาขาที่เป็นฐานรากของการเข้ารหัสสมัยใหม่ ส่วนผลกระทบที่แท้จริงยังต้องรอเนื้อหาฉบับเต็มและการตรวจทานจากผู้เชี่ยวชาญ
ด้านความสามารถเชิงเอเจนต์ก็เป็นอีกจุดที่ควรจับตา OpenAI อธิบาย Astra ว่าเป็นโมเดลที่เปิดให้เอเจนต์หลายตัวร่วมกันแก้ปัญหาคนละส่วน ซึ่งเป็นคุณสมบัติเดียวกับที่ทำให้โมเดลรุ่นใหม่มีประโยชน์กับงานตรวจสอบโค้ด งานล่าภัยคุกคาม และงานวิเคราะห์เหตุการณ์ที่ต้องไล่หลายขั้นตอนต่อเนื่อง แต่ในทางกลับกันก็เป็นคุณสมบัติที่ผู้ก่อภัยสนใจไม่แพ้กัน ทั้งนี้รายงานไม่ได้กล่าวถึงมาตรการความปลอดภัย การประเมินความเสี่ยง หรือแนวทางจำกัดการใช้งานของโมเดลนี้แต่อย่างใด นอกจากการคาดการณ์เรื่องการแบ่งระดับการเข้าถึงซึ่งยังไม่ใช่คำยืนยันจากบริษัท
ผลกระทบ
สำหรับทีมความมั่นคงปลอดภัย ข่าวนี้ยังไม่ใช่เรื่องที่ต้องลงมือทำอะไรทันที เพราะ Astra ยังไม่ถูกปล่อยออกมา ยังไม่มีชื่อทางการ ไม่มีกำหนดวันเปิดตัว และไม่มีรายละเอียดว่าจะเปิดให้เข้าถึงในรูปแบบใด สิ่งที่ควรทำคือติดตามในฐานะสัญญาณของทิศทาง เพราะโมเดลที่ทำงานต่อเนื่องยาวนานและประสานเอเจนต์หลายตัวได้ย่อมเปลี่ยนสมดุลทั้งฝั่งตั้งรับและฝั่งโจมตี ฝั่งตั้งรับจะได้เครื่องมือที่ไล่การสอบสวนได้ลึกขึ้นโดยไม่ต้องมีคนคุมทุกขั้น ส่วนฝั่งโจมตีก็ได้ความสามารถแบบเดียวกันไปใช้กับการค้นหาช่องโหว่และการพัฒนาเครื่องมือ
ในมุมการเข้ารหัส องค์กรที่กำลังวางแผนย้ายไปใช้อัลกอริทึมยุคหลังควอนตัมไม่จำเป็นต้องเปลี่ยนแผนจากข่าวนี้ เพราะไม่มีข้อมูลใดชี้ว่าอัลกอริทึมที่ใช้อยู่อ่อนแอลง แต่ข่าวนี้เป็นเครื่องเตือนว่าความสามารถในการโจมตีเชิงคณิตศาสตร์อาจขยับเร็วกว่าที่หลายองค์กรวางแผนไว้ หลักปฏิบัติที่ยังใช้ได้เหมือนเดิมคือการออกแบบระบบให้เปลี่ยนอัลกอริทึมเข้ารหัสได้โดยไม่ต้องรื้อทั้งระบบ (crypto agility) ซึ่งเป็นเกราะที่ครอบคลุมทั้งกรณีอัลกอริทึมถูกลดความน่าเชื่อถือด้วยงานวิจัยใหม่และกรณีคอมพิวเตอร์ควอนตัมมาถึงเร็วกว่าคาด
ข้อจำกัดของข่าวที่ต้องระบุคือ ข้อมูลเกือบทั้งหมดมาจากโพสต์ของ OpenAI เอง ยังไม่มีการตรวจทานโดยผู้เชี่ยวชาญอิสระในวงกว้าง ต้นฉบับงานวิจัยที่กล่าวถึงยังไม่ผ่านกระบวนการตรวจทานตามปกติของวารสารวิชาการ ตัวเลขค่าใช้จ่ายราวสองพันดอลลาร์เป็นการคำนวณของบริษัทเองตามอัตราของตัวเอง และคำว่า “ความก้าวหน้าสำคัญสิบรายการ” เป็นการประเมินคุณค่าโดยผู้ผลิตโมเดล ไม่ใช่ฉันทามติของชุมชนคณิตศาสตร์ ส่วนการยืนยันจาก The Information จำกัดอยู่แค่การมีอยู่ของโครงการ Astra ไม่ได้ยืนยันผลลัพธ์ทางคณิตศาสตร์
คำแนะนำ
- ติดตามประกาศอย่างเป็นทางการของ OpenAI เรื่องชื่อรุ่น กำหนดเปิดตัว และเงื่อนไขการเข้าถึง ก่อนวางแผนนำโมเดลรุ่นถัดไปเข้าสู่กระบวนการทำงานขององค์กร
- อย่าใช้ข่าวนี้เป็นเหตุผลเร่งหรือชะลอแผนย้ายไปใช้การเข้ารหัสยุคหลังควอนตัม — รายงานไม่ได้ระบุว่าอัลกอริทึมใดถูกกระทบ ให้ยึดคำแนะนำของ NIST และแผนขององค์กรเป็นหลัก
- ทบทวนว่าระบบสำคัญขององค์กรเปลี่ยนอัลกอริทึมเข้ารหัสได้ง่ายเพียงใด (crypto agility) เพราะเป็นมาตรการที่คุ้มค่าไม่ว่าความเปลี่ยนแปลงจะมาจากงานวิจัยหรือจากคอมพิวเตอร์ควอนตัม
- กำหนดนโยบายการใช้ปัญญาประดิษฐ์ในงานความมั่นคงปลอดภัยให้ชัดตั้งแต่ตอนนี้ โดยเฉพาะเรื่องข้อมูลที่อนุญาตให้ป้อนเข้าโมเดล และการทวนสอบผลลัพธ์ก่อนนำไปใช้จริง
- เมื่อประเมินคำกล่าวอ้างเรื่องความสามารถของโมเดลปัญญาประดิษฐ์ ให้ดูว่ามีกลไกตรวจสอบผลลัพธ์แบบอิสระหรือไม่ กรณีนี้คือการใช้ใบรับรอง Lean ซึ่งแข็งแรงกว่าการอ้างผลคะแนนสอบทั่วไป แต่ก็ยังไม่ใช่การตรวจทานโดยชุมชนวิชาการ