ETH: 3-SAT ∉ 2^o(n) claimed false
Una objeción a la hipótesis del tiempo exponencial
Algunos acertijos se vuelven muchísimo más difíciles al crecer. Un argumento de IA cuestiona esta predicción.
Revisión independiente pendiente↗
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.
Informes explicados
Complexity theory
¿Qué dificultad tiene calcular el permanente?
El determinante combina elementos de una matriz cuadrada. El permanente suma productos parecidos sin alternar signos. Ese cambio aparentemente pequeño conduce a otro problema computacional.
Prueba formal anunciada↗
Notas de investigación
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
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗Circuits Updates – August 2024
Complexity theory · provider_announcement
Preliminary interpretability notes on quantified autointerpretability evaluations for sparse autoencoders and self-explaining features.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗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.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗Circuits Updates – April 2024
Complexity theory · provider_announcement
Preliminary interpretability notes on scaling laws for dictionary learning, sparse autoencoder training, and circuit-analysis techniques.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗Circuits Updates — May 2023
Complexity theory · provider_announcement
Developing interpretability ideas on dictionary learning, defining features, and the possibility of superposition in attention heads.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗A mathematical framework for Transformer Circuits
Complexity theory · provider_announcement
Reverse-engineering small attention-only transformers reveals how induction heads form via head composition.
Selección automática · sin revisión científica propiaLeer la nota de investigación ↗