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↗
Complexity theory
Check the problem size, uniformity, resource measure, reduction and approximation factor. A claim in one restricted model should not be promoted to a statement about every algorithm.
Dossier spiegati
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↗
Note di ricerca
Designing more efficient quantum circuits with Claude
Complexity theory · provider_announcement
Working largely on its own, Claude designed quantum circuits that improve on the best published versions, in some cases by an order of magnitude or
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗Circuits Updates – September 2024
Complexity theory · provider_announcement
Preliminary interpretability notes on successor heads and on oversampling topics in sparse autoencoder training for safety-relevant features.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗Circuits Updates – August 2024
Complexity theory · provider_announcement
Preliminary interpretability notes on quantified autointerpretability evaluations for sparse autoencoders and self-explaining features.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗Circuits Updates – July 2024
Complexity theory · provider_announcement
Five open challenges for mechanistic interpretability, plus notes on linear representations, rare features, and measuring feature sensitivity.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗Circuits Updates – June 2024
Complexity theory · provider_announcement
Comparing alternative sparse autoencoder architectures on the sparsity and reconstruction tradeoff, plus notes on external interpretability work.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗Circuits Updates – April 2024
Complexity theory · provider_announcement
Preliminary interpretability notes on scaling laws for dictionary learning, sparse autoencoder training, and circuit-analysis techniques.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗Circuits Updates — May 2023
Complexity theory · provider_announcement
Developing interpretability ideas on dictionary learning, defining features, and the possibility of superposition in attention heads.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗A mathematical framework for Transformer Circuits
Complexity theory · provider_announcement
Reverse-engineering small attention-only transformers reveals how induction heads form via head composition.
Selezione automatica · senza verifica scientifica del sitoLeggi la nota di ricerca ↗