OpenAI'nin Yapay Zeka ile Ürettiği 722 Matematik Makalesi Matematikçileri Hayranlık ve Endişe Arasında Böldü

OpenAI ne yayımladı ve ne zaman

xenospectrum.com ve yapay zekaya odaklanan bülten Latent.space'e göre, OpenAI 6 Ekim 2026'da GitHub üzerinde, şirketin kamuya açıklamadığı dahili bir model tarafından üretilen, birbiriyle ilişkili sonuçlardan oluşan 372 aileye ayrılmış 722 makale yayımladı. Şirket, modelin yaklaşık 4.000 matematik problemi üzerinde serbest bırakıldığını ve kabul edilen her sonucun ortalama olarak yaklaşık üç saatlik ChatGPT Pro akıl yürütme süresine denk hesaplama gücüne mal olduğunu söyledi; bunu Latent.space bildirdi.

Makalelerden biri, araştırmacıların "Yarı-Riemann Hipotezi" olarak adlandırdığı bir konuyu ele alıyor: Belirli Dirichlet L-fonksiyonlarının, gerçel kısmı 7/8'i aşan noktalarda hiçbir sıfırının bulunmadığı iddiası. Xenospectrum.com, bunun gerçel kısmı tam olarak 1/2 olan sıfırlarla ilgili olan ve Clay Matematik Enstitüsü'nün çözülmemiş Binyıl Ödülü problemlerinden biri olarak kalmaya devam eden asıl Riemann hipotezini çözmediğini belirtti.

Matematikçiler arasında övgü ve endişe

Tepkiler keskin biçimde ikiye bölündü. Latent.space tarafından Anthropic ile bağlantılı olarak tanımlanan matematikçi Levent Alpöge, yayını "matematik tarihinin açıkça en önemli anı" olarak nitelendirdi. The Conversation ise diğer matematikçilerin çok daha az etkilendiğini bildirdi: bir değerlendirici, makalelerin bir kısmını "kapımıza bırakılmış dev bir pislik yığını" olarak nitelendirirken, kıdemli bir matematikçi, bir makalenin o kadar anlaşılmaz olduğunu, normal şekilde bir dergiye gönderilmiş olsaydı doğrudan çöpe gideceğini söyledi.

The Conversation ayrıca, ChatGPT'nin kendisinin, yayımlanan sonuçlardan en az birini "ciddi bir halüsinasyon" olarak işaretlediğini ve birkaç makalenin, hatalar bulunduktan sonra daha sonra geri çekildiğini ya da düzeltildiğini bildirdi.

Doğrulama açığı

Yayının ne kadarının gerçekten makine tarafından denetlendiğine dair anlatımlar birbirinden farklı. 7 Ekim itibarıyla OpenAI'nin kendi formalleştirme kataloğunu takip eden xenospectrum.com, 722 makalenin 162'sinde -yaklaşık yüzde 22,4'ünde- sonuçların kanıt doğrulama dili Lean'de formalleştirildiğini tespit etti. Buna karşılık The Conversation, OpenAI'nin Lean benzeri bir yazılım kullanarak 300 ana sonucu formalleştirdiğini bildirdi. Xenospectrum.com, tamamlanmış bir Lean formalleştirmesinin bile yalnızca bir ispatın mantıksal adımlarını doğruladığını, bir makaledeki her açıklayıcı iddianın bağımsız olarak doğrulandığı anlamına gelmediğini ekledi.

Tech-insider.org, OpenAI'nin sonuçlarının kamuoyuna nasıl ulaşacağını yönetmeye yardımcı olmak üzere Fields Madalyası sahibi Terence Tao'nun da yer aldığı bir danışma grubu kurulduğunu, ancak bu grubun rolünün sonuçların doğru olduğunu bağımsız olarak doğrulamak değil, açıkça yayın konusunda danışmanlık yapmak olduğunu bildirdi. Aynı kaynak, Eylül ayında yapılan bir iddiayı da aktardı: Buna göre OpenAI'nin modeli, yaklaşık 10.000 yapay zeka ajanının yaklaşık 88 saat çalışmasıyla, başka bir Binyıl Ödülü problemi olan Navier-Stokes varlık ve düzgünlük problemiyle ilgili bir ispat üretmişti; Clay Matematik Enstitüsü bu problemi halen çözülmüş değil, aktif olarak listelemeye devam ediyor, bu da bağımsız bir doğrulamanın tamamlanmadığı anlamına geliyor.

Matematikçilerin hâlâ tartıştığı konular

Doğruluk meselesinin ötesinde, tech-insider.org, OpenAI'nin önce-yayınla-sonra-doğrula yaklaşımının matematiğin geleneksel işleyişini tersine çevirdiğine ve yavaş, çekişmeli hakemli değerlendirme yükünü, zaten kaynakları kısıtlı olan matematik camiasına yüklediğine dair endişeleri aktardı. The Conversation, matematikçiler Tristan Buckmaster ve Levent Alpöge tarafından dile getirilen, önceki Navier-Stokes iddiasıyla bağlantılı iddia edilen veri kötüye kullanımına -OpenAI'nin reddettiği iddialar- ilişkin ek rahatsızlığın yanı sıra, araştırmaların yapay zeka sistemleri tarafından "çalınması" ve bu tür araçların büyümesinin matematik mesleği açısından ne anlama geldiğine dair alanda daha geniş bir kaygı olduğunu da bildirdi.