Yapay Zekâ Günlüğü — 9 Eylül 2026

Dün akışkanlar dinamiğinde iki ayrı iddia birden geldi ve ikisi de yapay zekâ destekli. Bir tarafta bağımsız iki matematikçi, öbür tarafta OpenAI — ve aralarında kim önce geldi tartışması var. Bunun yanında yeni bir kişisel yapay zekâ ajanı, iki görsel model ve ücretsiz açılan devasa bir genetik veri tabanı vardı.

Günün başlığı

Yapay zekâ destekli matematik kanıtları makine tarafından doğrulanabilir hâle geldi — ve aynı anda iki ekip bunu yaptığını söylüyor.

8 Eylül gecesi New York Üniversitesi'nden Tristan Buckmaster ve Levent Alpöge, akışkanlar hareketini tanımlayan bazı zor denklemler (Euler ve Boussinesq denklemleri) üzerine üç makale yayımladı. Makalelerin yanında bir de Lean (matematik kanıtlarını satır satır makineye doğrulattıran bir programlama dili) dosyası vardı: kanıtın doğruluğu okuyucunun matematiğe güvenmesine değil, bir bilgisayarın kanıtı yeniden çalıştırıp onaylamasına dayanıyor. Ekip bu Lean dosyalarının tamamını yapay zekâ (Claude) ile yazdıklarını, kendilerinin elle kod yazmadığını açıkça belirtti — ayrıca yazının kalitesini kendileri "gelişigüzel" bulduklarını söylediler.

Birkaç saat sonra OpenAI, kendi geliştirdiği bir modelle akışkanlar dinamiğinin en ünlü açık problemlerinden birine (Navier-Stokes Milenyum Problemi) dair bir çözüm bulduğunu duyurdu — kendi açıklamasına göre yaklaşık 10.000 yapay zekâ ajanının 88 saat boyunca birlikte çalışmasıyla. Bu, henüz halka açılmamış, eğitimi hâlâ süren bir modelmiş.

Önemi şurada: iki taraf da aynı hafta, birbirinden habersiz başladıklarını söylüyor, ve ikisi de klasik bir matematik alanında yapay zekânın makine tarafından denetlenebilir bir kanıt üretebildiğini gösteriyor. Hangi sonucun daha büyük olduğu (ikisi tam olarak aynı problemi çözmüyor) ve kimin önce geldiği tartışması hâlâ sürüyor; bu bir hakem kurulunun onayından geçmedi, iddialar şimdilik tarafların kendi açıklamalarına dayanıyor.

Kaynaklar: açıklama metni · Lean deposu · OpenAI duyurusu

Kısa kısa

• Meta, "Muse" adlı kişisel yapay zekâ ajanını dün ABD'de yayına aldı. Ajan kendi güvenli sanal bilgisayarında çalışıyor; tarayıcı açabiliyor, e-posta gönderebiliyor, ödeme yapabiliyor. Şimdilik yalnızca ABD'de. Meta duyurusu
• OpenAI iki yeni görsel üretim modeli çıkardı: Sunburst ve Flare. Sunburst ince düzenleme için, Flare hızlı üretim için hazırlanmış; fiyat artışı yok. API değişiklik günlüğü
• Google DeepMind, insan genomundaki 9 milyar olası küçük değişikliğin etkisini önceden hesaplayan "AlphaGenome Atlas" veri tabanını ücretsiz açtı. Araştırmacılar hastalıkla ilişkili bölgeleri bulmak için kullanabiliyor. Google duyurusu
• Anthropic'in Claude modelleri, tehlikeli kullanıma açık biyoloji ve kimya sorularını fark ettirmeden daha güçlü bir modele yönlendiriyor. Şirket bunu güvenlik önlemi olarak tanımlıyor. Claude Mythos sayfası
• "Grok 4.7" söylentisi dördüncü gündür doğrulanmadı — xAI'nin kendi sisteminde hâlâ en yeni sohbet modeli 6 Ağustos tarihli grok-4.6. xAI kılavuzu

Rakamlar

Anthropic'in resmî fiyat listesinde bugün değişiklik yok. Bağımsız sıralama Artificial Analysis de sekizinci gündür aynı: Claude Fable 5.1 ve GPT-6 Astra en yüksek düşünme ayarlarında 53 puanla başı çekiyor. İki takvim notu var: Z.AI'nin GLM-5.3-Flash modelindeki tanıtım fiyatı bugün akşam sona eriyor, fiyat ikiye katlanacak. Ve Anthropic, 14 Eylül'de Claude aboneliklerinin haftalık kullanım sınırlarında bir düzenlemeye gidecek. AA sıralama · Z.AI fiyatlandırma

Ne anlama geliyor

Bugünün asıl haberi bir model çıkışı değil, bir yöntem değişikliği: artık zor matematik kanıtları yalnızca insan hakemlerin onayına değil, makinenin yeniden çalıştırıp doğrulamasına dayanabiliyor. Bu, kimin ne zaman neyi "kanıtladığı" tartışmasını da beraberinde getiriyor — iki ekip de aynı hafta içinde, birbirinden bağımsız, benzer bir işe girişti. Bunun yanında gördüğümüz görsel model ve ücretsiz genetik veri tabanı haberleri, alanın günlük ritmini gösteriyor: büyük tartışmalar sürerken küçük, somut araçlar da sessizce elimize geçmeye devam ediyor.

--- Kaynaklar: statement.pdf · Lean deposu · OpenAI duyurusu · Meta duyurusu · OpenAI API değişiklik günlüğü · Google DeepMind duyurusu · Claude Mythos sayfası · xAI kılavuzu · AA sıralama · Z.AI fiyatlandırma

Bu bülten günlük olarak yayımlanır. Sorular ve düzeltmeler için: timeofagi.com