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↗
OpenAI · Monitor della ricerca
Riassunti editoriali di affermazioni altrui. Non certifichiamo prove né rappresentiamo le aziende citate.
Dossier spiegati
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↗
∂ₜu + (u·∇)u = −∇p + νΔu + f
Un flusso regolare può diventare singolare?
Immagina un vortice sempre più veloce concentrato in uno spazio minuscolo.
Prova formale annunciata↗
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↗
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↗
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↗
Extremal combinatorics
Per quanto tempo i colori possono nascondere un triangolo monocromatico?
Collega ogni coppia di persone e colora ogni collegamento. Quanto può essere grande il gruppo prima che un terzetto abbia tutti e tre i collegamenti dello stesso colore?
Prova formale annunciata↗
Discrete geometry
Quanto possono essere dense le sfere in molte dimensioni?
Impilare arance è familiare. In uno spazio con molte coordinate indipendenti chiediamo analogamente quale frazione possa essere occupata da sfere uguali senza sovrapposizione.
Prova formale annunciata↗
Extremal graph theory
Quanto può essere denso un grafo senza un motivo vietato?
Un grafo è una rete di punti e collegamenti. Con abbastanza collegamenti, alcuni motivi diventano inevitabili. La teoria estremale dei grafi studia questa transizione.
Prova formale annunciata↗
Convex geometry
Quale volume può avere un corpo convesso con un solo punto interno del reticolo?
Colloca una forma senza rientranze su una griglia intera. Il suo baricentro è l’unico punto della griglia strettamente interno. Quanto può crescere il volume?
Prova formale annunciata↗
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↗
Lattice algorithms
Quanto bene si può approssimare il punto di reticolo più vicino?
In una griglia regolare con molte dimensioni cerchiamo il punto più vicino a una posizione data. Anche una buona approssimazione può essere difficile da ottenere.
Prova formale annunciata↗
Coding theory
Quanta informazione contiene un codice resistente agli errori?
La ridondanza aiuta a riconoscere messaggi danneggiati. Le parole del codice devono essere abbastanza diverse. Quanti messaggi distinguibili possono esistere con una distanza minima fissata?
Prova formale annunciata↗
u(n) = max # pairs at distance 1
Nuova costruzione per il problema delle distanze unitarie di Erdős
Quante coppie di punti possono stare esattamente a una unità di distanza? L'IA ha trovato disposizioni inattese.
Verifica matematica esterna↗
Note di ricerca
Making it easier for websites to express AI training preferences
Data & governance · provider_announcement
OpenAI will honor a shared robots.txt signal to help website operators communicate their AI training preferences to participating providers.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗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 ↗How Ropes & Gray is developing AI for transactional diligence
AI models · provider_announcement
Ropes & Gray is developing AI for transactional diligence with OpenAI. Lawyers review grouped documents, summaries, and reports before advising clients.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗An updated Model Spec for more capable and beneficial AI
AI models · provider_announcement
OpenAI’s updated Model Spec outlines five core values to guide more capable AI toward sound judgment, human agency, and faithfulness to human intent.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗How we detect frontier model misalignment
Agent systems · provider_announcement
OpenAI uses layered monitoring to detect frontier model misalignment and unauthorized agent behavior so responders can intervene before incidents escalate.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗The future of the firm
AI models · provider_announcement
How AI might enter the org chart—beneath, beside, and between us.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗OpenAI and ServiceNow expand partnership across enterprise workflows
Agent systems · provider_announcement
OpenAI and ServiceNow expand their partnership to bring OpenAI models and agents into ServiceNow and ServiceNow workflows into ChatGPT and Codex.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗Legora is building the agentic operating system for legal work
Agent systems · provider_announcement
See how Legora uses OpenAI models, ChatGPT, and Codex to accelerate legal workflows, expand contract analysis, and free lawyers to focus on higher-value work.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗OpenAI expands partnership with Oracle to bring its apps to ChatGPT
Agent systems · provider_announcement
OpenAI and Oracle are expanding their partnership to bring business applications and AI agents into ChatGPT and power new Oracle offerings.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗Retell uses OpenAI models to help power 100M monthly calls
Agent systems · provider_announcement
GPT-6 Astra tops Retell’s voice agent benchmark, while Codex helps it reach a $1.6M annual revenue run rate per employee.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗Greptile takes bug detection beyond code review with GPT-6 Astra
Agent systems · provider_announcement
How Greptile uses GPT-6 Astra to test user workflows, Daybreak to strengthen security, and Codex to reduce rework.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗GPT-6.1 Sol helps CodeRabbit strengthen security across complex codebases
Agent systems · provider_announcement
CodeRabbit uses GPT-6.1 Sol to investigate security risks across complex codebases. Its security agent helps developers review findings and proposed fixes.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗