- The Exponential Time Hypothesis is False
OpenAI
OpenAI MathSource: github.comOct 25, 2026cs.CCAI-generatedLeanscore 1 · 🔥 19 posts · 2 comments
- A 2 o(*n*) Time Algorithm for 3-SAT
anthropics
Lean projectSource: github.comAug 6, 2026Leanscore 0 · 🔥 10 posts
- A $2^{o(n)}$ Time Algorithm for 3-SAT
Anthropic
HexagonSource: hexagonmath.orgOct 27, 2026cs.CCAI-generatedscore 0 · 🔥 6 posts
- Near-Optimal Learning of Quantum Many-Body Systems from Gibbs and Thermal Metastable States via the Stationarity Test
Tai Hsuan Yang
arXivSource: arxiv.orgNov 1, 2026quant-phscore 2
- Distilling Knowledge from Search: Decoder Model Factory for Quantum LDPC Codes
Anil Bilgin, Wanda Hou, Pranav Srinivas, Yi-Zhuang You
arXivSource: arxiv.orgOct 30, 2026quant-phscore 2
- Exhaustive Construction of Generalized Parent Hamiltonians for Matrix Product States
He-Ran Wang, Lorenzo Gotta, Sanjay Moudgalya
arXivSource: arxiv.orgOct 30, 2026quant-phscore 2 · 1 comments
- Fast and accurate neural triage decoding of ultra-high-rate quantum LDPC codes
Hong-Ye Hu, Zhenlai Wang, Binzhao Luo, Tao Xiang, Chen Zhao
arXivSource: arxiv.orgOct 29, 2026quant-phscore 2
- Claude computes a nine-loop amplitude in N=4 super-Yang-Mills
Anthropic
Anthropic ScienceSource: anthropic.comSep 25, 2026hep-thscore 0 · 🔥 3 posts
- The periodic spin-one Haldane gap
OpenAI
OpenAI MathSource: github.comSep 24, 2026math.MPAI-generatedscore 0 · 🔥 5 posts · 1 comments
- A counterexample to Tachikawa's second conjecture
OpenAI
OpenAI MathSource: github.comSep 23, 2026math.RAAI-generatedLeanscore 0 · 🔥 2 posts
- An explicit counterexample to the Auslander-Reiten conjecture
OpenAI
OpenAI MathSource: github.comSep 23, 2026math.RAAI-generatedLeanscore 0 · 🔥 2 posts
- Truly Subquadratic 3SUM and Truly Subcubic APSP: a Lean 4 formalization
anthropics
Lean projectSource: github.comAug 6, 2026cs.DSLeanscore 1 · 🔥 2 posts
- A Note On Lattice Definition of Gauge Theories With Chiral Fermions
Edward Witten
arXivSource: arxiv.orgNov 3, 2026hep-latscore 1
- Universal dynamics of quantum phase transitions with fractional long-range interactions
Andraás Grabarits, Lincoln D. Carr, Adolfo del Campo
arXivSource: arxiv.orgNov 3, 2026quant-phscore 1
- Conditional stopping guarantees for a folded parametrization of reduced Stokes vectors
Hiroyasu Usami, Ayato Tsuboi, Keisuke Hara
arXivSource: arxiv.orgNov 2, 2026physics.opticsscore 1
- Quantum 6j-symbols arising from a subfactor of finite index and finite depth and the zipper condition for 4-tensors in two-dimensional topological order
Yasuyuki Kawahigashi
arXivSource: arxiv.orgNov 2, 2026math-phscore 1
- Spin SYK-dot chains: entanglement bound and resource estimates towards a quantum advantage
Sayantan Dey, Abel Carreras, Siddhartha Patra
arXivSource: arxiv.orgNov 2, 2026quant-phscore 1
- A Proof of Petz's Conjecture on the Scalar Curvature of the Kubo–Mori Metric
Suvrit Sra
HexagonSource: hexagonmath.orgNov 2, 2026math.FAAI-generatedscore 1
- Tensor Contraction with ZX Calculus, a Graph-Theoretic Approach
Yuhao Han
arXivSource: arxiv.orgNov 1, 2026quant-phscore 1
- Real-time BP decoding of a high-rate QEC code
Andreas Kell, Daniel Herr, Daniel Bascones García, Alexandru Paler, Davide Orsucci, Francisco Lázaro, Francisco García Herrero
arXivSource: arxiv.orgOct 30, 2026quant-phscore 1
- Bounding Fidelity of Non-Stabilizer States from Local Pauli Measurements
Yi Li, Otfried Gühne, Qiongyi He
arXivSource: arxiv.orgOct 30, 2026quant-phscore 1
- Conditional Information Flow and Neural Representability of One-Dimensional Rotated Cluster States
Ziqi Xu
arXivSource: arxiv.orgOct 29, 2026quant-phscore 1
- Optimal Linear Combination of Hamiltonian Simulation for Dissipative Dynamics
Hongkang Ni, Lexing Ying
arXivSource: arxiv.orgOct 29, 2026quant-phscore 1
- Probabilistic imaginary-time evolution via compiled diagonal representations
Hengyue Li, Huazhe Lou, Yang Li, Mingyu Huang, Yusheng Yang, Jianyong Sheng, Jian Sun, Shenggang Ying
arXivSource: arxiv.orgOct 29, 2026quant-phscore 1
- Subsystem Spacetime Code
Esther Xiaozhen Fu, Aranya Chakraborty, Daniel Gottesman
arXivSource: arxiv.orgOct 29, 2026quant-phscore 1
- Rapid mixing for Gibbs samplers for quantum spin systems with all-to-all interactions
Nicola Bertoni, Giacomo De Palma
arXivSource: arxiv.orgOct 29, 2026quant-phscore 1
- Beyond Selected Breakthroughs: Evaluating Language Models on Randomly Sampled Mathematical Conjectures
Helen Jenne, Davis Brown, Jesse He, Henry Kvinge
arXivSource: arxiv.orgOct 29, 2026cs.AIscore 1
- Collaborative AI agents for autonomous experimental research with solid-state quantum spins
El Mustapha Mansouri, Eikichi Kimura, Masato Koga, Keigo Arai
arXivSource: arxiv.orgOct 29, 2026cs.AIscore 1
- Toric codes all the way down: decoupling translation-invariant topological CSS codes in higher dimensions
Mingxin He, Yifei Wang, Hao Song, Yingfei Gu
arXivSource: arxiv.orgOct 29, 2026quant-phscore 1
- Locality in Dissipative Ground-State Preparation
Qicheng Tang, Ruhanshi Barad, Xueda Wen
arXivSource: arxiv.orgOct 29, 2026quant-phscore 1
- Maximally-Matched Mixture Decoding for Correlated Atom Loss in Quantum LDPC Codes
Jacob W. Murri
arXivSource: arxiv.orgOct 28, 2026quant-phscore 1
- Local smoothing for the Euclidean wave equation
OpenAI
OpenAI MathSource: github.comOct 25, 2026math.CAAI-generatedLeanscore 0 · 🔥 3 posts
- Mixed State Deep Thermalization under Generic Quantum Errors
Xie-Hang Yu, Pavel Kos
arXivSource: arxiv.orgOct 22, 2026quant-phscore 1 · 3 comments · cited in comments by 1
- Linchpin Theorems
Thomas Hales
HexagonSource: hexagonmath.orgOct 16, 2026math.GMAI-generatedscore 1
- Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank
OpenAI
OpenAI MathSource: github.comOct 7, 2026math.NTAI-generatedscore 0 · 🔥 4 posts
- Goldfeld's analytic density conjecture and the 2-converse for elliptic curves
OpenAI
OpenAI MathSource: github.comOct 7, 2026math.NTAI-generatedscore 0 · 🔥 1 post
- Milne's rationality conjecture for abelian varieties
OpenAI
OpenAI MathSource: github.comOct 7, 2026math.NTAI-generatedscore 0 · 🔥 1 post
- The Selmer converse for elliptic curves at every prime
OpenAI
OpenAI MathSource: github.comOct 7, 2026math.NTAI-generatedscore 0 · 🔥 2 posts
- Hilbert’s tenth problem over the rational numbers
OpenAI
OpenAI MathSource: github.comOct 6, 2026math.NTAI-generatedscore 0 · 🔥 5 posts
- The p-adic section conjecture
OpenAI
OpenAI MathSource: github.comOct 6, 2026math.NTAI-generatedscore 0 · 🔥 1 post
- The two-primary Birch–Swinnerton-Dyer formula in Selmer corank at most one
OpenAI
OpenAI MathSource: github.comOct 6, 2026math.NTAI-generatedscore 0 · 🔥 3 posts
- Positive eigenvalues of the relative SU(2) BFSS Hamiltonian
OpenAI
OpenAI MathSource: github.comOct 5, 2026math.MPAI-generatedscore 0 · 🔥 1 post
- The Quasi-Riemann Hypothesis (alternate 11/12 proof)
OpenAI
OpenAI MathSource: github.comOct 5, 2026math.NTAI-generatedscore 0 · 🔥 11 posts
- An Upper Bound of 9/4 for the Matrix Multiplication Exponent
OpenAI
OpenAI MathSource: github.comOct 2, 2026cs.CCAI-generatedLeanscore 0 · 🔥 11 posts
- Uniform exclusion of Landau–Siegel zeros
OpenAI
OpenAI MathSource: github.comOct 1, 2026math.NTAI-generatedLeanscore 0 · 🔥 14 posts
- The Quasi-Riemann Hypothesis: A Zero-Free Half-Plane $\Re s\gt 7/8$
OpenAI
OpenAI MathSource: github.comSep 30, 2026math.NTAI-generatedLeanscore 1 · 🔥 25 posts
- Scale and conformal symmetry in four-dimensional operational quantum field theory
OpenAI
OpenAI MathSource: github.comSep 26, 2026math.MPAI-generatedscore 0 · 🔥 1 post
- Parity lifts and bounded-treewidth witnesses for Weisfeiler–Leman equivalence
OpenAI
OpenAI MathSource: github.comSep 25, 2026cs.CCAI-generatedscore 0 · 🔥 1 post
- Unconditional time lower bounds for Weisfeiler–Leman equivalence
OpenAI
OpenAI MathSource: github.comSep 25, 2026cs.CCAI-generatedscore 0 · 🔥 1 post
- Variable-dimension Weisfeiler–Leman equivalence on general and subcubic graphs
OpenAI
OpenAI MathSource: github.comSep 25, 2026cs.CCAI-generatedscore 0 · 🔥 1 post