ETH: 3-SAT ∉ 2^o(n) claimed false
Een aanval op de exponentiële-tijdhypothese
Sommige puzzels worden razendsnel moeilijker als ze groter worden. Een nieuw AI-bewijs stelt dat een bekende aanname daarover onjuist is.
Onafhankelijke review nodig↗
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.
Uitgewerkte dossiers
Complexity theory
Hoe moeilijk is het berekenen van de permanent?
Een determinant combineert elementen van een vierkante matrix. De permanent telt vergelijkbare producten op, maar zonder afwisselende tekens. Dat kleine verschil maakt de berekening fundamenteel anders.
Formeel bewijs gemeld↗
Onderzoeksberichten
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
Automatisch geselecteerd · niet door ons wetenschappelijk getoetstLees de onderzoeksnotitie ↗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.
Automatisch geselecteerd · niet door ons wetenschappelijk getoetstLees de onderzoeksnotitie ↗Circuits Updates – August 2024
Complexity theory · provider_announcement
Preliminary interpretability notes on quantified autointerpretability evaluations for sparse autoencoders and self-explaining features.
Automatisch geselecteerd · niet door ons wetenschappelijk getoetstLees de onderzoeksnotitie ↗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.
Automatisch geselecteerd · niet door ons wetenschappelijk getoetstLees de onderzoeksnotitie ↗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.
Automatisch geselecteerd · niet door ons wetenschappelijk getoetstLees de onderzoeksnotitie ↗Circuits Updates – April 2024
Complexity theory · provider_announcement
Preliminary interpretability notes on scaling laws for dictionary learning, sparse autoencoder training, and circuit-analysis techniques.
Automatisch geselecteerd · niet door ons wetenschappelijk getoetstLees de onderzoeksnotitie ↗Circuits Updates — May 2023
Complexity theory · provider_announcement
Developing interpretability ideas on dictionary learning, defining features, and the possibility of superposition in attention heads.
Automatisch geselecteerd · niet door ons wetenschappelijk getoetstLees de onderzoeksnotitie ↗A mathematical framework for Transformer Circuits
Complexity theory · provider_announcement
Reverse-engineering small attention-only transformers reveals how induction heads form via head composition.
Automatisch geselecteerd · niet door ons wetenschappelijk getoetstLees de onderzoeksnotitie ↗