3 novinky
Mistral AI vydal Leanstral 1.5, open-source (Apache-2.0) model špecializovaný na formálne dôkazy v Lean 4. So 119B celkovými a len 6B aktívnymi parametrami dosahuje 100 % na miniF2F a vyrieši 587 z 672 PutnamBench matematických problémov.
Anthropic zaviedol monitoring účtov cez analýzu časových pásiem a vzorov použitia, aby blokoval čínske firmy — vrátane Ant Group a ByteDance — obchádzajúce TOS cez singapurské dcérske spoločnosti a VPN.
Súdne dokumenty odhalili napäté e-maily medzi vedením Pentagónu a CEO Anthropicu Daroom Amodeim. Pentagon požadoval Claude pre autonómne zbraňové systémy a masový dohľad; Amodei odmietol, rokovania sa skončili a Anthropic bol označený za supply-chain riziko.
