Tuomari: Britannian sisäministeriö käytti hallusinoitua AI-tietoa turvapaikkahakemuksen hylkäämiseen
Britannian sisäministeriö hylkäsi marokkolaisen naisen turvapaikkahakemuksen viittaamalla asiakirjaan, jota ei ole olemassa. Ylemmän tuomioistuimen tuomari totesi heinäkuussa, että hylkäyskirje kantaa merkkejä tekoälyn käytöstä ja että viittaus Marokkoa koskevaan CPIN-maaraportista vuodelta 2021 saattaa olla AI-hallusinaatio. Sisäministeriö toimitti myöhemmin eri asiakirjan, julkaisemattoman sisäisen ohjeen, joka ei kuitenkaan tue väitettä Marokon turvallisuudesta kyseisen kaltaisille naisille. Tuomari luonnehti olemattomaan asiakirjaan tukeutumista 'väärennettynä todisteena' ja piti asiaa vakavana menettelyvirheenä.
www.theguardian.com ↗
Claude Mythos löysi heikkouksia HAWK-allekirjoitusjärjestelmästä ja AES-salauksesta
Anthropicin tutkijat käyttivät Claude Mythos Preview -mallia kryptografisten algoritmien analysointiin ja löysivät kaksi merkittävää tulosta. Malli paransi parasta tunnettua hyökkäystä HAWK-allekirjoitusjärjestelmää vastaan – HAWK on NIST:n post-kvanttisalauksen ehdokasalgoritmi, joka on läpäissyt kaksi vuotta asiantuntija-arviointia. Lisäksi malli löysi uuden hyökkäystavan AES:n heikennettyä versiota vastaan, nopeuttaen aiempia parhaita hyökkäyksiä 200–800-kertaisesti. Kumpikaan tulos ei vaikuta tuotantojärjestelmiin, mutta ne osoittavat frontier-mallien kyvyn löytää matemaattisia heikkouksia kryptografisista algoritmeista.
www.anthropic.com ↗
DeltaNet-lineaarisen attentionin perheen matematiikka avattuna vaihe vaiheelta
Blogikirjoitus käy läpi lineaarisen attention-mekanismin kehityskaaren softmax-attentionista DeltaNetiin, Gated DeltaNetiin ja Kimi Delta Attentioniin (KDA), jota käyttävät Qwen- ja Kimi-malliperheiden uusimmat versiot. Keskeinen ongelma on lineaarisen attentionin muistinpäivitys: tavallinen += -kirjoitus häiritsee aiempia assosiaatioita, koska avaimet eivät ole keskenään ortogonaalisia. DeltaNet korvaa tämän delta-sääntöpohjaisella korjauksella, joka päivittää muistia vain nykyisen avaimen suunnassa ja jättää ortogonaaliset suunnat rauhaan. Gated DeltaNet lisää opitun retention-portin, joka mahdollistaa vanhan tilan unohtamisen ennen uuden kirjoituksen tekemistä.
blog.doubleword.ai ↗
Kimi Linear -arkkitehtuuri haastaa full attention -mallit tehokkuudella
Kimicorin tutkijat esittelevät Kimi Linear -arkkitehtuurin, joka yhdistää lineaarisen ja täyden attention-mekanismin hybridiksi. Tutkimuksen mukaan malli päihittää full attention -arkkitehtuurin lyhyissä ja pitkissä konteksteissa sekä RL-skaalaustilanteissa, samalla kun KV-välimuistin käyttö pienenee jopa 75 % ja dekoodausnopeus kasvaa jopa kuusinkertaiseksi miljoonan tokenin kontekstissa. Malli on julkaistu 3 miljardin aktiivisen parametrin kokoisena, ja sekä KDA-kernel että valmiit mallicheckpointit ovat avointa lähdekoodia.
arxiv.org ↗