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