SEVENSA / RESEARCH INTELLIGENCEINDEPENDENT EDITORIAL ATLAS
I PROGRESSI DELL’IA, SPIEGATI

Sviluppi dell’IA che vale la pena comprendere.

Cosa è cambiato, cosa sostengono le prove e cosa va approfondito: modelli, agenti, scienza e matematica senza confondere annunci e risultati verificati.

19CURATED CASES
14RESEARCH AREAS
6LANGUAGES
Il riepilogo di oggi · 2026-11-01

35 scoperto oggi

Appena scoperto non significa appena pubblicato. Queste fonti non sono state verificate indipendentemente.

Riepilogo quotidiano →Cerca in tutta la ricerca
EDITORIAL SCOPE

Riassunti editoriali di affermazioni altrui. Non certifichiamo prove né rappresentiamo le aziende citate.

Curato al 29 ottobre 2026
Ricerca spiegata

Ricerca spiegata

Tre approfondimenti basati sulle fonti. Testo inglese; controllo separato tramite IA, non peer review scientifica.

Agent systems · English

A more capable agent still needs enforced boundaries

Clarifies the distinction between model capability, orchestration and enforced permissions without replacing the existing Sevensa stack.

Source: NVIDIA Developer · 2026-10-30

Separate AI source check · not peer review

Ricerca spiegata →

HOURLY SOURCE DISCOVERY

Nuove pubblicazioni

Selezione automatica · senza verifica scientifica del sito

Esplora la ricerca → · Stato delle fonti

OpenAI

Fair use benefits everyone

AI models · provider_announcement

OpenAI shares excerpts from court briefs by creators, academics, accessibility advocates, and legal experts, among others, on how fair use supports AI training and innovation.

Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗
01 / DISCOVERY INDEX

Approfondimenti matematici

Selezione di ricerche, non censimento completo

n → ∞
01OpenAI
Local smoothing ⇒ Kakeya + restriction

Regolarizzazione locale, Kakeya e restrizione

Quanto spazio serve per orientare un ago sottilissimo in ogni direzione? È l'intuizione dietro il problema di Kakeya.

Revisione indipendente attesa↗
02OpenAI
ETH: 3-SAT ∉ 2^o(n) claimed false

Una sfida all'ipotesi del tempo esponenziale

Alcuni problemi diventano enormemente più difficili quando crescono. Un argomento prodotto dall'IA contesta questa previsione.

Revisione indipendente attesa↗
05Anthropic
Proportion of zeros on Re(s)=½: ≥ 67.2% (claimed)

Più zeri di Riemann sulla retta critica

Claude non ha dimostrato l'ipotesi di Riemann. Anthropic riporta però un miglioramento del limite inferiore dal 41,6% al 67,2%.

Revisione esperta annunciata↗
06OpenAI
Quantum complexity

Ripetere un gioco quantistico rende più difficile superarlo?

Una singola prova lascia spazio alla fortuna. Ripeterla dovrebbe ridurre la probabilità di riuscire sempre. I giocatori quantistici possono però condividere entanglement e correlare le strategie.

Prova formale annunciata↗
07OpenAI
Complexity theory

Quanto è difficile calcolare il permanente?

Il determinante combina gli elementi di una matrice quadrata. Il permanente somma prodotti simili senza alternare i segni. Questa piccola differenza cambia notevolmente il problema computazionale.

Prova formale annunciata↗
08OpenAI
Group theory

Ogni gruppo si può approssimare con permutazioni finite?

Un gruppo descrive operazioni reversibili. Per capire un gruppo infinito possiamo imitarne parti usando permutazioni di un insieme finito. La soficità chiede se queste imitazioni possano diventare sempre più accurate.

Prova formale annunciata↗
13OpenAI
Operator algebras

Un’algebra di operatori ricorda il gruppo da cui proviene?

Una rappresentazione matematica permette di ricostruire la struttura originale, oppure strutture diverse possono produrre rappresentazioni indistinguibili? È l’intuizione di questa domanda di rigidità.

Prova formale annunciata↗
02 / RESEARCH INTEGRITY

La verifica è un processo, non un'etichetta.

Verifica formale, esame esperto e peer review sono processi diversi.

01Un modello propone un argomento.
02Strumenti formali controllano un enunciato.
03I ricercatori esaminano ipotesi e significato.
04L'accettazione indipendente richiede tempo.
03 / OPEN RESEARCH INTERFACE

Per agenti di ricerca

Esportazioni pubbliche JSON e Markdown con fonti, incertezze e date di revisione, senza account o JavaScript.

GET /api/v1/discoveries.jsonOpen JSON ↗GET /.well-known/ai-research.jsonAgent manifest ↗GET /llms.txtDocumentation ↗