OpenAI, birden fazla yapay zekâ ajanının zor problemler üzerinde saatlerce hatta günlerce birlikte çalışmasını sağlayan, geçici adı Astra olan yeni bir model ailesini tanıttı. Dahili bir sürüm, matematik ve teorik bilgisayar biliminde uzmanların en az on yıldır çözemediği on açık problemi çözdü — aralarında sofik olmayan grupların varlığının kanıtı da var; kanıtlar makinelerin denetleyebilmesi için Lean'de biçimselleştirildi. API fiyatlarıyla toplam maliyet: yaklaşık 2.000 dolar. Sam Altman sistemi Washington'da politika yapıcılara gösterdi; model GPT-6, GPT-5.7 veya ayrı bir sınıf olarak çıkabilir ve planlanan ABD hükümeti yayın öncesi incelemesinden geçecek ilk model olması bekleniyor. (Düzeltme: OpenAI o zamandan beri “en az on yıldır ilerleme kaydedilmemişti” ifadesini geri çekti; adları açık matematikçiler kanıtların bir kısmının atıf verilmeyen yayımlanmış çalışmalara dayandığını söylüyor.)