BRIEF · 1 Ağustos 2026
Kanıtlanabilir matematik iddiası ve AI Act'in son günü
Günün beş gelişmesi; her madde ne olduğunu değil neden önemli olduğunu söyler ve ilgili konu merkezine bağlanır.
- Madde
- 5
- Yayın
- 1 Ağustos 2026
01MADDELER
1 Ağustos 2026 gündemi
Maddeler editoryal olarak seçilir; kaynağı ve konu bağlantısı tamamlanmamış madde yayımlanmaz.
- 01OpenAI, yayımlamadığı Astra modeliyle on açık matematik probleminde sonuç ürettiğini açıkladıİddianın ağırlığı skor tablosunda değil, Lean 4 kanıt sertifikalarında: çıktıyı doğrulamak için modele erişmek gerekmiyor, derleyiciyi çalıştırmak yetiyor. Ölçüt tartışmasında "satıcı skoru" ile "bağımsız doğrulanabilir çıktı" arasındaki farkı somutlaştıran ilk büyük örnek. Yine de hiçbir sonuç hakem değerlendirmesinden geçmedi ve model kapalı.Kaynak · Implicator.aiKonu merkezi →
- 02Beyaz Saray'ın frontier model kararnamesinde 60 günlük teslim tarihi doldu2 Haziran 2026 tarihli 14409 sayılı kararname, gelişmiş siber yeteneği ölçen gizli bir kıyaslama süreci ile gönüllü bir çerçevenin 60 gün içinde kurulmasını istiyordu; süre 1 Ağustos'ta doldu. Eşiğin nereye konduğu, "kapsanan frontier model" sayılan bir sürümü yayımlamadan önce devlete 30 güne kadar erişim verip vermeyeceğinizi belirler. Katılım gönüllü, ama ABD pazarına model sunan herkesin yayın takvimini etkiler.Kaynak · Federal RegisterKonu merkezi →
- 03AB Yapay Zekâ Yasası'nın şeffaflık yükümlülüklerine bir gün kaldı2 Ağustos'tan itibaren AB pazarındaki sohbet arayüzleri kullanıcıya yapay zekâ olduğunu bildirmek, üretken sistemler çıktılarını makine tarafından okunabilir biçimde işaretlemek zorunda. Son gün yapılacak iş kod yazmak değil, kapsam çıkarmaktır: hangi yüzeyleriniz AB'ye dokunuyor ve hangileri 2 Aralık 2026 geçiş süresinden yararlanıyor?Kaynak · Avrupa KomisyonuKonu merkezi →
- 04Küresel yapay zekâ hesaplama kapasitesi yedi ayda ikiye katlanıyorEpoch AI'ın veri seti 2022'den bu yana yıllık 3,3 kat büyüme (%90 aralık: 2,7–4,1) ve yaklaşık yedi aylık ikiye katlanma süresi veriyor. Bu eğri sürerse iki yıl sonrasının kapasitesi bugünün on katına yaklaşır; çıkarım bütçesini bugünün birim fiyatıyla planlayan ekip için varsayımın kendisi tek başına bir risk kalemidir. Rakam satıcı beyanı değil üçüncü taraf bir ölçüm — planı hangi büyüme oranına dayandırdığınızı yazılı tutmakta yarar var.Kaynak · Epoch AIKonu merkezi →
- 05OpenAI, GPT-5.6 Luna'nın fiyatını lansmandan üç hafta sonra yüzde 80 indirdiGirdi milyon token başına 1 dolardan 0,20 dolara, çıktı 6 dolardan 1,20 dolara indi; Terra da yüzde 20 ucuzlayarak 2/12 dolara geçti. Şirketin 2026'nın ilk çeyreğinde yaklaşık yüzde 33 olan düzeltilmiş brüt marjı, yüzde 46'lık iç hedefin altında kalıyor. Birim maliyetin bir çeyrek dolmadan değişebildiği bir piyasada yıllık bütçeyi lansman fiyatına sabitleyen hesap daha ilk çeyrekte yanlış çıkar.Kaynak · Implicator.aiKonu merkezi →
ARŞİV