Raccontami cosa vuoi migliorare.
Una call di 30 minuti per capire il contesto e valutare insieme se e come posso esserti utile. Senza impegno.
RicercaDisponibile in podcastAnche Anthropic dichiara falsa l'ETH: l'algoritmo per 3-SAT trovato da Claude
Il 27 ottobre 2026 Anthropic ha pubblicato un paper firmato da Claude che dichiara falsa l'Exponential Time Hypothesis. L'algoritmo, trovato da un modello interno il 16 ottobre, ha una prova Lean scritta da AI ma nessuna verifica umana o revisione esterna.
6 min
RicercaDisponibile in podcastOpenAI dichiara 3 scoperte in matematica, informatica e fisica: cosa sappiamo davvero
Il 26 ottobre 2026 OpenAI ha dichiarato che i suoi modelli hanno risolto tre problemi aperti. Due hanno testo e prova Lean pubblici, la fisica no. Nessun risultato è ancora confermato in modo indipendente: ecco cosa dice l'annuncio e cosa manca.
7 min
AnalisiDisponibile in podcastClaude Fable 5.1 e Mythos 5.1: benchmark, prezzi, sicurezza e watermark europeo
Claude Fable 5.1 e Mythos 5.1: benchmark per livello di sforzo, cache a 0,25 $, costi, sicurezza, EFS e watermark dell'AI Act. Cosa conta per un'azienda.
31 min