Category
2,492 papers
Jaeger's Petersen coloring conjecture (1988), which asserted that every bridgeless cubic graph admits an edge map onto the Petersen graph sending every vertex star onto a vertex star, was refuted in August 2026: Putman exhibited two nonisomorphic 112-vertex counterexamples with SAT-solver certificates, Jooken gave a hu...
For four decades, deep artificial neural networks have relied on continuous vector spaces, dense floating-point General Matrix Multiplications (GEMM: hl+1 = σ(Wlhl + bl)), and gradient-based backpropagation. While effective in data centers, this paradigm incurs severe thermodynamic, memory bandwidth, and numerical stab...
PRE-REGISTRATION — The Letter Tax: how much shorter is a letter-free reasoning trace than length-optimized language? Registered 2026-09-19, before any GPU-hour. Code, data, and protocol frozen at commit d207c263df938f6003e51ff3da90f13367b40d99 ("v8 pre-registration freeze (r4)") in https://github.com/ZechenWei7/letter-...
Reach audiences
Advertise in front of researchers, engineers, and readers.
Modern autonomous agents predominantly manage state and memory through static vector embeddings and flat nearest-neighbor (k-NN) retrieval mechanisms. While effective for isolated semantic lookups, this mechanical paradigm suffers from severe cognitive pathologies in long-horizon reasoning tasks: lack of temporal recen...
A companion manuscript reported a correspondence between light-nuclear structure and closure conditions on regular triangular polytopes, stating the results without disclosing the derivation. This manuscript supplies the method. We give the operation converting a subdivided triad into a tetrahedron, and show it is edge...
【概要 / Abstract (English & Japanese)】 Hyper-scale artificial intelligence (AI) compute infrastructure and advanced semiconductor manufacturing (2nm, A16 nodes and beyond) face severe physical bottlenecks: the saturation of commercial power grids and the acute fragility of globally centralized supply chains situated...
We present a discrete theory of gravity whose microscopic primitive is a conserved ledger whose dynamical step is a single one-coordinate, one-bit posting, and we prove exactly where such a theory must import geometry and how much of general relativity it recovers once it does. Three unconditional theorems carry the ne...
Grow balls of squared radius t about the points of D_9^+ = D_9 ∪ ((1/2)^9 + D_9), with contact distance √2, and follow the uncovered part of the torus R^9/D_9 as t falls from the squared covering radius 17/16 to 0. Its persistent homology has 37 critical levels and 55 classes of bars. It is the same over the rationals...
This record provides digital elevation models (DEMs) from post-event optical stereo satellite images following the 2026-08-26 ice-rock avalanche on the north flank of Langtang Lirung, Rasuwa District, Nepal. The DEMs were produced from Vantor WorldView-2, WorldView-3 and WorldView Legion 2/3 stereo images acquired 2026...
Isomorphic Collapse of the Primorial Modulus: Bypassing Arithmetic in Arbitrary-Precision Cryptanalysis: The 10-GHz Topological Routing Engine for Overcoming the Von Neumann Bottleneck in Large-Scale Integer Analysis Abstract Modern computational mathematics remains bounded by a fundamental material compromise: as the...
A resting cortical spectrum carries a narrow peak near 10 Hz, a weaker and equally narrow peak near 20 Hz, and a broad 1/f background running beneath and above them. Mechanistic accounts locate each rhythm in a relaxation time, so a second band requires a second circuit, the ratio of the two amplitudes is predicted by...
By rethinking how large cloud computing systems operate, Associate Professor Christina Delimitrou seeks to make data centers more energy efficient.
An ongoing survey tracks the latest AI accelerator systems to keep hardware relevant for Lincoln Laboratory staff and sponsors.
Jennifer Neville did not want to go into computer science—but that’s exactly where she landed. Neville discusses the starts and stops that led to her professional sweet spot and her work identifying “surprising failures” making it hard for AI to handle complexity. The post What AI gets wrong and what failure teaches us appeared first on Microsoft Research.
Associate Professor Cathy Wu uses reinforcement learning to help map out improvements to transportation and other multifaceted systems.
Announcing Gemini 4 Argon, our frontier model for real-world coding, enterprise knowledge work and cyber defense, rolling out soon.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
