Source ledger
References
918 bibliography records ground the catalog in original papers, established surveys and monographs, institutional problem lists, and formal-proof archives.
Complete bibliography
918 records
- Carmesin2026CDCOpen source ↗
The cycle double cover theorem
Johannes Carmesin · 2026 · online
- SilvaAlvarado2026BalanceClaimOpen source ↗
Causal Flow Equations and the 1/3–2/3 Conjecture: Exact Resolution for Low Bottleneck Count
Juan Pablo Silva Alvarado · 2026 · misc
Current narrowed version under concept DOI 10.5281/zenodo.18985093; the case of four or more bottlenecks is left open
- SilvaAlvarado2026BalanceFullClaimOpen source ↗
The 1/3–2/3 Poset Conjecture: Proof via Bottleneck Dichotomy and Order Polytope Geometry
Juan Pablo Silva Alvarado · 2026 · misc
Superseded first version; its advertised full theorem is conditional on an unproved Stanley Geometric Identity axiom
- Hintz2026KerrOpen source ↗
Nonlinear stability of subextremal Kerr black holes
Peter Hintz · 2026 · misc
- Hintz2026ConstraintDampingOpen source ↗
Constraint damping for the Einstein equations in the full subextremal Kerr range
Peter Hintz · 2026 · misc
- Hintz2026WavesIIOpen source ↗
(Non-)Linear waves on asymptotically Kerr spacetimes. II: Tame forward estimates
Peter Hintz · 2026 · misc
- KlartagLehec2025ThinShellOpen source ↗
Thin-shell bounds via parallel coupling
Boaz Klartag and Joseph Lehec · 2025 · misc
- ChenKlartag2026ThinShellOpen source ↗
Digesting the proof of the sharp thin-shell inequality
Yuansi Chen and Boaz Klartag · 2026 · misc
- RiosSawyer2025ParaboloidClaimOpen source ↗
Disjoint multilinear discrete characterizations of the Fourier extension conjecture
Cristian Rios and Eric T. Sawyer · 2026 · misc
Version 8 explicitly retracts the earlier full-proof claim because of an uncontrolled error term
- Xu2025SpacetimePenroseClaimOpen source ↗
The Spacetime Penrose Inequality: Conditional Results for Stable MOTS and General Trapped Surfaces
Da Xu · 2025 · misc
Current version 5 supersedes the unconditional version 1 claim
- Ellithy2026PenrosePartialOpen source ↗
The spacetime Penrose inequality under a quasi final state hypothesis
Ahmed Ellithy · 2026 · misc
- GuilfoyleKlingenberg2025CaratheodoryOpen source ↗
The three obdurate conjectures of differential geometry
Brendan Guilfoyle and Wilhelm Klingenberg · 2025 · misc
- GuilfoyleKlingenberg2008CaratheodoryOpen source ↗
Proof of the Caratheodory Conjecture
Brendan Guilfoyle and Wilhelm Klingenberg · 2008 · misc
Version 4, October 2024, claims the theorem for -smooth surfaces
- Mochizuki2021IUTIVOpen source ↗
Inter-universal Teichmüller theory IV: Log-volume computations and set-theoretic foundations
Shinichi Mochizuki · 2021 · article
- ScholzeStix2018ABCOpen source ↗
Why abc is still a conjecture
Peter Scholze and Jakob Stix · 2018 · misc
- LANA2026IUTOpen source ↗
Project LANA Interim Report on IUT Theory
Project LANA · 2026 · online
- HolmesWilshaw2026NFOpen source ↗
New Foundations is consistent
Randall Holmes and Sky Wilshaw · 2026 · misc
- ConNFLean2026Open source ↗
New Foundations is consistent: formalization and blueprint
Lean Prover Community · 2026 · online
- McCallum2026ReinhardtOpen source ↗
Inconsistency of Reinhardt cardinals with ZF
Rupert McCallum · 2026 · misc
- HuqKuruvilla2026Char2Open source ↗
An explicit characteristic-2 counterexample to the separable Jacobian conjecture
Irit Huq-Kuruvilla · 2026 · misc
- MengYang2026HessianOpen source ↗
A five-variable counterexample to the Hessian conjecture, and the low-dimensional status of the Jacobian and Hessian conjectures
Guowu Meng and Liang Yang · 2026 · misc
- OpenAI2026TenAdvancesOpen source ↗
Ten advances in mathematics
OpenAI · 2026 · online
Announcement page; the bundled 249-page manuscript is at \urlhttps://cdn.openai.com/pdf/ten-proofs-oai.pdf
- Masser1985ABC
Open Problems
David W. Masser · 1985 · misc
- Granville1998ABCOpen source ↗
ABC Allows Us to Count Squarefrees
Andrew Granville · 1998 · article
- Weiss2000Sofic
Sofic Groups and Dynamical Systems
Benjamin Weiss · 2000 · article
- Pestov2008SoficHyperlinearOpen source ↗
Hyperlinear and Sofic Groups: A Brief Guide
Vladimir G. Pestov · 2008 · article
- HeilRamanathanTopiwala1996HRTOpen source ↗
Linear Independence of Time-Frequency Translates
Christopher Heil and Jayakumar Ramanathan and Pankaj Topiwala · 1996 · article
- GuanOkoudjou2026HRTOpen source ↗
The HRT Conjecture for Symmetric Configurations and Real-Valued Functions
Shuang Guan and Kasso A. Okoudjou · 2026 · misc
- Radulescu2008HyperlinearOpen source ↗
The von Neumann Algebra of the Non-Residuated Baumslag Group
Florin R\uadulescu · 2008 · article
- Popa2007DeformationRigidity
Deformation and Rigidity for Group Actions and von Neumann Algebras
Sorin Popa · 2007 · inproceedings
- Connes1982ClassificationOpen source ↗
Classification des facteurs
Alain Connes · 1982 · misc
- CleveEtAl2004NonlocalGamesOpen source ↗
Consequences and Limits of Nonlocal Strategies
Richard Cleve and Peter H\o yer and Ben Toner and John Watrous · 2004 · inproceedings
- Yuen2016ParallelRepetitionOpen source ↗
A Parallel Repetition Theorem for All Entangled Games
Henry Yuen · 2016 · inproceedings
- BavarianVidickYuen2017AnchoredOpen source ↗
Anchoring Games for Parallel Repetition
Mohammad Bavarian and Thomas Vidick and Henry Yuen · 2017 · inproceedings
- DinurEtAl2003CVPOpen source ↗
Approximating CVP to Within Almost-Polynomial Factors is NP-Hard
Irit Dinur and Guy Kindler and Ran Raz and Shmuel Safra · 2003 · article
- Ehrhart1964Volume
Une g\'en\'eralisation probable du th\'eor\`eme fondamental de Minkowski
Eug\`ene Ehrhart · 1964 · article
- NillPaffenholz2014EhrhartOpen source ↗
On the Equality Case in Ehrhart's Volume Conjecture
Benjamin Nill and Andreas Paffenholz · 2014 · article
- ErdosSimonovits1982CompactnessOpen source ↗
Compactness Results in Extremal Graph Theory
Paul Erd\Hos and Mikl\'os Simonovits · 1982 · article
- FurediSimonovits2013DegenerateOpen source ↗
The History of Degenerate (Bipartite) Extremal Graph Problems
Zolt\'an F\"uredi and Mikl\'os Simonovits · 2013 · article
- KabatianskyLevenshtein1978Bounds
Bounds for Packings on a Sphere and in Space
Grigory A. Kabatiansky and Vladimir I. Levenshtein · 1978 · article
- Shannon1959SpherePackingOpen source ↗
Probability of Error for Optimal Codes in a Gaussian Channel
Claude E. Shannon · 1959 · article
- Grimmett1999PercolationOpen source ↗
Percolation
Geoffrey Grimmett · 1999 · book
- KozmaNitzan2024CriticalPercolationOpen source ↗
A Reduction of the Problem to a Conjectured Inequality
Gady Kozma and Shahaf Nitzan · 2024 · misc
- DaskalakisEtAl2009NashOpen source ↗
The Complexity of Computing a Nash Equilibrium
Constantinos Daskalakis and Paul W. Goldberg and Christos H. Papadimitriou · 2009 · article
- Papadimitriou1994PPADOpen source ↗
On the Complexity of the Parity Argument and Other Inefficient Proofs of Existence
Christos H. Papadimitriou · 1994 · article
- BravermanEtAl2017LiLiOpen source ↗
From Information to Exact Communication
Mark Braverman and Ankit Garg and Ariel Schvartzman · 2017 · inproceedings
- LiLi2004NetworkCoding
Network Coding: The Case of Multiple Unicast Sessions
Zongpeng Li and Baochun Li · 2004 · article
- Gottschalk1973Surjunctive
Some General Dynamical Notions
Walter Gottschalk · 1973 · article