OpenAI เปิดตัว Astra โมเดลรุ่นถัดไป หลังรุ่นภายในแก้โจทย์คณิตศาสตร์ค้างคามานานได้ 10 ข้อ — มีงานด้านการเข้ารหัสแบบแลตทิซรวมอยู่ด้วย

OpenAI เผยชื่อโมเดลรุ่นถัดไป Astra ที่ออกแบบมาสำหรับงานซับซ้อนซึ่งใช้เวลานาน หลังรุ่นที่ใช้ภายในสร้างความก้าวหน้าสำคัญ 10 รายการในคณิตศาสตร์และวิทยาการคอมพิวเตอร์เชิงทฤษฎี ปัญหาเหล่านั้นไม่มีความคืบหน้าในผลลัพธ์หลักมาอย่างน้อยหนึ่งทศวรรษ ขอบเขตงานครอบคลุมทฤษฎีกลุ่ม ความซับซ้อนเชิงควอนตัม และการเข้ารหัสแบบแลตทิซ ทุกข้อพิสูจน์ถูกแปลงเป็นใบรับรอง Lean เพื่อให้ระบบตรวจสอบทางคณิตศาสตร์ยืนยันได้ ขณะที่ยังไม่มีข้อสรุปว่าจะเปิดตัวในชื่อ GPT-5.7 GPT-6 หรือชื่ออื่น


