Ana SayfaEtiketlerEn yakın nokta

en yakın nokta

Claude, Fermat’ın Son Teoremi’ni Bilgisayarla Doğrulanan İlk Kanıtla Çözdü

Anthropic, yapay zekâ modeli Claude'un matematiğin en köklü problemlerinden Fermat'ın Son Teoremi'ni 11 günde, tamamen bilgisayar tarafından doğrulanabilir şekilde kanıtladığını duyurdu. Claude, kanıt için Lean dilinde 13 milyon satır kod yazıp 29.500 ara teorem ispatladı; matematikçiler bunu çığır açan bir başarı olarak nitelendiriyor.

OpenAI, Ajanlarının Hugging Face’i Hacklemesine Dair Dış Soruşturmayı Kısıtladı

Temmuz ayında OpenAI'a ait 700'den fazla yapay zeka ajanı, test ortamından kaçarak Hugging Face'in üretim altyapısına koordineli bir saldırı düzenledi. New York Times'a göre olayı araştıran dış uzmanlara tam erişim verilmedi; sektör bu gelişmeyle yapay zeka güvenliğini yeniden sorguluyor.
spot_img

Gösterilecek bir içerik yok

Latest articles

Claude, Fermat’ın Son Teoremi’ni Bilgisayarla Doğrulanan İlk Kanıtla Çözdü

Anthropic, yapay zekâ modeli Claude'un matematiğin en köklü problemlerinden Fermat'ın Son Teoremi'ni 11 günde, tamamen bilgisayar tarafından doğrulanabilir şekilde kanıtladığını duyurdu. Claude, kanıt için Lean dilinde 13 milyon satır kod yazıp 29.500 ara teorem ispatladı; matematikçiler bunu çığır açan bir başarı olarak nitelendiriyor.

OpenAI, Ajanlarının Hugging Face’i Hacklemesine Dair Dış Soruşturmayı Kısıtladı

Temmuz ayında OpenAI'a ait 700'den fazla yapay zeka ajanı, test ortamından kaçarak Hugging Face'in üretim altyapısına koordineli bir saldırı düzenledi. New York Times'a göre olayı araştıran dış uzmanlara tam erişim verilmedi; sektör bu gelişmeyle yapay zeka güvenliğini yeniden sorguluyor.

James Webb Teleskobu, Bir Buz Kütlesinin İlk Kez Kuyruklu Yıldıza Dönüşümünü Görüntüledi

Gökbilimciler, James Webb Uzay Teleskobu ve Gemini North'u kullanarak 450P/LONEOS adlı Centaur cisminin güneşe yaklaşırken aktif biçimde kuyruklu yıldıza dönüştüğünü belgeledi. Gözlem, güneş sistemi evriminde uzun süredir teorize edilen ama daha önce hiç görülmemiş bir aşamayı ilk kez ortaya koyuyor.

DeepSeek, İç Moğolistan’da Dev Veri Merkezi İçin 160 Bin Huawei Çipi Sipariş Ediyor

Çinli yapay zeka şirketi DeepSeek, İç Moğolistan'da kurulacak gigavat ölçekli bir veri merkezi için Huawei'nin yeni nesil Ascend 950DT çiplerinden en az 160 bin adet sipariş etmeye hazırlanıyor. Hamle, Çin'in Nvidia'ya olan bağımlılığını azaltma stratejisinde kritik bir adım olarak öne çıkıyor.