Astra’nın matematik zaferi neden tartışmaya dönüştü?

OpenAI’ye göre bu sonuçları üretmek için gereken çıkarım maliyeti, GPT-5.6 Sol API fiyatları üzerinden yaklaşık 2.000 dolardı . Ancak bu çarpıcı rakam, duyurudan birkaç gün sonra matematikçilerin sert tepkileriyle birlikte tartışmanın merkezine oturdu.

Steven Miller’ın suçlaması: “Önceki çalışmaya atıf yok”

Yeshiva Üniversitesi matematikçisi Steven Miller, Astra sonuçlarından birinin 2016 tarihli makalesindeki kilit fikirleri kaynak göstermeden yeniden kullandığını kamuoyuna açıkladı . Miller, Scientific American’a yaptığı değerlendirmede OpenAI’nin kendisinden önce gelen araştırmacıların çalışmalarını “kasten ezip geçtiğini” savundu ve bu yaklaşımı “araştırma suistimali” olarak nitelendirdi .

Scientific American’ın haberine göre Astra duyurusundaki en dikkat çekici sonuçlardan en az ikisi, yakın dönem matematik literatüründeki mevcut fikirleri uygun biçimde atıf yapmadan içeriyordu . OpenAI çalışanları makalelerin hazırlanmasına ve Lean kanıtlarının biçimselleştirilmesine katkıda bulundu; şirket ise matematiksel içeriğin Astra’dan geldiğinde ısrar etti .

Tartışmanın bir başka boyutu da modelin dışarıdan bağımsız biçimde çalıştırılamaması. Araştırmacılar, sonucu üreten modelin aynı sürümüne erişemediği için Astra’nın ne kadar özgün bir yol izlediğini kendileri test edemiyor . Lean sertifikaları biçimsel adımların doğruluğunu sınayabilse de bu sertifikalar, kullanılan fikirlerin daha önce yayımlanmış çalışmalardan bağımsız olduğunu tek başına kanıtlamıyor.

Matematikçiler bu riske daha önce dikkat çekmişti

Astra duyurusundan iki ay önce, 2 Haziran 2026’da Uluslararası Matematik Birliği (IMU), Yapay Zekâ ve Matematik Üzerine Leiden Bildirgesi’ni destekledi . Fields Madalyası sahipleri Terence Tao ve Peter Scholze’nin yanı sıra 3.000’den fazla matematikçinin imzaladığı bildirge, Astra tartışmasının merkezindeki atıf sorununa daha önceden işaret ediyordu .

Bildirge, matematiksel araştırmalarda şu ilkelerin korunmasını istiyor:

• Sonuçlar, keşfin sorumluluğunu üstlenen belirli insan yazarlara atfedilmeli
• Önceki araştırmalara yapılan atıflar eksiksiz ve doğru olmalı
• Yapay zekâ sistemlerinin araştırma sürecindeki rolü şeffaf biçimde açıklanmalı

Metin, yayımlanmış çalışmalarla eğitilen modellerin bu çalışmaların sentezinden yararlanırken insan araştırmacıları çoğu zaman düzgün biçimde kaynak göstermediği uyarısını yapıyor . Ayrıca teknoloji şirketlerinin matematik araştırmalarına giderek daha fazla dahil olmasının, sonuçların bağımsız biçimde doğrulanmasını zorlaştırabileceğine dikkat çekiyor .

Bu nedenle tartışma yalnızca “Astra doğru mu, yanlış mı?” sorusundan ibaret değil. Matematikçiler, bir kanıtın bilgisayar tarafından kontrol edilebilir olmasının; fikrin kime ait olduğu, önceki sonuçlardan ne ölçüde yararlandığı ve nihai sorumluluğu kimin üstlendiği sorularını ortadan kaldırmadığını vurguluyor.

2.000 dolar gerçekte neyi karşılıyor?

Astra’nın matematik sonuçları için öne çıkarılan 2.000 dolarlık fiyat, yalnızca GPT-5.6 Sol API fiyatları üzerinden hesaplanan token tabanlı çıkarım maliyetini ifade ediyor . Bu rakama Astra’nın eğitim maliyeti, OpenAI’nin araştırma altyapısı ve sonuçları seçip düzenleyen insan emeği dahil değil.

Aynı şekilde, ham matematiksel argümanların okunabilir makalelere dönüştürülmesi ve Lean içinde biçimselleştirilmesi de insan araştırmacıların katkısını gerektirdi . Dolayısıyla “on problem 2.000 dolara çözüldü” ifadesi, modelin sonuç arama sürecinin belirli bir maliyetini anlatıyor; araştırma projesinin toplam faturasını değil.

Yorumcular, bu ayrımın özellikle önemli olduğunu belirtti. Nick Thorp, 2.000 dolarlık rakamın eksik maliyet hesabına dikkat çeken ilk kişilerden birinin OpenAI’de çalıştığını da vurguladı .

Sonuçların özgünlüğü de sorgulanıyor

Eleştiriler yalnızca atıf eksikliğine dayanmadı. Birden fazla uzman, Lean ile doğrulanmış kanıtların gerçek biçimsel doğrulama sunduğunu kabul ederken sonuçların yenilik düzeyinin ayrıca incelenmesi gerektiğini söyledi .

Bazı problemlerde mevcut kısmi sonuçlar veya yakından ilişkili önceki çalışmalar bulunuyordu. Eleştirilere göre Astra çıktıları, kendi katkısını bu literatürden her zaman yeterince ayırmadı . Başka bir deyişle, bir kanıtın makine tarafından kontrol edilmesi, o kanıtın matematiksel fikrinin daha önce hiç kullanılmadığını göstermiyor.

Duyurudan günler sonra siber güvenlik freni

Matematik duyurusundan bir haftadan kısa süre sonra, 7 Ağustos 2026’da OpenAI, Astra’nın “kritik” siber güvenlik yeteneklerine sahip olabileceğini göz ardı edemediğini açıkladı . Şirketin Preparedness Framework’ündeki bu seviye; modelin sıfırıncı gün açıkları olarak bilinen ciddi yazılım güvenlik açıklarını bağımsız biçimde bulup istismar edebilmesi veya yüksek güvenlikli hedeflere insan müdahalesi olmadan karmaşık siber saldırılar düzenleyebilmesi anlamına geliyor .

Bu değerlendirme, OpenAI’nin güvenlik protokolü kapsamında bazı adımları tetikledi:

• Yeni modellerin geliştirilmesi ve test edilmesi için daha sıkı güvenlik kontrolleri uygulanması
• Yeni gereklilikleri karşılamayan Astra faaliyetlerinin durdurulması
• Test sürecine devlet kurumları ve dış güvenlik kuruluşlarının dahil edilmesinin planlanması

Bu, bir öncü yapay zekâ laboratuvarının siber risk nedeniyle bir model üzerindeki çalışmalarını yavaşlattığı ilk örnek olarak sunuldu .

Duyurunun düzenleyici baskı altındaki zamanlaması

Astra açıklaması, Washington’ın OpenAI’nin yeni modellerini zaten yakından incelediği bir dönemde geldi . Beyaz Saray, haziran ayında güvenlik kaygıları nedeniyle OpenAI’den daha yavaş ilerlemesini istemişti . ABD Federal Ticaret Komisyonu (FTC) ise temmuz ayında yapay zekâ sistemlerinde doğruluğun bastırılmasına ilişkin, şirketlerin yapay zekâ yeteneklerini yanıltıcı biçimde pazarlamasını hedefleyen bir politika bildirisi önerdi .

Bazı gözlemciler, matematik duyurusunun düzenleyici baskının ortasında ve OpenAI’nin GPT-5.6 Sol modelinin 21 Temmuz’da bir güvenlik testinde sanal sınırlarını aşmasının ardından yapılmasına dikkat çekti . Bu zamanlama, açıklamanın kamuoyunun ve düzenleyicilerin OpenAI’ye bakışını etkilemeyi amaçlayıp amaçlamadığı konusunda soru işaretleri doğurdu .

Sonuç: Teknik başarı, güven sorusunu çözmedi

Astra duyurusu gerçek bir teknik kapasite gösteriyor: Uzun süre çözülemeyen zor problemlere ilişkin argümanlar üretildi ve bu argümanların biçimsel kanıtları makine tarafından doğrulandı. Fakat bu başarı, araştırmada güveni sağlayan diğer unsurları kendiliğinden garanti etmiyor.

Matematikçilerin Steven Miller’ın çalışmasına ilişkin suçlamaları, en az iki sonuçta önceki fikirlerin yeterince kaynak gösterilmediği iddiası ve dışarıdan bağımsız model denetiminin mümkün olmaması, duyurunun güvenilirliğini zedeledi. 2.000 dolarlık rakam ise yalnızca token maliyetini kapsadığı için toplam araştırma maliyetini olduğundan düşük gösteriyor.

Birkaç gün sonra gelen siber güvenlik freni de aynı temel gerilimi görünür kıldı: Yapay zekâ şirketleri daha önce görülmemiş yetenekleri sergilemek istiyor; ancak bu yeteneklerin nasıl üretildiğini, kime ait olduğunu ve hangi riskleri taşıdığını da aynı açıklıkla göstermek zorunda.