Tim Cook'un 15 yıllık görevini devralan John Ternus'un ilk büyük ürün lansmanına sayılı gün kala Apple hisseleri yaklaşık yüzde 2 değer kaybetti. Yatırımcılar artık liderlik değişiminin heyecanından çok, 9 Eylül'deki lansmanın fiyatlandırma risklerine odaklanıyor.

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.