OpenAI, yeni yapay zeka modeli Astra ile matematik dünyasında çözülemeyen 10 önemli problemi çözdüğünü duyurdu. Bu sonuçlar, yıllardır araştırmacılara elde edilemeyen sonucları sunmaktadır ve 249 sayfalık teknik bir dokümanla desteklenmektedir.

Çözülen Problemler

Astra'nın çözdüğü problemler arasında matematikçilerin onlarca yıldır üzerinde çalıştığı Connes varsayımı, Ehrhart hacim varsayımı ve ünlü matematikçi Paul Erdős'ün açık problemlerinden üçü de yer alıyor. Model ayrıca, bugüne kadar varlığı gösterilemeyen sofic olmayan bir grup adı verilen matematiksel yapıyı da oluşturduğunu iddia ediyor.

Problemlerin Önemi

Çözülen bu sorunlar, matematiğin en büyük ağıtlarından bazılarını oluşturur. Her biri, bilim ve teknoloji dünyasında önemli gelişmelere yol açabilir. Bu sonuçlar; cebir, geometri, grafik teorisi, kuantum hesaplama ve kriptografi gibi birçok farklı alanı kapsıyor.

Astra Modeli

Astra, henüz halka açık olmayan OpenAI'nin yeni yapay zeka modelidir. Bu model, karmaşık matematiksel problemleri çözmek için tasarlanmıştır. OpenAI, matematiksel fikirlerin Astra tarafından üretildiğini ve insan araştırmacıların bunları akademik makale haline getirdiğini söylüyor.

İspatlar ve Doğrulama

OpenAI, tüm ispatları Lean 4 adlı resmi doğrulama sistemiyle yayımladı. Bu sistem, ispatların her adımını bilgisayarın tek tek kontrol etmesini sağlıyor. Böylece matematiksel hataların tespit edilmesi kolaylaşıyor.

Önceki Deneyimler ve Gelecek Beklentileri

OpenAI daha önce de benzer bir iddiayla gündeme gelmişti. Şirket, 2025 yılında GPT-5'in bazı Erdős problemlerini çözdüğünü öne sürmüştü, ancak bu iddiaların daha önce yayımlanmış çalışmalara dayandığı ortaya çıkmıştı. Bu nedenle Astra ile ilgili duyuruda şirket, ispatları ve doğrulama dosyalarını açık kaynak olarak paylaşarak sonuçlarını daha güçlü şekilde desteklemeyi hedefliyor.

Ayrıca, 10 problemin çözümü için gereken hesaplama maliyetinin GPT-5.6 Sol API fiyatlarına göre yaklaşık 2 bin dolar olduğunu açıkladı.