Ci sono due tipi di persone che frenano in curva: quelle che hanno paura e quelle che sanno davvero cosa c'è dopo la curva. Jakub Pachocki, lo … [Leggi di più...]
Undici giorni per la formalizzazione che i matematici stimavano richiedesse anni
Il 4 settembre 2026, Anthropic ha pubblicato qualcosa che merita attenzione anche se non hai mai sentito parlare dell'Ultimo Teorema di Fermat. … [Leggi di più...]
Prima di fidarti di un’AI, cerca il giudice
Sottotitolo: Un'AI ha formalizzato Fermat in undici giorni. La lezione non è che è più intelligente: è che c'era un verificatore esterno che non si … [Leggi di più...]
Tre miliardi di euro per tenere l’AI fuori dal monopolio americano
Tre miliardi di euro. Non di fatturato, non di valutazione gonfiata da proiezioni ottimistiche. Di investimento fresco, raccolto in un round Series D … [Leggi di più...]
Nvidia ha comprato la biblioteca pubblica dell’AI
Immagina che Amazon acquisisca la Biblioteca del Congresso. Non per chiuderla, non per mettere un cancello, ma perché controlla già i camion che … [Leggi di più...]
GPT-6 Astra trova falle zero-day da solo. OpenAI ha bloccato il rilascio.
C'è una soglia nella sicurezza informatica che si chiama "capacità critica": il momento in cui un sistema AI riesce a scoprire da solo vulnerabilità … [Leggi di più...]
- « Pagina precedente
- 1
- …
- 7
- 8
- 9
- 10
- 11
- …
- 32
- Pagina successiva »





