Nummersoverzicht
OpenAI's wiskundemijlpaal, Mistral's 'Le Chonk' en DeepSeek's $15 miljard financiering
AIDagelijks nummer

OpenAI's wiskundemijlpaal, Mistral's 'Le Chonk' en DeepSeek's $15 miljard financiering

OpenAI publiceert 722 wiskundige manuscripten gegenereerd door een niet uitgebracht model, Mistral debuteert met zijn 1 biljoen parameter 'Le Chonk'-model en DeepSeek mikt op een financieringsronde van $15 miljard. Ondertussen breidt Anthropic zijn cyberverificatieprogramma uit en maakt het IPO-details bekend, terwijl leiders uit de industrie een nieuw Personal Agent Protocol steunen.

Podcast В· 2 min

01

OpenAI publiceert 722 wiskundige manuscripten van niet uitgebracht model

OpenAI heeft 722 wiskundige onderzoeksmanuscripten gepubliceerd die zijn gegenereerd door een niet uitgebracht grensverleggend model. De verzameling beslaat 372 families van resultaten op gebieden zoals getaltheorie, informatica en natuurkunde. Elk resultaat vereiste ongeveer drie uur rekentijd van ChatGPT Pro. Opvallend is dat veel bewijzen Lean-formaliseringen bevatten, wat mechanische verificatie van logische stappen mogelijk maakt. Dit pakt de cruciale uitdaging aan om ervoor te zorgen dat door AI gegenereerde bewijzen wiskundig correct zijn. OpenAI heeft overlegd met de wiskunde-en-AI-adviesgroep van het Institute for Advanced Study over de publicatie en is van plan verdere workshops te financieren om deze bevindingen te valideren.

02

Mistral AI lanceert 'Le Chonk' (Large 4)

Het Franse AI-lab Mistral AI heeft Large 4 geïntroduceerd, een open model met 1 biljoen parameters, bijgenaamd 'Le Chonk'. Het bedrijf beweert dat het model niet-Chinese open systemen met een aanzienlijke marge overtreft, met name op het gebied van cyberbeveiliging en juridische benchmarks. Mistral meldt dat het model een score van 82% behaalde op een bugtest waar andere grensverleggende modellen moeite mee hadden. Hoewel de gewichten gepland zijn voor openbare release op 27 oktober, hebben cyberbeveiligingsexperts en overheidsinstanties een preview-periode van drie weken gekregen.

03

Financieringsronde DeepSeek kan $15 miljard bereiken

CNBC meldt dat het Chinese AI-lab DeepSeek momenteel een nieuwe financieringsronde ophaalt die het bedrijf op maximaal $15 miljard kan waarderen. Deze aanzienlijke kapitaalinjectie onderstreept het snelle tempo van ontwikkeling in de Chinese AI-sector en de intense wereldwijde concurrentie om middelen en marktaandeel tussen grensverleggende modellabs.

04

IPO-prospectus Anthropic onthult beloning bestuurders

Het IPO-prospectus van Anthropic is openbaar gemaakt en geeft details over de beloning van bestuurders voor 2025. CEO Dario Amodei verdiende $18 miljoen en president Daniela Amodei verdiende $16,4 miljoen, waarbij het grootste deel van deze pakketten bestond uit aandelen en opties. Beide bestuurders zagen hun basissalaris stijgen naar $1,4 miljoen vanaf juli 2026, wat een zeldzame inkijk biedt in de financiële structuur van een toonaangevend AI-lab dat zich voorbereidt op de openbare markt.

05

a16z-data: Top 1% van AI-gebruikers besteedt $903 per maand

Nieuwe gegevens van a16z tonen aan dat de top 1% van betalende AI-gebruikers gemiddeld $903 per maand uitgeeft aan AI-diensten. Deze groep is verantwoordelijk voor 19,5% van de totale consumentenuitgaven aan AI, wat meer is dan de gecombineerde uitgaven van de onderste 50% van de gebruikers. Dit benadrukt een aanzienlijke ongelijkheid in gebruiksintensiteit en betalingsbereidheid onder de meest actieve AI-gebruikers.

06

Industrieleiders steunen Personal Agent Protocol

Een consortium waaronder Meta, Sierra, Stripe, Shopify en Walmart heeft steun aangekondigd voor een open 'Personal Agent Protocol'. Het initiatief heeft tot doel een gestandaardiseerd kader te creëren voor het autoriseren van AI-agenten, waardoor individuen toestemmingen kunnen verlenen terwijl bedrijven de operationele grenzen voor deze agenten bepalen. Deze gezamenlijke inspanning probeert de groeiende behoefte aan governance aan te pakken naarmate autonome agenten meer geïntegreerd raken in bedrijfs- en consumentenworkflows.

07

Hark lanceert proactieve AI-assistent

Hark, een AI-startup opgericht door Brett Adcock van Figure AI, heeft 'Hark Pro' uitgebracht. De assistent is ontworpen om proactief te zijn, in staat om te onderzoeken, winkelen, boeken en taken te beheren via web- en mobiele platforms. Het systeem maakt gebruik van 'Handoff', een cloudgebaseerde computeromgeving die tot 36 browsers tegelijk kan beheren. Het bedrijf kondigde ook plannen aan om in 2027 een reeks hardwareapparaten uit te brengen, ondersteund door een connectiviteitspartnerschap met AT&T.

08

Anthropic breidt Cyberverificatieprogramma uit

Anthropic heeft zijn Cyberverificatieprogramma uitgebreid, waardoor geverifieerde cyberbeveiligingsverdedigers bredere toegang krijgen tot zijn meest capabele modellen. De uitbreiding volgt op rapporten dat partners met succes ten minste 129.000 geverifieerde softwarekwetsbaarheden hebben geïdentificeerd met behulp van de modellen, wat de bruikbaarheid van grensverleggende AI bij proactieve dreigingsdetectie en -verdediging aantoont.