OpenAI ประกาศความก้าวหน้าครั้งสำคัญในด้านการวิจัย โดยใช้โมเดลรุ่นภายในชื่อ 'Astra' ค้นพบผลลัพธ์ใหม่สำหรับปัญหาทางคณิตศาสตร์ 10 ประการที่เปิดค้างมานานและไม่มีความคืบหน้ามาอย่างน้อยหนึ่งทศวรรษ ครอบคลุมหัวข้อตั้งแต่เรขาคณิตหลายมิติ (High-dimensional geometry) ทฤษฎีรหัส (Coding theory) ไปจนถึงรหัสลับควอนตัม (Quantum complexity) และโครงสร้างกราฟ (Extremal combinatorics)
ความโดดเด่นของงานวิจัยนี้คือการใช้โมเดล AI ในการสร้างข้อพิสูจน์ (Proofs) และการตรวจสอบความถูกต้องด้วย Lean certificate ซึ่งเป็นเครื่องมือในการรับรองความถูกต้องทางคณิตศาสตร์แบบเป็นทางการ นอกจากนี้ OpenAI ยังได้เผยแพร่แนวคิดเบื้องหลังการคิดของโมเดล (Reasoning walkthroughs) เพื่อให้ชุมชนนักวิทยาศาสตร์สามารถนำไปต่อยอดและศึกษาถึงบทบาทของ AI ในฐานะผู้ช่วยวิจัยระดับสูงได้
