148 haber bu etiketle işaretlenmiş
Yapay zeka şirketi Anthropic, dahili modellerinden birini ve prove2.me platformunu kullanarak Fermat'ın Son Teoremi'nin Lean programlama dilinde tam bir biçimsel kanıtını üretti. Gelişme, Freek…
Anthropic, matematik dünyasının en bilinen problemlerinden Fermat'nın Son Teoremi'nin Lean 4 üzerinde bilgisayarca doğrulanmış tam kanıtını açık kaynak olarak yayımladı. Mathlib kütüphanesi üzerine…
Anthropic araştırmacıları, Pierre de Fermat tarafından 1637 yılında ortaya atılan ve 1995 yılında Andrew Wiles tarafından kanıtlanan Fermat'nın Son Teoremi'nin bilgisayar destekli ilk tam biçimsel…
OpenAI, Anthropic ve xAI tarafından geliştirilen öncü yapay zeka modelleri perşembe sabahı eş zamanlı erişim sorunlarıyla karşılaştı. Şirketlerin sunduğu sohbet robotlarında kesintiler yaşanırken…
Anthropic tarafından geliştirilen Claude Fable 5.1, Sir Thomas Urquhart'ın 1653 yılında yayımladığı ve araştırmacıların çözülemediğini düşündüğü Cyphral Distich adlı sayı bulmacasını deşifre etti.…
Anthropic, 3 Eylül 2026 tarihinde Claude altyapısındaki çeşitli büyük dil modellerine yapılan isteklerde artan hata oranları gözlemlendiğini duyurdu. Şirket tarafından yayımlanan durum bildiriminde,…
Anthropic, perakende ve e-ticaret platformlarının yapay zeka destekli alışveriş ve satıcı asistanları geliştirmesini hızlandıracak yeni teknik taslağını kullanıma sundu. Şirket, Claude üzerinde…
Yapay zeka girişimi Anthropic, 1 Haziran'da gizli halka arz başvurusunda bulundu ve 2026 yılının üçüncü çeyreğinde 1 milyar doların üzerinde net kâr açıkladı. Dario Amodei tarafından 2021 yılında…
Anthropic, kullanıcıların yükledikleri dosyaların yapay zeka modeli Claude ile üretilip üretilmediğini veya düzenlenip düzenlenmediğini tespit eden yeni bir doğrulama aracı kullanıma açtı. Sistem,…
Yapay zeka şirketi Anthropic, aylık 200 dolara kadar varan Claude Max aboneliğine sahip bireysel geliştiricilerin hesaplarını "şüpheli sinyaller" gerekçesiyle kapatmaya başladı. Kullanıcılara…
Anthropic, kodlama, bilgi odaklı işler ve uzun süreli problem çözme görevleri için geliştirdiği Claude Fable 5.1 modelini yayımladı. Şirket, yeni modelin özellikle bilimsel araştırma alanında önemli…
Anthropic, kodlama, bilgi odaklı işler ve bilimsel araştırmalar için geliştirdiği yeni yapay zeka modelleri Claude Fable 5.1 ve Claude Mythos 5.1'i duyurdu. Aynı temel mimariyi paylaşan modellerden…