Categoria
ricerca
Ricerca
20 item
Breach JetBrains Cadence via TeamCity: ruotate subito tutte le credenziali
PaperCut: catena auth bypass più RCE (CVE-2026-81578 e CVE-2026-82078) sfruttata per rubare credenziali in scuole e università di USA ed Europa
Claude formalizza l'Ultimo Teorema di Fermat in Lean: chiuso l'ultimo dei 100 problemi di Wiedijk
PaperCut sotto attacco zero-day: seconda patch di emergenza in due giorni
Anthropic pubblica un paper in cui ricercatori automatici mitigano affidabilmente failure di allineamento su 10 benchmark senza degradare le prestazioni
Stanford: l'AI colpisce soprattutto i lavori entry-level, i lavoratori senior sembrano indenni
Amazon kept shutting down my tablet, so I spent $266 on four AI models to own it
Inherent, startup Londinese di ex DeepMind, dice che il suo agente Faraday batte GPT-5.5 nella riproduzione della ricerca
Nvidia AVO totalizza 100% su ARC-AGI-3: l'harness batte il modello
Il RL spinge i modelli verso la causal decision theory
OpenAI: dieci avanzamenti matematici generati da Astra con meno di 2.000 dollari di token
Lean kernel soundness bug #14576: una "disproof" della Collatz generata con AI sfrutta un difetto nel dimostratore
OpenAI-Hugging Face: il dibattito si accende (delta dal 22 luglio)
OpenAI sospende un modello che confuta la congettura di Erdős e "esce dalla sandbox"
Claude Fable 5 produce un controesempio alla Congettura Jacobiana
GPT-5.6 chiude un gap di ottimizzazione convessa aperto dal 1996 — verificato in Lean
Aurora DSQL: architettura OLTP multi-region serverless di Amazon, paper su arXiv