OpenAI, Astra ile Matematikteki Zorlu Problemleri Çözmeye Hazırlanıyor

OpenAI, karmaşık ve uzun süredir devam eden görevleri ele almak üzere tasarladığı Astra modelini tanıttı. Yapay zeka alanında önemli bir adım olarak değerlendirilen bu model, dahili bir versiyonunun matematik ve teorik bilgisayar bilimlerinde on önemli ilerleme kaydetmesinin ardından ortaya çıktı.

OpenAI, Astra'yı "bir sonraki büyük modelimiz" olarak tanımlarken, ele alınan problemlerin merkezi sonuçları üzerinde en az on yıldır herhangi bir ilerleme kaydedilmediğini ve çoğu durumda daha uzun bir süre geçtiğini belirtti. Şirketin araştırmaları, yüksek boyutlu geometri, kodlama teorisi, aritmetik devre karmaşıklığı, grup teorisi, kuantum karmaşıklığı, ızgara kriptografisi ve ekstrem kombinatorik gibi geniş bir yelpazede konuları kapsıyordu.

OpenAI, bilim alanında da hızlı bir ilerleme kaydettiğini ifade etti. Öne çıkan bazı örnekler arasında, sofic olmayan grupların varlığı, Connes’in sertlik varsayımının çürütülmesi, yüksek boyutlu küre paketlemesi için yeni sınırlar ve matematikçi Paul Erdős tarafından ortaya konulan birkaç problemin çözümü yer alıyor.

OpenAI, bu problemlerin çözümlerini bulmak için gereken toplam token sayısının, Sol API oranlarına göre yaklaşık 2,000 dolar tutacağını belirtti. İnsan araştırmacılar, aynı modeli kullanarak argümanları yazılı belgeler haline getirdi. Astra, her bir argümanı Lean sertifikası olarak resmileştirerek, kanıtların matematiksel doğrulama sistemi kullanılarak kontrol edilmesine olanak tanıdı.

Information dergisi de bağımsız olarak OpenAI’nin Astra üzerinde çalıştığını doğruladı. Astra, uzun süreli iş yükleri için tasarlanmış yeni bir model ailesi olarak öne çıkıyor. OpenAI’ye göre, Astra güçlü bir model olup, yapay zeka ajanlarının daha büyük bir problemin farklı kısımları üzerinde iş birliği yapmasını sağlıyor.

OpenAI’nin Astra modelinin hangi isimle piyasaya sürüleceği konusunda kesin bir karar vermediği belirtildi. Modelin GPT-5.7, GPT-6 veya başka bir isim altında tanıtılabileceği ifade ediliyor. Şu aşamada, Astra'nın önemli bir yapay zeka modeli olarak nitelendirildiği ve Anthropic tarzı politikalarla, bir versiyonun tüketicilere sunulurken daha güçlü bir varyantın özel onay gerektirebileceği bilgisi verildi.

Bu gelişmeler, yapay zeka ve matematik alanında yeni ufuklar açma potansiyeline sahip. OpenAI’nin Astra ile birlikte, uzun süredir çözülemeyen problemleri ele alması, bilim dünyasında önemli bir yenilik olarak değerlendiriliyor.