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.

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.