OpenAI เปิดตัวตระกูลโมเดลหลักตัวถัดไปในชื่อ Astra จากผลงานแก้โจทย์คณิตศาสตร์ 10 ข้อ แม้ในตอนนี้ โมเดลเปิดน้ำหนักจากจีน จะเร่งกวาดส่วนแบ่งโทเคนในทราฟฟิก AI ทั่วโลกอย่างรวดเร็ว
ประเด็นสำคัญ
- OpenAI เปิดเผย Astra เมื่อ 1 ส.ค. ผ่านโพสต์วิจัยที่อ้างว่าแก้โจทย์เปิดที่ค้างมานานอย่างน้อยสิบปีได้ 10 ข้อ
- โมเดลยังไม่มีกำหนดปล่อยใช้จริง ยังไม่มีชื่ออย่างเป็นทางการ และต้องผ่านกระบวนการประเมินใหม่ของรัฐบาลกลางก่อน
- โมเดลเปิดน้ำหนักจากจีนปัจจุบันครองสัดส่วนโทเคนส่วนใหญ่แล้ว แต่แล็บสหรัฐยังโกยรายได้เกือบทั้งหมดของการใช้จ่ายด้าน AI
Astra แก้โจทย์คณิตศาสตร์เปิด 10 ข้อ
OpenAI เลือกจะ ตั้งชื่อ โมเดล Astra ผ่านโพสต์งานวิจัยด้านคณิตศาสตร์ แทนที่จะเปิดตัวในฐานะผลิตภัณฑ์เชิงพาณิชย์ตามปกติ
เวอร์ชันภายในของ Astra ให้คำตอบใหม่สำหรับโจทย์ 10 ข้อในคณิตศาสตร์และทฤษฎีวิทยาการคอมพิวเตอร์ โดยแต่ละข้อเป็นปัญหาเปิดที่ไม่มีใครแก้ได้มานานอย่างน้อยสิบปี
OpenAI ได้ เผยแพร่ ต้นฉบับงานวิจัยความยาว 249 หน้า พร้อมไฟล์หลักฐานเชิงรูปแบบ (proof certificates) สำหรับ Lean 4 ที่ตรวจสอบด้วยเครื่องได้ บน GitHub ภายใต้สัญญาอนุญาตแบบเปิด
ไฮไลต์คือการให้ “โครงสร้างอย่างชัดแจ้ง” ของกลุ่ม non-sofic เป็นครั้งแรก ซึ่งเป็นโจทย์ในทฤษฎีกลุ่มที่ค้างคำตอบมาตั้งแต่ปี 1999 นักวิจัยประเมินว่าปริมาณโทเคนที่ใช้ในการหาเฉลยทั้ง 10 ข้อ หากคิดตามเรตราคา API ของ Sol โมเดลเรือธงปัจจุบันของบริษัท จะมีต้นทุนราว 2,000 ดอลลาร์
อ่านเพิ่มเติม: OpenAI พาอินฟลูเอนเซอร์ทัวร์รีสอร์ตฟาร์ม แต่แฟนคลับกลับไม่ปลื้ม
วงการคณิตศาสตร์ชั่งน้ำหนักความเชื่อมั่นในหลักฐานของ Astra
โธมัส บลูม (Thomas Bloom) นักคณิตศาสตร์จากมหาวิทยาลัยแมนเชสเตอร์ ผู้ดูแลฐานข้อมูลสาธารณะของปัญหา Erdos ระบุว่างานชิ้นนี้เป็น “ข่าวใหญ่” และจัดอันดับให้เหนือกว่าผลงานเรขาคณิตที่ OpenAI เคยประกาศในเดือนพฤษภาคม
เขาปฏิเสธมุมมองที่ว่าระบบจะมาแทนที่นักคณิตศาสตร์มนุษย์ โดยชี้ว่าตัวโมเดลเองถูกฝึกจากองค์ความรู้ของนักคณิตศาสตร์ที่สั่งสมมากว่าหนึ่งศตวรรษ ขณะที่ โนอาม บราวน์ (Noam Brown) นักวิจัย OpenAI เปิดเผยว่าทีมเคยลองโจทย์ดังๆ อีกหลายข้อแล้วล้มเหลว และยังไม่มีปัญหาในระดับ Millennium Prize ข้อใดถูกแก้ได้ แต่เขาย้ำว่าการลองแต่ละครั้งใช้คอมพิวต์ไม่มากนัก และมองว่าผลงานครั้งนี้เป็นก้าวสำคัญในด้านการให้เหตุผลเชิงวิทยาศาสตร์ของ AI
แซม อัลต์แมน (Sam Altman) ได้ พรีวิว ระบบ Astra ให้สมาชิกสภาคองเกรสในวอชิงตันดูเมื่อสัปดาห์ก่อน Astra จึงมีแนวโน้มจะกลายเป็นโมเดลตัวแรกที่เข้าสู่การประเมินภายใต้กรอบกำกับดูแล AI ฉบับใหม่ของรัฐบาลสหรัฐ บริษัทระบุว่ายังไม่กำหนดวันเปิดให้ใช้งาน และยังไม่ตัดสินใจว่าจะวาง Astra ภายใต้แบรนด์ GPT-6 หรือเป็นเพียงอีกเวอร์ชันหนึ่งในสาย GPT-5
โมเดลเปิดน้ำหนักจากจีนเขย่าดีมานด์โทเคน
จังหวะเวลาในการปล่อย Astra มีความสำคัญ เพราะฝั่งโมเดลเปิดน้ำหนักเริ่มแยกเส้นทางไม่รอแล็บอเมริกันกำหนดเพดานเทคโนโลยีอีกต่อไป เจนเซน หวง (Jensen Huang) ซีอีโอ Nvidia เพิ่งรวมตัวบริษัทยักษ์ใหญ่สหรัฐหลายรายหนุนแนวทาง open weights ขณะที่ ดาริโอ อาโมเดอี (Dario Amodei) ซีอีโอ Anthropic ออกมาเรียกร้องให้มีการทดสอบความปลอดภัยที่เป็นข้อบังคับ และเพิ่มความเข้มงวดด้านการควบคุมการส่งออกชิป
Moonshot AI เปิดตัว Kimi K3 เมื่อเดือนกรกฎาคม ด้วยขนาด 2.8 ล้านล้านพารามิเตอร์และเปิดน้ำหนักให้ใช้งาน โดยวางตำแหน่งว่าเป็นโมเดลเปิดที่ใหญ่ที่สุดในโลกในตอนนี้
บนแพลตฟอร์ม OpenRouter สัดส่วนโทเคนที่ถูกส่งไปยังโมเดลฝั่งสหรัฐ ร่วงลง จากราว 70% ในเดือนมิถุนายน 2025 เหลือประมาณ 30% ในช่วงเวลาเดียวกันปีถัดมา อย่างไรก็ดี ในเกตเวย์ AI สำหรับองค์กรขนาดใหญ่รายหนึ่ง แล็บสหรัฐยังคงกวาดรายได้คิดเป็นเกือบ 95% ของเม็ดเงินที่ลูกค้าใช้จ่ายในเดือนมิถุนายน และ “ช่องว่างรายได้” นี่เองที่ Astra ต้องลงมาป้องกัน
อ่านต่อ: Dogecoin ทดสอบแนวรับ $0.05 ก่อนลุ้นดีดตัวสู่โซน $0.12