AI Trackerİndir

AI haberleri,
geliştiriciler için seçildi.

Tüm AI sağlayıcılarından lansmanlar, fiyat değişiklikleri ve kullanımdan kaldırmalar, özetlenmiş halde. Uygulamadaki Haberler sekmesiyle aynı akış.

Modeller

Axiom, yapay zekâ ajanlarının Sonlu Basit Grupların Sınıflandırması’nı Lean’de biçimselleştirdiğini söylüyor

Yapay zekâ matematiği şirketi Axiom, X’te Sonlu Basit Grupların Sınıflandırması’nın Lean ile tamamen otomatik biçimselleştirildiğini duyurdu. Şirket bu sonucu “simetrinin periyodik tablosu” olarak nitelendiriyor. Axiom, özgün kanıtın nesiller boyunca 100’den fazla matematikçi tarafından yazılmış yaklaşık 15.000 sayfadan oluştuğunu belirtiyor ve bunun bilgisayar tarafından doğrulanan tarihin en büyük matematik kanıtı olduğunu söylüyor.
Modeller

Ling, Ling-3.1-flash-1019’in açık ağırlıklarını ve bir temel modeli yayımladı

Ling ekibi, Ling-3.1-flash-1019’un artık açık kaynaklı olduğunu, ağırlıkların Hugging Face ve ModelScope’ta yayımlandığını söylüyor. Ekip ayrıca, ileri eğitim için açık bir temel olarak tanımladığı Ling-3.1-flash-base’i de yayımladı. Yeni modelin akıl yürütme ve gerçek dünya ajan iş akışları için ek bir son eğitimden geçirildiğini belirtiyor.
OpenRouter· Modeller

OpenRouter kataloğunda Meta: Llama 3.1 70B Instruct için 3 Kasım sona erme tarihi görünüyor

OpenRouter'ın model kataloğunda artık "Meta: Llama 3.1 70B Instruct" (meta-llama/llama-3.1-70b-instruct) için 3 Kasım 2026 sona erme tarihi görünüyor. Model, 23 Temmuz 2024'ten beri 131.072 tokenlık bağlam uzunluğuyla listeleniyor. Girdide daha önce sona erme tarihi yoktu. Bu, katalogdaki bir alan; gördüğümüz kadarıyla ne OpenRouter ne de Meta bir gerekçe sundu ve girdide bu tarihten sonra modele ne olacağı belirtilmiyor.
OpenCode Go· Kodlama

OpenCode, OpenCode Desktop için eklentiler ekliyor

LukeParkerDev, 27 Ekim'de X'te OpenCode Desktop için eklentileri duyurdu; kısa bir demo videosu ve GUI eklentileri geliştirmeye yönelik OpenCode belgelerine bir bağlantı paylaştı. Paylaşımı alıntılayan thdxr, masaüstü eklentilerinin OpenCode'un TUI eklentileriyle aynı yaklaşımı sürdürdüğünü, böylece tek bir paketin sunucu, TUI ve masaüstü eklentileri sunabileceğini söyledi ve sağ paneli kullanışlı eklemeler için iyi bir yer olarak nitelendirdi. Gönderi, OpenCode hesabı tarafından da yeniden paylaşıldı.
Modeller

Hintçe dilleri için bir ses modeli olan Maya-2, açık ağırlıklarla yayımlandı

Hindistan'ı hedefleyen bir ses (konuşma sentezi) modeli olan Maya-2, 27 Ekim'de Hugging Face'te maya-research/maya2-native adıyla açık ağırlıklarla yayımlandı. X'teki duyuruda modelin, 28 eyaletin ve 8 birlik bölgesinin tamamında 1,5 milyardan fazla kişiye hitap ettiği belirtiliyor.
OpenAI· Kodlama

OpenAI ve Oracle, Oracle uygulamalarını ChatGPT’ye taşımak için ortaklıklarını genişletiyor

OpenAI, Oracle uygulamalarını ve verilerini ChatGPT’ye taşımak ve yeni Oracle ürünlerine OpenAI modelleriyle güç vermek için Oracle ile ortaklığını genişlettiğini söylüyor. OpenAI’ye göre Oracle, kullanıcıların her kuruluşun izinleri ve onayları kapsamında ChatGPT üzerinden Oracle’ın finans, tedarik ve planlama uygulamalarında bilgi bulup onaylanmış iş akışlarını tamamlamasına olanak tanıyacak Oracle AI Workspace’i geliştiriyor.
Anthropic· Modeller

Anthropic'in bir makalesi, kurum içi Claude modelinin de Üstel Zaman Hipotezi'ni çürüttüğünü öne sürüyor

hexagonmath.org'da yayımlanan ve 27 Ekim 2026'da Anthropic tarafından gönderildiği belirtilen bir ön baskı, n değişkenli 3-SAT için 2^o(n) zamanda çalışan deterministik bir algoritma öne sürüyor; bu, Üstel Zaman Hipotezi'ni (ETH) çürütebilir. Makaleye göre algoritma, tatmin edici atamaları sayan daha zor #3-SAT problemini de çözüyor ve sonuç Lean 4'te formelleştirilmiş.
Modeller

Baidu, kod çözme maliyeti neredeyse sabit olan bir belge ayrıştırıcısı Unlimited OCR 2'yi açık kaynak olarak yayımladı

Baidu, 26 Ekim'de X'te Unlimited OCR 2'yi duyurdu; kod GitHub'da, ağırlıklar ise Hugging Face'te. Model, sonlu bir bağlam penceresinde neredeyse her uzunluktaki belgeyi ayrıştırmak üzere tasarlandı.
GitHub Copilot· Kodlama

GitHub Copilot CLI 1.0.104, Autopilot'ın arka plan görevlerini beklemesini sağlıyor ve Assisted Permissions'ı kullanıma açıyor

GitHub Copilot CLI 1.0.104, sürüm notlarına göre 27 Ekim 2026 tarihli:
OpenRouter· Modeller

OpenRouter kataloğunda Z.ai: GLM 4.5V için 31 Aralık sona erme tarihi artık görünmüyor

OpenRouter'ın model kataloğunda artık "Z.ai: GLM 4.5V" (z-ai/glm-4.5v) için bir sona erme tarihi görünmüyor. Girişte 24 Ekim'den bu yana 31 Aralık 2026 tarihi yer alıyordu. 11 Ağustos 2025'ten bu yana listelenen model, 65.536 tokenlık bağlam uzunluğuyla katalogda kalmaya devam ediyor. Bu yalnızca bir katalog alanı; OpenRouter da Z.ai de tarihin eklenmesi veya kaldırılması için bir gerekçe sunmadı.
Anthropic· Altyapı

Anthropic'ten Logan Graham, Washington Post'un Cathedral'a izinsiz erişim haberini düzeltiyor

Anthropic'in Frontier Red Team ekibinden Logan Graham, 26 Ekim'de X'te Washington Post'un haberine ve habere verilen tepkilere ilişkin düzeltmeler yayımladı. Haberde, bir güvenlik girişiminin yapay zekâ ajanlarının Anthropic'in sistemlerine 12 saatten kısa sürede girdiği belirtilmişti. Bunlar Anthropic'in duyurusu değil, Graham'ın açıklamaları:
Z.ai· Altyapı· 2 tartışma

Cloudflare, Workers AI’daki GLM 5.3 kurulum uyuşmazlığının istekler arasında KV önbellek sayfalarını açığa çıkardığını söylüyor

Cloudflare, 26 Ekim’de yayımladığı açıklama ve düzeltme yazısında, Workers AI’daki GLM 5.3 (@cf/zai-org/glm-5.3) yapılandırma uyuşmazlığının çıkarım motoru SGLang’da, istekler arasında KV önbellek sayfalarını açığa çıkaran bir hatayı tetiklediğini söyledi. Açıklama, SGLang’ın bir paylaşımıyla eşgüdümlü olarak yapıldı.
GitHub Copilot· Kodlama

GitHub Copilot’un CLI, Copilot uygulaması ve VS Code’daki yardımlı izinleri genel kullanıma sunuldu

GitHub, yardımlı izinlerin artık GitHub Copilot CLI, GitHub Copilot uygulaması ve Visual Studio Code’da genel kullanıma sunulduğunu söylüyor. Copilot bir komutu çalıştırmak, bir dosya sistemi yoluna erişmek veya bir URL’yi açmak için izin istediğinde, isteği büyük bir dil modeli değerlendiriyor. Açıkça güvenli olarak sınıflandırdığı istekler otomatik olarak yürütülüyor; diğer tüm istekler için kullanıcının onayı gerekiyor.
Modeller

Artificial Analysis, kodla oluşturulan pazarlama videoları için bir benchmark olan Code2Video-AA'yı kullanıma sunuyor

Artificial Analysis, HeyGen ile ortaklaşa geliştirdiği ve HeyGen'in Code2Video Bench'inin kendi uygulaması olan Code2Video-AA'yı tanıttı. Modellere 114 ürün ve marka pazarlama brief'i veriliyor; her birine araç kullanmadan, tek bir yanıtta HyperFrames HTML kompozisyonuyla karşılık vermeleri gerekiyor. Kompozisyon, ağ erişimi olmadan videoya dönüştürülüyor. Bir değerlendirici model (Gemini 4 Argon, high), videoları etkileşim, istemin amacına uygunluk, kompozisyon, zamansal tutarlılık ve işçilik açısından ikili olarak karşılaştırıyor; beş eksendeki Elo puanlarının ortalaması da genel puanı oluşturuyor. 35.000'den fazla değerlendirme, 27 modeli sıralıyor. Sonuçlar Artificial Analysis'in kendi sonuçlarıdır.
Cursor· Modeller· 1 tartışma

DeepSeek V4.1 Flash artık Cursor'da kullanılabilir

Cursor, 26 Ekim'de DeepSeek V4.1 Flash'ın editörde kullanılabildiğini duyurdu; Cursor Settings > Models bölümünden etkinleştirilebilir. Cursor'a göre her çaba düzeyi, görev başına 0,60 ila 0,98 dolar maliyetle CursorBench maliyet sınırında yer alıyor ve bu maliyette daha yüksek puan alan başka bir model yok. Bunlar, Cursor'ın kendi kıyaslamasından elde ettiği kendi verileri.
Anthropic· Kodlama· 2 tartışma

Claude Code 2.1.311 changes ultrathink, loads model settings from a signed file on cloud providers, and fixes the 1M-context error

Claude Code v2.1.311, released October 26, 2026, per its release notes:
OpenAI· Modeller· 7 tartışma

OpenAI, modellerinin yerel yumuşatma varsayımını kanıtladığını, Exponential Time Hypothesis'ı çürüttüğünü ve Yang–Mills teorisinin varlığını kanıtladığını söylüyor

OpenAI, modellerinin matematik, bilgisayar bilimi ve fizikte ürettiği üç sonucu duyurdu. Aşağıdakilerin tümü OpenAI'nin kendi iddiasıdır; henüz hiçbiri bağımsız olarak doğrulanmadı ve OpenAI, sonuçların Lean'de kontrol edildiğini söylüyor.
Kodlama

Scale AI'nin AgentEnv değerlendirmeleri artık Vercel Sandbox'ta çalıştırılabiliyor

Vercel, Scale AI Labs'in AgentEnv değerlendirmelerini artık Vercel Sandbox'ta çalıştırabileceğinizi söylüyor. Bir ajana görev veriyor, onu bir sandbox'ta çalıştırıyor ve nasıl performans gösterdiğini kontrol ediyorsunuz. Vercel, değişiklik günlüğünde bir kayıt ve sandbox belgelerinde bir kurulum kılavuzu yayımladı.
Kodlama

Vercel Sandbox komutları artık stdin'i destekliyor

Vercel, Vercel Sandbox'ta çalışan komutların artık stdin üzerinden girdi alabildiğini söylüyor. Böylece sandbox içindeki çalışan CLI araçlarına ve agent-browser gibi stdio MCP sunucularına girdi gönderebilirsiniz. Ayrıntılar Vercel'in değişiklik günlüğü kaydında.
GitHub Copilot· Modeller

GPT-6.1 Terra artık GitHub Copilot’ta genel kullanıma sunuldu

GitHub, OpenAI’ın en yeni modeli GPT-6.1 Terra’nın GitHub Copilot’ta genel kullanıma sunulduğunu söylüyor. GitHub, modelin günlük ajan tabanlı kodlama ve terminal çalışmaları için tasarlandığını ve GPT-6.1 Sol’dan daha düşük maliyetli olduğunu belirtiyor. Ayrıca erken testlerde GPT-5.6 Terra’ya kıyasla belirgin biçimde daha fazla terminal ve C# kodlama görevini çözdüğünü, kapsamı iyi belirlenmiş görevlerde odaklı ve birleştirilmiş adımlarla çalıştığını söylüyor.