Nöbetçi Eczaneler
OpenAI, matematik alanında yürüttüğü yapay zekâ çalışmalarına ilişkin yeni sonuçları kamuoyuyla paylaştı.
Şirketin 6 Ekim 2026 tarihli açıklamasına göre, kurum içi bir frontier model tarafından farklı matematik alanlarında üretilen geniş bir sonuç seti yayımlandı. Açıklamada, cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji gibi alanların da bu çalışmalar arasında yer aldığı belirtildi.
Yayımlanan çalışmaların bir kısmı Lean ile biçimselleştirilmiş ve bilgisayar tarafından denetlenebilir ispatlarla destekleniyor. OpenAI ayrıca makaleleri, destekleyici ispat materyallerini ve bazı sonuçlara ilişkin özetleri GitHub üzerinden paylaşmaya başladı.
Her sonuç için ortalama yaklaşık 3 saatlik hesaplama
OpenAI Developer Community’de paylaşılan bilgilere göre, yayımlanan çalışma havuzunda yaklaşık 4 bin problemden oluşan bir değerlendirme sürecinin sonuçları yer alıyor. Her sonuç için kullanılan hesaplama miktarının, kurum içi modelde ortalama yaklaşık 3 saatlik yoğun düşünme süresine karşılık geldiği belirtildi.
Şirket, sonuçların bilim dünyasıyla daha sağlıklı biçimde paylaşılması için Institute for Advanced Study bünyesindeki bağımsız Matematik ve Yapay Zekâ Danışma Grubu ile de çalışıyor.
Navier-Stokes çalışmasının ardından geldi
Yeni sonuçlar, OpenAI’ın 8 Eylül 2026’da Navier-Stokes Milenyum Ödülü problemine ilişkin bir çözüm önerisini yayımlamasının ardından geldi.
OpenAI, söz konusu çalışmada kurum içi bir sistem tarafından üretilen kanıtın, akışkan hareketini tanımlayan Navier-Stokes denklemlerinde sonlu zamanda tekillik oluşabileceğini gösterdiğini açıklamış ve kanıtı Lean biçimselleştirmesiyle birlikte paylaşmıştı.
Şirket, matematikteki bu ilerlemelerin sorumlu biçimde paylaşılması ve bilim insanlarının sonuçları daha kolay inceleyebilmesi için atölye, konferans ve benzeri programları desteklemeyi planlıyor.