OpenAI, 'bir sonraki büyük model ailesi' Astra'yı doğruladı: Aynı anda on açık matematik problemini çözdü

OpenAI, yeni büyük model ailesinin adını resmi olarak doğruladı: Astra. Ayrıca, Astra'nın dahili bir sürümünün matematik ve teorik bilgisayar biliminde daha önce çözülmemiş on problemi çözdüğünü gösteren bir matematik raporu yayınladı. Problemler; yüksek boyutlu geometri, kodlama teorisi, grup teorisi, kuantum karmaşıklığı, kafes şifreleme ve ekstremal kombinatorik gibi çeşitli alanları kapsıyor. Çözülen problemler arasında, grup teorisinde merkezi bir açık soru olan sofic olmayan grupların varlığının kanıtı da yer alıyor. Manchester Üniversitesi'nden matematikçi Thomas Bloom, sonuçları X'te 'büyük haber' olarak nitelendirdi ve Mayıs ayında yayınlanan birim mesafe varsayımı karşı örneğinden daha yüksek puan verdi. Astra'nın altında yatan test-zamanı akıl yürütme teknolojisinin kilit isimlerinden Noam Brown, X'te OpenAI'in Milenyum Ödül Problemleri de dahil olmak üzere diğer büyük problemlerde de başarısız olduğunu kabul etti ve problem başına çok fazla hesaplama gücü harcamadıklarını, test-zamanı hesaplamanın daha da ölçeklenebileceğini belirtti. Brown, Astra'yı 'bilimsel akıl yürütme için büyük bir adım' olarak tanımladı. Çözümlerin hesaplama maliyeti dikkat çekici derecede düşüktü: OpenAI'e göre, gereken token'lar Sol modelinin API fiyatlarıyla yaklaşık 2.000 dolara mal olurdu. Ardından, argümanlar insanlar ve aynı model tarafından birlikte makalelere dönüştürüldü ve her kanıt, makine tarafından doğrulanabilir bir matematiksel doğruluk onayı olan Lean sertifikasına biçimlendirildi. OpenAI ayrıca her çözüm için modelin düşünme sürecinin bir anlatısını da yayınladı. Şirket, makale hazırlığına ve biçimlendirmeye yardımcı olduklarını ve doğruluktan sorumlu olduklarını, ancak matematiksel argümanların sistemden geldiğini ve tamamen yapay zeka tarafından üretilen bir kanıt için insan yazarlığı iddia etmenin hem sistemin katkısını hem de gerçek insan entelektüel çalışmasının doğasını yanlış tanıtacağını belirterek Leiden Yapay Zeka ve Matematik Bildirgesi'nin imzacılarına atıfta bulundu. Bloom, yapay zekanın matematikçilerin yerini aldığı fikrini görecelileştirdi ve yapay zekanın yüzyılı aşkın bir matematik teorisi üzerine inşa edildiğini, matematikçiler tarafından inşa edildiğini ve matematikçilerin yazdığı her şey üzerinde eğitildiğini söylemenin uygun olmadığını savundu. Önceki raporlar, CEO Sam Altman'ın Astra'yı Washington DC'deki politikacılara ve düzenleyicilere gösterdiğini ve Astra'nın mevcut Sol, Terra ve Luna ailelerinden ayrı yeni bir model sınıfı olduğunu, GPT-6 olarak veya GPT-5 serisi içinde GPT-5.7 gibi bir varyant olarak piyasaya sürülme olasılığı bulunduğunu belirtiyordu. Astra'nın, Trump yönetiminin kamuya açıklanmadan önce federal hükümet incelemesi gerektiren planlanan yeni çerçevesine tabi tutulacak ilk model olması bekleniyor. Model, uzun süreler boyunca çoklu ajan işbirliği için tasarlanmış olup karmaşık projeleri ve ileri düzey matematik görevlerini çözmeyi hedefliyor. OpenAI, saatler veya günler boyunca problemler üzerinde çalışabilen yapay zeka sistemleri geliştirme hedefini belirtti ve Mart 2028'e kadar tamamen otonom bir yapay zeka araştırmacısı tamamlamayı amaçlıyor.