Anthropic zverejnil formálny Lean dôkaz Fermatovej poslednej vety

Anthropic publikoval rozsiahlu formalizáciu už známeho dôkazu Fermatovej poslednej vety v Lean 4. Kód je verejný a podľa dokumentácie prešiel viacerými kontrolami.

Anthropic publikoval rozsiahlu formalizáciu už známeho dôkazu Fermatovej poslednej vety v Lean 4. Kód je verejný a podľa dokumentácie prešiel viacerými kontrolami.

OpenAI, Anthropic a xAI potvrdili časovo sa prekrývajúce incidenty svojich AI služieb. Spoločná príčina zatiaľ známa nie je.

Claude Fable 5.1 prináša miliónové kontextové okno, lacnejšie čítanie cache a upravené kybernetické ochrany.

Anthropic mal podľa viacerých médií investorom oznámiť anualizované tempo výnosov nad 65 miliárd dolárov ku koncu júla 2026. Ide o neauditovaný run rate, nie o celoročné tržby.

Federálny súd v Kalifornii zastavil opatrenia Pentagonu voči spoločnosti Anthropic. Sudkyňa Rita Lin označila postup vlády za protiústavnú odvetu za chránené vyjadrenia firmy.