Il traguardo matematico di OpenAI, 'Le Chonk' di Mistral e il finanziamento da 15 miliardi di dollari di DeepSeek
OpenAI pubblica 722 manoscritti matematici generati da un modello non ancora rilasciato, Mistral presenta il suo modello 'Le Chonk' da 1 trilione di parametri e DeepSeek punta a un round di finanziamento da 15 miliardi di dollari. Nel frattempo, Anthropic espande il suo programma di verifica informatica e pubblica i dettagli dell'IPO, mentre i leader del settore sostengono un nuovo protocollo per agenti personali.
Podcast В· 2 min
OpenAI pubblica 722 manoscritti matematici da un modello non rilasciato
OpenAI ha pubblicato 722 manoscritti di ricerca matematica generati da un modello avanzato non ancora rilasciato. La raccolta copre 372 famiglie di risultati in campi come la teoria dei numeri, l'informatica e la fisica. Ogni risultato ha richiesto circa tre ore di tempo di calcolo su ChatGPT Pro. È interessante notare che molte dimostrazioni includono formalizzazioni in Lean, che consentono la verifica meccanica dei passaggi logici, affrontando la sfida critica di garantire che le dimostrazioni generate dall'IA siano matematicamente valide. OpenAI ha consultato il gruppo consultivo di matematica e IA dell'Institute for Advanced Study per il rilascio e prevede di finanziare ulteriori workshop per convalidare questi risultati.
Mistral AI lancia 'Le Chonk' (Large 4)
Il laboratorio francese di IA Mistral AI ha presentato Large 4, un modello aperto da 1 trilione di parametri soprannominato 'Le Chonk'. L'azienda sostiene che il modello superi di gran lunga i sistemi aperti non cinesi, in particolare nei benchmark di cybersecurity e legali. Mistral riferisce che il modello ha raggiunto un punteggio dell'82% in un test di bug con cui altri modelli avanzati hanno avuto difficoltà. Mentre i pesi sono previsti per il rilascio pubblico il 27 ottobre, agli esperti di cybersecurity e alle agenzie governative è stato concesso un periodo di anteprima di tre settimane.
Il round di finanziamento di DeepSeek potrebbe raggiungere i 15 miliardi di dollari
CNBC riferisce che il laboratorio cinese di IA DeepSeek sta attualmente raccogliendo un nuovo round di finanziamento che potrebbe valutare l'azienda fino a 15 miliardi di dollari. Questa significativa iniezione di capitale sottolinea il rapido ritmo di sviluppo nel settore cinese dell'IA e l'intensa competizione globale per risorse e quote di mercato tra i laboratori di modelli avanzati.
Il prospetto IPO di Anthropic rivela la retribuzione dei dirigenti
Il prospetto IPO di Anthropic è stato reso pubblico, dettagliando la retribuzione dei dirigenti per il 2025. L'amministratore delegato Dario Amodei ha guadagnato 18 milioni di dollari e la presidente Daniela Amodei ha guadagnato 16,4 milioni di dollari, con la maggior parte di questi pacchetti costituita da azioni e opzioni. Entrambi i dirigenti hanno visto i loro stipendi base aumentare a 1,4 milioni di dollari a partire da luglio 2026, offrendo uno sguardo raro sulla struttura finanziaria di un laboratorio di IA leader che si prepara per i mercati pubblici.
Dati a16z: il top 1% degli utenti AI spende 903 dollari al mese
Nuovi dati di a16z rivelano che il top 1% degli utenti paganti di IA spende in media 903 dollari al mese per servizi di IA. Questa coorte rappresenta il 19,5% della spesa totale dei consumatori per l'IA, superando la spesa combinata del 50% inferiore degli utenti. Ciò evidenzia una disparità significativa nell'intensità di utilizzo e nella disponibilità a pagare tra gli adottanti più attivi dell'IA.
I leader del settore sostengono il protocollo per agenti personali
Un consorzio che include Meta, Sierra, Stripe, Shopify e Walmart ha annunciato il sostegno a un 'Protocollo per Agenti Personali' aperto. L'iniziativa mira a creare un quadro standardizzato per autorizzare gli agenti IA, consentendo agli individui di concedere permessi mentre le aziende definiscono i confini operativi per questi agenti. Questo sforzo collaborativo cerca di affrontare la crescente necessità di governance man mano che gli agenti autonomi diventano più integrati nei flussi di lavoro aziendali e dei consumatori.
Hark lancia un assistente AI proattivo
Hark, una startup di IA fondata da Brett Adcock di Figure AI, ha rilasciato 'Hark Pro'. L'assistente è progettato per essere proattivo, in grado di fare ricerche, acquisti, prenotazioni e gestire attività su piattaforme web e mobili. Il sistema utilizza 'Handoff', un ambiente di elaborazione basato su cloud in grado di gestire fino a 36 browser contemporaneamente. L'azienda ha anche annunciato piani per rilasciare una famiglia di dispositivi hardware nel 2027, supportata da una partnership di connettività con AT&T.
Anthropic espande il programma di verifica informatica
Anthropic ha ampliato il suo Programma di Verifica Informatica, concedendo ai difensori della cybersecurity verificati un accesso più ampio ai suoi modelli più capaci. L'espansione segue i rapporti secondo cui i partner hanno identificato con successo almeno 129.000 vulnerabilità software verificate utilizzando i modelli, dimostrando l'utilità dell'IA avanzata nella rilevazione e difesa proattiva delle minacce.