OpenAI, Matematik Çalışmaları Üretiyor

6 Ekim 2026’da OpenAI’ın GitHub sayfasında 722 matematik çalışması yayınlandı. Şirketin henüz kamuya açmadığı bir yapay zeka modelinin ürettiği bu metinler, yüzlerce açık soruya çözüm getirildiği iddiasını taşıyor. Ancak çözümü belirtmek her zaman doğru olduğu ve anlaşılmasının kolay olduğu anlamına gelmiyor.

Çalışmalar, 372 başlık altında toplanıyor. Bir tarafta ana ispatın yanında onu destekleyen argümanlar varken sonuçlarından türeyen çalışmalar veya alternatif ispatlar da sunuluyor. Yani 722 matematik çalışması, birbirinden bağımsız 722 çözümü değil.

OpenAI’a göre henüz çalışmalar farklı doğrulama aşamalarında. Şirket, bilgisayarla denetlenebilir biçime dönüştürülmemiş bazı sonuçlarda sorun bulunabileceğini kabul ediyor ve hataları tespit ettikçe düzeltmeyi taahhüt ediyor.

Şirketin bu değerlendirmelerde performansın doygunluğa ulaşmasının ardından açık araştırma problemleri üzerindeki denemelerini genişlettiğini anlatıyor. Süreç boyunca modele yaklaşık 4 bin problem sunulmuş ve çıktılar, birbirleriyle ilişkileri ve önemleri değerlendirilerek koleksiyona dönüştürülmüş.

Ayrıca kullanılan hesaplama miktarına değinen OpenAI, ortalama bir sonucun yaklaşık üç saatlik ChatGPT Pro düşünme işlemine eşdeğer hesaplamayla elde edildiğini belirtiyor. Ancak bu süre, şimdilik erişime açık olmayan bir model ile tamamlanıyor. Şirket, üretim sürecini anlatmak için modelin akıl yürütmesine ilişkin 10 özet, hesaplama tahminleri ve denenen problem sayısına ilişkin istatistikleri de paylaşıyor.

Doğrulama olarak ise matematiksel ispatların bilgisayar tarafından kontrol edilmesini sağlayan programlama dili Lean’da birçok ispatın biçimselleştirilmiş haline yer veriliyor. Ayrıca OpenAI, “Elde ettikçe depoyu daha fazla biçimselleştirilmiş hal ile güncelleyeceğiz” diyor.

Bu noktada iş matematikle ilgilenenlere düşüyor. Bir ispatın hangi varsayımlarla çalıştığını, önceki araştırmalarla ilişkisini ve başka problemlerde nasıl kullanılabileceğini anlamak gerekiyor. Şirket, yapay zekanın ürettiği önemli sonuçların anlaşılmasına yönelik çalıştayla, konferanslar ve özel programlar finanse edeceğini bildiriyor.

Görüşmeler, aslında İleri Araştırmalar Enstitüsü bünyesindeki bağımsız Matematik ve Yapay Zeka Danışma Grubu AGMAI ile yürütülüyor. OpenAI, sonuçları paylaşma biçimini belirlerken grubun tavsiyelerinden yararlandığını söylüyor. Grubun açıklamasına göre matematikte bir makalenin yazarının sunduğu argümanı anlaması, doğruluğunu kontrol etmesi ve içeriğin sorumluluğu üstlenmesi bekleniyor. Yapay zeka ise onu yönlendiren kişinin anlayamadığı bir ispat üretebiliyor.

AGMAI, kullanılan modelin, komutların ve hesaplama maliyetlerinin açıklanmasını, ispatların okunabilir olmasını ve önceki araştırmalara doğru atıflar yapılmasını istiyor.  Ayrıca grup, matematiksel sonuçların model pazarlamasında kullanılmasına karşı çıkıyor. Kamuya kapalı modellerle ileri matematik araştırması yapılmasını da eleştiriyor ve güçlü araçlara sahip şirketlerle diğer araştırmacılar arasında bir ayrım oluşmasından kaygı duyuyor. OpenAI ise sonuçları üreten modeli sorumlu bir şekilde erişime açmak için çalıştığını belirtiyor. Şirket, matematik ve diğer bilimlerde değerlendirmelerini sürdüreceğini, gelecekteki duyurularını topluluktan gelen geri bildirimlerle geliştireceğini söylüyor.

Şimdi bu 722 metnin içinden hangi sonuçların doğrulanacağı, hangilerinin düzeltileceği ve hangilerinin yeni araştırmalara yol açacağı incelenecek. AGMAI’ye göre matematikçilerin gelecekteki işi yalnızca şirketlerin ürettiği sonuçları anlamaya dönüşmemeli; kendi sorularını sorabilecekleri araçlara ve kaynaklara da erişebilmeleri gerekiyor.