> ## Content Index
> Fetch the complete content index at: https://globalfeed.ai/llms.txt
> Use this file to discover other available public pages before exploring further.

# OpenAI, yapay zekanın ürettiği 722 matematik makalesini yayımladı
- URL: https://globalfeed.ai/openai-yapay-zekanin-urettigi-722-matematik-makalesini-yayimladi/
- Published: 2026-10-08T02:11:35.000Z
- Updated: 2026-10-08T02:11:35.000Z
- Description: OpenAI, henüz kullanıma açılmamış bir iç modelinin ürettiği 722 matematik makalesini GitHub'da yayımladı. Şirkete göre makaleler 372 sonuç ailesinde toplanıyor ve aralarında uzun süredir açık olan problemlere çözüm iddiaları var. İspatların bir kısmı Lean ile bilgisayarda denetlenebiliyor, bir kısmı
- Author: GlobalFeed Editor
- Tags: OpenAI, matematik, biçimsel doğrulama, araştırma, x-OpenAI, dil-tr, elle

**OpenAI**, 6 Ekim 2026'da yayımladığı duyuruyla, henüz kullanıma açılmamış bir iç modelinin ürettiği matematik sonuçlarını paylaştı. Sonuçlar **openai/math** adlı GitHub deposunda yer alıyor. Deponun açıklamasına göre koleksiyonda 722 makale var ve bunlar 372 sonuç ailesinde toplanıyor. Bir aile; ana sonucu, ona eşlik eden ispatları, bu sonuçtan çıkan yeni sonuçları ya da aynı sonucun farklı ispatlarını bir araya getiriyor. Aileler sayı teorisi, cebirsel geometri, kombinatorik, kuramsal bilgisayar bilimi ve matematiksel fizik gibi 17 alana göre sınıflandırılmış.

OpenAI'ın duyurusundaki bilgilere göre bu çalışma, modellerin matematikteki gelişimini ölçmek için yapılıyor. Depoda, şirketin mevcut matematik testlerinde modeller artık neredeyse tam puan aldığı için değerlendirmeyi matematikçilerin henüz çözemediği açık araştırma problemlerine genişlettiği belirtiliyor. Katalogdaki örnekler arasında Dirichlet L-fonksiyonlarının Re(s) > 7/8 bölgesinde sıfırı olmadığını öne süren "yarı Riemann hipotezi" makalesi, Erdős'ün kısa Mısır kesirleri sanısına dair bir ispat ve Kaplansky'nin direkt sonluluk sanısına karakteristik ikide bir karşı örnek yer alıyor. Bunlar şirketin iddiaları ve bağımsız matematikçilerin incelemesini bekliyor.

## Sonuçlar yaklaşık dört bin problemlik bir değerlendirmeden çıktı

Deponun açıklamasına göre sonuçların büyük çoğunluğu aynı yöntemle, aynı iç modelle elde edildi. Değerlendirme boyunca modele yaklaşık 4.000 problem verildi. Ortaya çıkan çıktılar ailelere ve makalelere ayrıldı, yalnızca yeterince önemli bulunan sonuçlar kataloğa alındı. OpenAI, ortalama bir sonucun ChatGPT Pro'da yaklaşık üç saatlik düşünme süresine denk gelen işlem gücü kullandığını belirtiyor. Bazı sonuçlar bir önceki sonuçların üzerine kuruldu.

Şirket bu yöntemin dışında kalan işleri de ayrıca not ediyor: Riemann zeta fonksiyonu için sıfırsız bölge çalışması ve CM abelyen çeşitler için Hodge sanısının ispatı bu standart sürecin dışında üretildi. Re(s) > 11/12 bölgesine ait makalenin metni ise okunabilirlik için insanlar tarafından düzenlendi. Depoda ayrıca on sonuç için modelin akıl yürütmesinin kısaltılmış özetleri yayımlandı.

## İspatların bir kısmı Lean ile bilgisayarda denetlenebiliyor

Lean, matematiksel ispatların bilgisayar tarafından adım adım kontrol edilmesini sağlayan bir programlama dili. OpenAI, makalelerin önemli bir kısmının Lean karşılığını depoya ekledi ve hangi makalenin hangi biçimsel ispatla eşleştiğini gösteren bir katalog hazırladı. Depoda, Lean topluluğunun Comparator aracıyla bu ispatların nasıl yeniden denetlenebileceğine dair talimatlar da var. Şirket, elde ettikçe yeni Lean çalışmalarını depoya ekleyeceğini söylüyor.

## Yayın biçimi ve sonraki adımlar

OpenAI, sonuçların nasıl paylaşılacağı konusunda Institute for Advanced Study (İleri Araştırmalar Enstitüsü) bünyesindeki bağımsız Matematik ve Yapay Zeka Danışma Grubu'na danıştığını ve grubun önerilerini dikkate aldığını belirtiyor. Depodaki her makale için alıntı bilgisi veriliyor; düzeltmeler yeni sürüm olarak kaydedilecek ve önceki sürümler erişilebilir kalacak. Şirket, makaleleri topluluk tarafından yönetilen başka platformlarda barındırma seçeneklerini de araştırıyor. Duyuruda, yapay zekanın ürettiği önemli sonuçları anlamaya yönelik atölye, konferans ve özel programların destekleneceği, sonuçları üreten modelin de sorumlu bir şekilde kullanıma açılması için çalışıldığı ifade ediliyor; bunlar için tarih verilmedi.

Deponun kendi açıklamasına göre koleksiyon, farklı doğrulama aşamalarındaki sonuçları içeriyor. Makalelerin hepsinin Lean karşılığı yok ve OpenAI, biçimsel ispatı olmayan sonuçlarda sorunlar çıkabileceğini, bunları hızla düzeltmeye çalışacağını belirtiyor. Bir Lean ispatı, bilgisayara verilen biçimsel ifadenin doğruluğunu denetliyor; o ifadenin makaledeki iddiayı ve bilinen açık problemi tam karşılayıp karşılamadığı ise matematikçilerin incelemesine kalıyor. Makaleleri üreten model şu an kullanıma açık olmadığı için süreci dışarıdan tekrarlamak şimdilik mümkün olmuyor. Sonuçları farklı açılardan görmek için bağımsız araştırmacıların değerlendirmelerini de takip edin.

Kaynaklar: [OpenAI: Sharing AI progress in mathematics](https://openai.com/index/sharing-ai-progress-in-mathematics/?ref=globalfeed.ai), [GitHub: openai/math](https://github.com/openai/math?ref=globalfeed.ai).