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. The post Claude, Fermat’ın Son Teoremi’ni Bilgisayarla Doğrulanan İlk Kanıtla Çözdü appeared first on dijitaliyidir .
Fermat’ın Son Teoremi, 1637’de ortaya atılan ve ancak 1995’te Andrew Wiles tarafından 129 sayfalık karmaşık bir ispatla çözülebilen matematiğin en meşhur bilmecelerinden biriydi. Bu ispatı bir bilgisayarın adım adım denetleyebileceği biçimsel dile çevirmenin yıllar süreceği düşünülüyordu.
This is an excerpt. Copyright belongs to the source; the full story is published on their site.
Read the full story at the source
This story was published by Dijitaliyidir.
See other sources covering this event →
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. The post OpenAI, Ajanlarının Hugging Face’i Hacklemesine Dair Dış Soruşturmayı Kısıtladı appeared first on dijitaliyidir .
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. The post James Webb Teleskobu, Bir Buz Kütlesinin İlk Kez Kuyruklu Yıldıza Dönüşümünü Görüntüledi appeared first on dijitaliyidir .
Powerbankler günümüzün en önemli teknolojik ürünlerinden. Bizde bu tavsiye listemizde, 2026'nın en iyi powerbank marka ve modellerine fiyatlarıyla yer verdik.
Ç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. The post DeepSeek, İç Moğolistan’da Dev Veri Merkezi İçin 160 Bin Huawei Çipi Sipariş Ediyor appeared first on dijitaliyidir .
UCLA'dan iki yeni çalışma, gelişmekte olan insan beyninin kök hücrelerini yönlendiren gizli mekanizmaları ortaya çıkardı. Cell ve Science dergilerinde yayımlanan araştırmalar, metabolizmanın ve beyin derinliklerinden gelen fiziksel sinyallerin hangi nöron tiplerinin üretileceğini belirlediğini gösteriyor. The post UCLA Araştırması: Beyin Kök Hücreleri Hangi Nöronu Üreteceğine Nasıl Karar Veriyor? appeared first on dijitaliyidir .
Google, kurulması planlanan veri merkezi için Fervo'nun Cape Station projesinden 396 MW elektrik satın alacak. Bu, yeni nesil jeotermal enerji alanındaki en büyük anlaşma oldu.
Comments