OpenAI, yapay zekânın cebir, topoloji, sayı teorisi, matematiksel mantık ve teorik bilgisayar bilimi gibi alanlarda elde ettiği 372 yeni sonucu 722 makale hâlinde paylaştı. Sonuçların yalnız bir kısmının ana iddiası Lean adlı biçimsel ispat diliyle doğrulandı. Şirkete göre her sonuç, ortalama olarak yaklaşık üç saatlik ChatGPT Pro düşünme işlem gücüne denk bir hesaplamayla elde edildi.
Sonuçlar, şirketin henüz kamuya sunmadığı daha gelişmiş bir yapay zekâ modeliyle elde edildi. OpenAI, eylülde akışkanların hareketini ele alan Navier-Stokes denklemleriyle ilgili duyurduğu çalışmada da kamuya açık olmayan gelişmiş bir model kullanmıştı. Yeni paylaşım ise tek bir problem yerine matematiğin farklı dallarına yayılan çok sayıda sonucu kapsıyor.
Lean doğrulaması sonuçların bir bölümünü kapsıyor
Lean, bir ispatın her adımını bilgisayarın denetleyebileceği biçimde yazmaya yarayan bir dil. Bu yöntemle akıl yürütmedeki mantık hataları yalnız insan okumasına bırakılmıyor. OpenAI'ın GitHub'daki arşivi 722 makaleyi 372 sonuç ailesi altında topluyor. Ailelerin numaraları 377'ye kadar gidiyor, ancak beş numara kullanılmamış. Arşivdeki Lean kataloğu 7 Ekim itibarıyla bu makalelerin 162'sinin ana sonucunu Lean'de biçimselleştirilmiş olarak listeliyor. Şirket, biçimselleştirilmemiş sonuçlarda hatalar bulunabileceğini ve bunları hızla düzeltmeye çalışacağını belirtiyor.
Şirket ayrıca 10 sonuç için modelin akıl yürütmesini gösteren kısaltılmış özetler yayımladı. Arşiv sabit kalmayacak. OpenAI, yeni çalışmaları ve elde ettikçe yeni Lean biçimselleştirmelerini arşive ekleyeceğini açıkladı.
Danışma grubu ve araştırmacılara yönelik finansman
OpenAI, yapay zekânın matematikteki sonuçlarını bilim dünyasıyla paylaşma yöntemlerini geliştirmek için bir danışma grubuyla istişare ettiğini belirtti. Şirket bu sonuçların anlaşılmasına yardımcı olacak atölye, konferans ve özel programlara finansman sağlayacağını, ileri düzey modellerini bilim alanlarında denemeyi sürdüreceğini de açıkladı.
Eylüldeki Navier-Stokes açıklamasıyla bağlantı
OpenAI, Eylül 2026'da Milenyum Problemleri arasında yer alan Navier-Stokes denklemleriyle ilgili ve şirketin ifadesiyle 90 yıldır çözülemeyen bir problemi yeni nesil bir modelle çözdüğünü duyurmuştu.
Şirketin o dönemki açıklamasına göre problem, görevleri kısmen otonom biçimde yürüten yaklaşık 10 bin yapay zekâ aracından oluşan bir grupla 88 saatte çözüldü. Çalışmada yaklaşık 3 milyon mesajın kullanıldığı aktarılmıştı.
