- The Quasi-Riemann Hypothesis: A Zero-Free Half-Plane $\Re s\gt 7/8$
OpenAI
OpenAI MathSep 30, 2026math.NTAI-generatedLeanscore 1 · 🔥 16 posts
- On the Navier–Stokes Millennium Prize Problem
Web pageOct 24, 2026score 0 · 🔥 13 posts
- The irrationality exponent of pi is 2
OpenAI
OpenAI MathSep 24, 2026math.NTAI-generatedscore 0 · 🔥 2 posts
- Thompson's group F is nonamenable
OpenAI
OpenAI MathSep 23, 2026math.GRAI-generatedLeanscore 0 · 🔥 5 posts
- The TEMPO network can be made independent of the system size
Valentin Link
arXivOct 27, 2026quant-phscore 1
- Sublinear thermal state and ground state preparation for free fermions via system-bath interaction
Zhiyan Ding, Lin Lin, Ke Wang
arXivOct 26, 2026quant-phscore 1
- Fast and accurate rare-event simulation by Markov chain Monte Carlo for general quantum codes
Junichi Haruna, Kotaro Murakami
arXivOct 26, 2026quant-phscore 1
- Decoding with alternating weighted graph sparsification for quantum low-density parity-check codes
Josu Etxezarreta Martinez, Francisco Garcia-Herrero, Ruben M. Otxoa, Reza Dastbasteh
arXivOct 26, 2026quant-phscore 1
- Complete entropy contraction from conditional hyperboundedness
Li Gao, Lijun Wang
arXivOct 26, 2026quant-phscore 1
- Initial-State Preparation for Strongly Correlated Molecules from Matrix Product States: Benchmarking and Environment-Aware Divide-and-Conquer Compilation
Haiqi Liu, Longfei Chang, Zhendong Li, Wei-Hai Fang
arXivOct 24, 2026quant-phscore 1
- Designing more efficient quantum circuits with Claude
Anthropic
Anthropic ScienceOct 16, 2026quant-phscore 1 · 1 comments
- Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank
OpenAI
OpenAI MathOct 7, 2026math.NTAI-generatedscore 0 · 🔥 1 post
- Fontaine–Mazur modularity at the prime 2
OpenAI
OpenAI MathOct 6, 2026math.NTAI-generatedscore 0 · 🔥 1 post
- Hilbert’s tenth problem over the rational numbers
OpenAI
OpenAI MathOct 6, 2026math.NTAI-generatedscore 0 · 🔥 3 posts
- The Quasi-Riemann Hypothesis (alternate 11/12 proof)
OpenAI
OpenAI MathOct 5, 2026math.NTAI-generatedscore 0 · 🔥 6 posts
- Modularity of elliptic curves over imaginary quadratic fields
OpenAI
OpenAI MathOct 4, 2026math.NTAI-generatedscore 0 · 🔥 1 post
- Primitive roots for every admissible integer base
OpenAI
OpenAI MathOct 4, 2026math.NTAI-generatedscore 0 · 🔥 1 post
- Catalan's constant is irrational
OpenAI
OpenAI MathSep 24, 2026math.NTAI-generatedscore 0 · 🔥 1 post
- The Partition Principle does not imply Choice
OpenAI
OpenAI MathSep 24, 2026math.LOAI-generatedLeanscore 0 · 🔥 1 post
- Uniform bounds for planar polynomial limit cycles
OpenAI
OpenAI MathSep 24, 2026math.DSAI-generatedscore 0 · 🔥 1 post
- A translational tile with no fully periodic tiling in dimension three
OpenAI
OpenAI MathSep 23, 2026math.COAI-generatedLeanscore 0 · 🔥 2 posts
- Integer multiplication below n log n
OpenAI
OpenAI MathSep 23, 2026cs.CCAI-generatedscore 0 · 🔥 3 posts
- The Euclidean plane is not five-colorable
OpenAI
OpenAI MathSep 23, 2026math.COAI-generatedLeanscore 0 · 🔥 3 posts
- Fermat's Last Theorem in Lean 4
Anthropic
Lean projectSep 4, 2026math.NTAI-generatedLeanscore 1
- Beyond transversality: structure of Clifford circuits for CSS codes
Victor V. Albert
agenticpapers.appAug 7, 2026quant-phscore 1 · 1 comments
- Truly Subquadratic 3SUM and Truly Subcubic APSP: a Lean 4 formalization
anthropics
Lean projectAug 6, 2026cs.DSLeanscore 1
- Zeta23 — more than two thirds of the zeta zeros are simple and on the critical line
Claude
Lean projectAug 6, 2026math.NTAI-generatedLeanscore 1
- Long-running Claude for scientific computing
Anthropic
Anthropic ScienceMar 23, 2026astro-ph.COscore 1 · 1 comments
- Affine profile reduction for fractional triangle packings in split graphs
Juan Pablo Traverso Gianini
Palomar RegistryOct 29, 2026math.COmachine-checkedscore 0
- Generic strongly transitive sequences in weakly mixing Polish systems
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 29, 2026math.DSmachine-checkedscore 0
- Self-similar counterexamples to three conjectures of Lorentz
Yimin Zhong
Palomar RegistryOct 29, 2026math.CAmachine-checkedscore 0
- Linked-site block laws of all lengths identify the collapsed mutation-scaled genealogy
X. Lee, N. Volkov
Palomar RegistryOct 29, 2026q-bio.PEmachine-checkedscore 0
- Complete-split extremizers for the fractional triangle-cover deficit on chordal graphs
Juan Pablo Traverso Gianini
Palomar RegistryOct 29, 2026math.COmachine-checkedscore 0
- Formalizing Delcourt–Postle’s refined absorption in Lean
Juan Pablo Traverso Gianini
Palomar RegistryOct 29, 2026math.COmachine-checkedscore 0
- Linear-error clique partitions of split graphs
Juan Pablo Traverso Gianini
Palomar RegistryOct 29, 2026math.COmachine-checkedscore 0
- The Corrádi–Hajnal theorem on vertex-disjoint cycles
Juan Pablo Traverso Gianini
Palomar RegistryOct 29, 2026math.COmachine-checkedscore 0
- The Moser–Tardos theorem (algorithmic Lovász Local Lemma)
Juan Pablo Traverso Gianini
Palomar RegistryOct 29, 2026math.COmachine-checkedscore 0
- A kernel-checked implementation of the biallelic two-locus sampling recursion, and a table checker
X. Lee, N. Volkov
Palomar RegistryOct 29, 2026q-bio.PEmachine-checkedscore 0
- A prespecified betting test of panmixia against a two-deme history: size and power
X. Lee, N. Volkov
Palomar RegistryOct 29, 2026q-bio.PEmachine-checkedscore 0
- Serre’s conjecture on the Artin character for a regular local ring
Mark Kisin
HexagonOct 28, 2026math.AGAI-generatedscore 0
- Do Self-Improving Coding Agents Beat Textbook Baselines? Evidence from a Darwin Gödel Machine Port and Two Published Systems
Tejasvi Singh Tomar
HexagonOct 28, 2026cs.AIAI-generatedscore 0
- The Hilton–Milner theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 28, 2026math.COmachine-checkedscore 0
- CONDITIONAL on RH and cited zero counts: Goldbach numbers in intervals of length 4.45 log^2 x
Steve Hubbard
Palomar RegistryOct 28, 2026math.NTmachine-checkedscore 0
- Kirkman's theorem on Steiner triple systems
Juan Pablo Traverso Gianini
Palomar RegistryOct 28, 2026math.COmachine-checkedscore 0
- Nash-Williams' weak orientation theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 28, 2026math.COmachine-checkedscore 0
- Edmonds cardinality matroid intersection
Juan Pablo Traverso Gianini
Palomar RegistryOct 28, 2026math.COmachine-checkedscore 0
- Knaster–Reichbach homeomorphism extension on Cantor space
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 28, 2026math.GNmachine-checkedscore 0
- Cantor dynamical extension with a dense forward orbit
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 28, 2026math.GNmachine-checkedscore 0
- Finite-Lp vorticity nonuniqueness for two-dimensional Euler
Tao Tao, Haiqi Zhang
Palomar RegistryOct 28, 2026math.APmachine-checkedscore 0
- Stanley's acyclic orientations and chromatic reciprocity
Juan Pablo Traverso Gianini
Palomar RegistryOct 28, 2026math.COmachine-checkedscore 0