Claimed, not yet checked
These results are claimed in a paper but no formal proof is listed, so they rest on the written argument until experts or a proof checker confirm them.
130 AI-made results with this trust label, from 244 papers in the OpenAI math collection, each explained in plain English. None has a formal proof listed yet; all are claimed in a paper. They span 16 fields, led by algebraic and complex geometry (28), topology (15) and differential geometry (14). The oldest question here dates back to 1902: The Hilbert–Smith conjecture in every dimension. Results rated Landmark include The full BSD formula from low Selmer corank and Hilbert’s tenth problem over ℚ.
Number theory14
-
Milne’s rationality conjecture and algebraic specialization
Proves Milne's rationality conjecture for abelian varieties over with good reduction: specialized Hodge classes pair rationally with complementary divisor products, independently of cohomology theory. Together with result 032, every specialized Hodge class is represented by a single rational algebraic cycle simultaneously in all prime-to-p and crystalline realizations, for every residue characteristic p.
Claimed, not checked -
The full BSD formula from low Selmer corank
Proves the full Birch–Swinnerton-Dyer leading-term formula for every elliptic curve over ℚ whose full q-power Selmer group has corank zero or one for some prime q, including finiteness of the Tate–Shafarevich group. With result 006, this gives full BSD for a density-one set of quadratic twists of every elliptic curve over ℚ.
Claimed, not checked -
Hilbert’s tenth problem over ℚ
Proves that no algorithm decides whether an integer-coefficient polynomial in an arbitrary number of variables has a rational zero, resolving Hilbert's tenth problem over ℚ negatively.
Claimed, not checked -
Goldfeld’s conjecture: densities and mean analytic rank
Proves Goldfeld's conjecture for quadratic twists of every elliptic curve over ℚ: analytic ranks zero and one each have density 1/2, and the mean analytic rank tends to 1/2. Both statements order signed squarefree twist parameters by absolute value.
Claimed, not checked -
Unrestricted pro-modularity at the prime two
Every continuous odd absolutely irreducible two-dimensional 2-adic representation of unramified outside finitely many primes occurs in a completed Hecke algebra at some odd tame level. Also proves classical modularity up to Tate twist for irreducible odd representations with these finiteness conditions that are de Rham at 2 with distinct Hodge–Tate weights, resolving the dyadic Fontaine–Mazur case without residual restrictions.
Claimed, not checked -
Prime-factor statistics of
Proves that the normalized ordered logarithms of the prime factors of , counted with multiplicity, converge jointly to the Poisson–Dirichlet law as p ranges uniformly over primes up to x and . This resolves the Ford–Konyagin–Luca conjecture. It also proves that infinitely many integers n have more than totient preimages, for every ε > 0.
Claimed, not checked -
Restricted geometric Langlands, global Arthur enhancements, and generic Ramanujan
Proves the restricted geometric Langlands equivalence for connected reductive groups on smooth projective connected curves over under the four stated Lie-theoretic characteristic hypotheses. Over arbitrary algebraically closed fields of characteristic p > 0, the same conclusion holds assuming additionally that p is very good for the group and . Over global function fields, proves Ramanujan at every place for globally generic cuspidal representations of split adjoint absolutely simple exceptional groups, without characteristic or ramification-depth restrictions, and at every unramified place for cuspidal representations of split adjoint absolutely simple groups with a generic unramified component. Assuming the finite-level Ramanujan–Arthur decomposition, constructs global Arthur enhancements of occurring cuspidal excursion parameters for split connected semisimple groups at full finite level, recovering the given parameters by diagonal specialization on the entire Weil group, including inertia.
Claimed, not checked -
Zilber–Pink in abelian varieties and the Siegel threefold
Proves the abelian Zilber–Pink conjecture over : every irreducible subvariety has finitely many maximal atypical subvarieties relative to its smallest containing torsion coset. It also proves the full curve case in the Siegel threefold for Hodge-generic curves defined over , without boundary or reduction assumptions.
Claimed, not checked -
The Margulis–Platonov conjecture over global fields
Proves the Margulis–Platonov conjecture over every global field, including function fields of characteristic two. For an absolutely almost simple simply connected algebraic group G over k, every noncentral abstract normal subgroup of is the inverse image of an open normal subgroup in the finite product of its anisotropic nonarchimedean local groups.
Claimed, not checked -
The local p-adic section conjecture and global consequences
Proves that rational points on every smooth proper geometrically connected curve of genus at least two over a finite extension of ℚp correspond bijectively to conjugacy classes of sections of its full arithmetic étale fundamental group. It also proves Grothendieck's section conjecture over ℚ for the modular curves and of genus at least two.
Claimed, not checked -
The weak inhomogeneous Duffin–Schaeffer conjecture
Proves that for every real shift γ and finite-valued , divergence of implies for infinitely many q, for almost every x. Here ϕ is Euler's totient and the norm is distance to the nearest integer. Numerators are unrestricted; no monotonicity or Diophantine condition on γ is needed.
Claimed, not checked -
Primitive roots for every admissible integer base
Proves the infinitude assertion in Artin's primitive root conjecture for every integer a that is neither −1 nor a square. For each such base, at least primes in every sufficiently large interval have primitive root a, with .
Claimed, not checked -
Modularity of elliptic curves over imaginary quadratic fields
Proves the modularity conjecture for elliptic curves over imaginary quadratic fields: every elliptic curve over every imaginary quadratic field is modular, with matching local parameters at every place.
Claimed, not checked -
Uchida’s conjecture for open homomorphisms of Galois groups
Proves Uchida's conjecture: every continuous open homomorphism between Galois groups of possibly infinite solvably closed Galois extensions of number fields comes from a unique equivariant field embedding in the opposite direction. No restriction on the kernel or separate cyclotomic-compatibility assumption is needed.
Claimed, not checked
Algebraic and complex geometry28
-
The rational Hodge conjecture for CM abelian varieties
Proves the rational Hodge conjecture for every complex CM abelian variety, in every dimension and codimension. Through Milne's theorems, this also gives the Tate conjecture for all abelian varieties over finite fields and the Hodge standard conjecture for abelian varieties in every characteristic.
Claimed, not checked -
Log abundance for compact Kähler spaces under logarithmic Iitaka subadditivity
Using logarithmic Iitaka subadditivity, proves log abundance in every dimension for normal compact Kähler log canonical pairs with effective rational boundary: an analytically nef ℚ-Cartier adjoint is semiample. It also proves projective log abundance over every algebraically closed field of characteristic zero and the effective Iitaka fibration conjecture for smooth projective varieties of nonnegative Kodaira dimension in that setting. A further result resolves the finite-rational-coefficient index conjecture for connected projective semi-log-canonical log Calabi–Yau pairs over such fields in each fixed dimension and for each fixed finite set of rational boundary coefficients, with a uniform index independent of the number of components.
Claimed, not checked -
Log-canonical threefold abundance in numerical dimension one
Proves log abundance for projective log canonical threefold pairs over algebraically closed fields of characteristic p > 3 when the effective boundary is rational and the ℚ-Cartier adjoint is nef of numerical dimension one. The adjoint is semiample, without requiring the original variety to be terminal or ℚ-factorial.
Claimed, not checked -
Numerical semiampleness and generalized minimal models
Proves numerical semiampleness for nef adjoints with pseudo-effective and M nef rational, for projective klt rational pairs over algebraically closed characteristic-zero fields and smooth compact Kähler rational klt simple-normal-crossing pairs, using Bott–Chern cohomology in the latter case. Separately, projective generalized log canonical rational pairs over such fields admit minimal models for pseudo-effective adjoints and Mori fiber spaces otherwise, with nef b-data fixed.
Claimed, not checked -
The ordinary-double-point volume gap
Proves the ordinary-double-point volume-gap conjecture: every singular complex algebraic klt germ of dimension n ≥ 2, with zero boundary, has normalized volume at most . Equality holds precisely for an analytic ordinary double point.
Claimed, not checked -
Fujita’s freeness conjecture
Proves Fujita's freeness conjecture at its sharp bound in every dimension: for a smooth projective complex variety X of dimension n and an ample line bundle L, the adjoint is globally generated for every integer .
Claimed, not checked -
Bloch’s conjecture for complex surfaces
Proves Bloch's conjecture: for every smooth connected projective complex surface S with , the Albanese map on integral degree-zero zero-cycles is an isomorphism. This combines the new theorem with the classical theorem of Bloch, Kas, and Lieberman.
Claimed, not checked -
Hyperkähler SYZ and projective-space bases
Proves the strong hyperkähler SYZ conjecture: every holomorphic line bundle with nonzero nef isotropic first Chern class on a compact irreducible holomorphic symplectic Kähler manifold is semiample. It also proves that every projective Lagrangian fibration with normal projective base has projective space as its base, in every dimension and deformation type.
Claimed, not checked -
Oka classification for minimal compact complex surfaces: Kodaira dimension zero and class VII
Proves that every complex K3 surface is Oka, including nonprojective surfaces. More generally, every connected minimal compact complex surface of Kodaira dimension zero is Oka; a connected minimal compact complex surface of class VII is Oka exactly when it is a Hopf or Enoki surface.
Claimed, not checked -
P = W for fixed-determinant SLn moduli spaces
Proves on the full rational cohomology of smooth coprime fixed-determinant, trace-free Higgs moduli spaces and their character varieties for composite ranks over smooth projective complex curves of genus at least two. This includes variant cohomology and, together with the known prime-rank theorems, establishes the fixed-determinant P = W conjecture in every coprime rank.
Claimed, not checked -
The equivariant cohomological Hikita conjecture
Proves the equivariant cohomological Hikita correspondence for every finite quiver, including loops and multiple arrows, with arbitrary dimension and framing vectors and commuting flavor torus. When every semistable point is stable and the gauge action is free, the equivariant cohomology of the Nakajima variety is canonically the coordinate ring of the scheme-theoretic cocharacter-fixed locus of its flavor-deformed Coulomb branch.
Claimed, not checked -
Shafarevich counterexamples in dimension two and with large fundamental group
Constructs a smooth projective complex fourfold with large fundamental group whose universal cover contains no positive-dimensional compact analytic subvariety but is neither Stein nor holomorphically convex. A separate smooth projective complex surface already disproves unrestricted Shafarevich holomorphic convexity in dimension two.
Claimed, not checked -
A characteristic-zero counterexample to Lipman–Zariski
Constructs a singular normal affine complex surface with free rank-two tangent sheaf, disproving the characteristic-zero Lipman–Zariski conjecture.
Claimed, not checked -
Kobayashi’s canonical-ampleness conjecture
Every compact connected Kähler manifold of positive complex dimension with no nonconstant entire curve has ample canonical bundle and is therefore projective. This proves Kobayashi's canonical-ampleness conjecture in the smooth compact Kähler setting.
Claimed, not checked -
A counterexample to Pixton completeness in Chow
Constructs a tautological relation on a moduli space of stable pointed curves that vanishes in rational Chow, hence in rational cohomology, but lies outside Pixton's original relation span. This disproves the Chow and rational-cohomological forms of his original completeness conjecture.
Claimed, not checked -
Irrational cubic fourfolds with Hodge-theoretic and categorical K3 associations
For every sufficiently large admissible Hassett discriminant, a very general smooth complex cubic fourfold is irrational despite having both an untwisted geometric K3 category and an integral Hodge-theoretic K3 association. This disproves Kuznetsov's rationality conjecture and the sufficiency of the associated-K3 criterion for rationality; the discriminant threshold is ineffective.
Claimed, not checked -
Gepner symmetry and large-volume stability on threefolds
Proves Toda's Gepner conjecture for every smooth complex quintic threefold, constructing a numerical Bridgeland stability condition with the prescribed phase shift 2/5. Also constructs numerical Bridgeland stability conditions at every sufficiently large volume on all smooth projective complex threefolds with trivial canonical bundle, with the exact ordinary and square-root-Todd central charges.
Claimed, not checked -
Termination of projective and Kähler fourfold minimal model programs
Proves termination of every existing generalized log canonical flip sequence on globally Weil ℚ-factorial compact Kähler fourfolds, with rational boundary, fixed rational analytically nef b-data, and projective small flip diagrams with the prescribed ample signs. Also proves termination of arbitrary permitted minimal model programs for projective log canonical fourfolds with rational boundary in characteristic zero.
Claimed, not checked -
Fundamental groups of special complex varieties and root orbifolds
Proves Campana's abelianity conjecture: special compact Kähler manifolds have virtually abelian fundamental groups. Using this theorem, establishes the same conclusion for order-two root orbifolds of smooth projective complex fourfolds along one nonempty smooth connected divisor, when special in the stated differential-line sense. For smooth special complex quasi-projective varieties, proves that every finite-dimensional complex linear representation of the fundamental group has virtually nilpotent image of class at most two.
Claimed, not checked -
Counterexamples to Zariski’s multiplicity conjecture
Disproves Zariski's multiplicity conjecture by constructing reduced holomorphic hypersurface germs that are ambiently homeomorphic but have different multiplicities. The examples include hypersurfaces in ℂ4 with isolated critical points and multiplicities four and five.
Claimed, not checked -
The Global Spherical Shell conjecture
Every connected minimal compact complex surface of class VII with contains a global spherical shell, proving the positive-b2 Global Spherical Shell conjecture. Such a shell is a holomorphically embedded neighborhood of the standard three-sphere in whose complement is connected.
Claimed, not checked -
Projective contact classification and the LeBrun–Salamon conjecture
Proves the LeBrun–Salamon conjecture: every closed connected positive quaternionic-Kähler manifold of real dimension at least eight is homothetic to a compact symmetric Wolf space. It also proves contact-Fano homogeneity and classifies smooth connected complex projective contact manifolds of complex dimension at least three: those with are adjoint varieties with their canonical contact structures, while those with have underlying manifold for a smooth projective variety Z.
Claimed, not checked -
The generalized Mukai conjecture
Proves the generalized Mukai conjecture: every positive-dimensional smooth complex projective Fano manifold of dimension n, Picard number ρ and pseudoindex ι satisfies , with equality exactly for . Here the pseudoindex is the least anticanonical degree of a rational curve.
Claimed, not checked -
Topological triviality of μ-constant surface singularities
Proves topological right-triviality for every holomorphic one-parameter family of isolated hypersurface singularities in ℂ3 with constant Milnor number, resolving the surface case of the μ-constant problem. After shrinking the parameter disk and representatives, ambient homeomorphisms vary jointly continuously, fix the origin section and preserve the defining functions.
Claimed, not checked -
Virasoro constraints for complete intersections and projective-bundle towers
Proves the full ordinary unreduced descendant Virasoro conjecture for smooth complete intersections in complex projective space, in every genus and curve class with arbitrary cohomology insertions. The constraints also pass from any smooth projective complex base satisfying them to the projectivization of every algebraic vector bundle of rank at least two, and hence to projective-bundle towers.
Claimed, not checked -
The Campana–Peternell conjecture in dimension six
Proves the Campana–Peternell conjecture in complex dimension six: every smooth connected complex projective Fano sixfold with nef tangent bundle is rational homogeneous.
Claimed, not checked -
Anticanonical nonvanishing in every dimension
If X is a smooth connected complex projective variety and admits a smooth Hermitian metric with nonnegative curvature, then for some m > 0. Thus smooth semipositivity forces a nonzero section of a positive tensor power of the anticanonical bundle in every dimension.
Claimed, not checked -
Global quantum geometric Langlands at irrational level
Proves the unramified de Rham quantum geometric Langlands equivalence for every connected simple complex algebraic group on every smooth projective connected complex curve, at every shifted level . It identifies the full derived categories of twisted D-modules for the group and its Langlands dual, retaining all global forms and connected components.
Claimed, not checked
Real and complex analysis6
-
Kakeya in three and four dimensions
Resolves the Kakeya maximal conjecture in three dimensions and the Hausdorff-dimension conjecture in four. In three dimensions, the radius-δ tube maximal operator maps to with norm for every ε > 0. In four dimensions, every set containing a unit segment in every direction has Hausdorff dimension four.
Claimed, not checked -
Fourier restriction for positively curved surfaces
Proves the diagonal Fourier extension conjecture for positively curved surfaces in three dimensions. For every compact smooth positively curved surface , including surfaces with boundary, the extension operator is bounded from to for every p > 3.
Claimed, not checked -
The three-dimensional Bochner–Riesz conjecture
Resolves the three-dimensional Bochner–Riesz conjecture in its strict range: the Bochner–Riesz multipliers of order δ are bounded on for every whenever .
Claimed, not checked -
Local smoothing in three dimensions
Resolves Sogge's local smoothing conjecture for the Euclidean wave equation in three spatial dimensions. The estimate holds throughout the full strict range , with Sobolev regularity above . In particular, the critical L3 estimate holds with every positive Sobolev loss.
Claimed, not checked -
The exact Sobolev endpoint for Schrödinger convergence
Proves almost-everywhere convergence as for every and every dimension n ≥ 2. This attains the sharp Sobolev equality case of Carleson's Schrödinger convergence problem, including the planar endpoint H1/3.
Claimed, not checked -
An L3 bound for the trilinear Hilbert transform
Proves that the principal-value trilinear Hilbert transform with shifts , , is bounded from to . This resolves the L3 exponent case of the standard conjecture for slopes 1, 2, 3.
Claimed, not checked
Convex and metric geometry2
-
Dimension-free logarithmic Sobolev inequality for subgaussian log-concave measures
Proves a dimension-free logarithmic Sobolev inequality for centered log-concave densities with uniformly subgaussian linear marginals, with constant bounded by a universal multiple of the squared linear subgaussian parameter.
Claimed, not checked -
The sharp simplex conjecture for isotropic constants
Proves that simplices uniquely maximize the isotropic constant among convex bodies in every dimension, resolving the strong isotropic constant conjecture. Also establishes the sharp entropy lower bound for log-concave probability densities, with equality precisely for invertible affine images of products of one-sided exponential laws.
Claimed, not checked
Theoretical computer science6
-
Integer multiplication below
Multiplies two n-bit integers exactly at every input length in deterministic worst-case time , with , on one fixed finite-alphabet Turing machine with finitely many one-dimensional tapes. This disproves the Schönhage–Strassen optimality conjecture in the ordinary multitape bit model.
Claimed, not checked -
Almost-linear-time exact matching and prescribed-degree factors in general graphs
Gives a randomized algorithm finding an exact maximum-cardinality matching in any simple undirected graph in word time, with success probability at least 2/3. The time bound holds on every computation path. The same guarantees apply to finding a spanning subgraph with prescribed admissible vertex degrees, or deciding that none exists.
Claimed, not checked -
A quasilinear PCP theorem for PPAD
Resolves the quasilinear PCP-for-PPAD conjecture. An End-of-Line instance of length N reduces to numerical circuit constraints of total length such that any polynomially encoded rational assignment satisfying all but a fixed fraction to fixed accuracy yields an endpoint solution. Such assignments always exist, giving robust local verification with only quasilinear size overhead.
Claimed, not checked -
Subset Sum in time
Gives a uniform randomized classical algorithm for worst-case Subset Sum in ordinary word-RAM time on polynomial-bit inputs, where n counts the integers. The time bound holds on every execution and success probability is at least 2/3 on every input. Inputs may repeat positive integers; words have bits for maximum input bit length b.
Claimed, not checked -
Existential–universal real sentences in the counting hierarchy
Proves that the existential theory of the reals lies in the counting hierarchy. More generally, truth of existential–universal real sentences can be decided at one fixed level of that hierarchy, even when their integer polynomials are specified by arithmetic circuits.
Claimed, not checked -
Deterministic polynomial factorization over prime fields
Gives a uniform deterministic algorithm that completely factors every nonzero dense degree-n polynomial over a prime field 𝔽p, including multiplicities, in bit complexity polynomial in . The prime is supplied in binary. No randomness, integer-factorization or primitive-root oracle, or GRH assumption is required.
Claimed, not checked
Dynamical systems and ergodic theory3
-
The near-boundary Birkhoff conjecture
Resolves the near-boundary Birkhoff conjecture for smooth strictly convex planar billiards of positive curvature. Such a billiard is an ellipse whenever a full grazing annulus is continuously foliated by individually invariant essential curves. A continuous physical collar of smooth closed convex caustics also suffices.
Claimed, not checked -
Arithmetic classification and non-Pisot singularity for Bernoulli convolutions
Classifies singular and absolutely continuous unbiased Bernoulli convolutions for every by an infinite, one-sided approximation condition using explicit finite sets of algebraic units. It also proves singularity at reciprocals of every quartic Salem number in , giving examples beyond reciprocal Pisot parameters.
Claimed, not checked -
Pointwise multiple ergodic averages for mixing transformations
Proves almost-everywhere convergence of consecutive multiple ergodic averages of every finite length for invertible mixing probability-preserving transformations. For each fixed tuple of bounded functions, the limit is the product of their integrals, along all positive averaging lengths. No mixing rate or standardness assumption on the probability space is required.
Claimed, not checked
Combinatorics4
-
Hindman’s finite sums and products conjecture
Proves Hindman's finite sums and products conjecture: every finite coloring of the positive integers contains sets of any prescribed finite size whose nonempty subset sums and nonempty subset products all have one common color.
Claimed, not checked -
The higher-dimensional Erdős distinct-distances conjecture
For every fixed d ≥ 3, any n ≥ 2 distinct points in ℝd determine at least distinct distances, with depending only on dimension. This matches the integer-grid order and resolves the higher-dimensional Erdős distinct-distances conjecture with a constant-factor bound.
Claimed, not checked -
The hypercube Ramsey conjecture
Resolves the Burr–Erdős hypercube Ramsey conjecture: the two-color Ramsey number of the n-dimensional cube is . Thus every red-blue coloring of a complete graph on a universal constant times the cube's number of vertices contains a monochromatic copy of the cube.
Claimed, not checked -
Deterministic nonbipartite Ramanujan graphs in every fixed degree
For every fixed d ≥ 3, constructs a simple d-regular nonbipartite Ramanujan graph on every sufficiently large even number n of vertices, with every nonconstant adjacency eigenvalue strictly between and . A deterministic algorithm outputs the full adjacency list in polynomial bit time, with exponent depending on d.
Claimed, not checked
Algebra8
-
Serre’s intersection-multiplicity conjecture
Proves strict positivity of Serre's intersection multiplicity for nonzero finitely generated modules over any regular local ring, provided has finite length and . This resolves the positivity conjecture, including ramified mixed characteristic.
Claimed, not checked -
Eisenbud–Green–Harris and lex-plus-powers
Proves the Eisenbud–Green–Harris and lex-plus-powers conjectures over every characteristic-zero field. Any homogeneous ideal containing a regular sequence, of arbitrary length and degrees at least two, admits a lex-plus-powers ideal with the same Hilbert function and no smaller graded Betti numbers.
Claimed, not checked -
A counterexample to Kurosh’s division-ring problem
Constructs a countable characteristic-zero division ring that is algebraic over its center and generated by two elements over that center, but has infinite dimension over it. This answers Kurosh's division-ring problem on local finiteness negatively.
Claimed, not checked -
The blockwise Alperin weight conjecture
Proves the numerical blockwise Alperin weight conjecture for every prime and every finite group: the number of irreducible Brauer characters in a block equals the number of conjugacy classes of its weights.
Claimed, not checked -
Donovan's conjecture over fields and complete mixed-characteristic DVRs
Proves Donovan's conjecture: over each fixed algebraically closed field of characteristic p, blocks of finite groups with bounded defect-group order have only finitely many Morita-equivalence classes, for every prime p. Also proves the integral form over each fixed complete mixed-characteristic discrete valuation ring with algebraically closed residue field.
Claimed, not checked -
Tensor saturation for even spin groups
Proves saturation factor one for , n ≥ 2: for three dominant integral weights whose sum lies in the root lattice, an invariant at any common positive integral dilation already gives an invariant at the original weights. This resolves the type-D part of the simply-laced saturation conjecture.
Claimed, not checked -
Finite symmetric tensor categories and the Verlinde tower
Proves that every finite symmetric tensor category over an algebraically closed field k of characteristic p > 0 admits a k-linear exact faithful strong symmetric monoidal fiber functor to a higher Verlinde category . The level may depend on the category, and the theorem includes characteristic two, resolving the finite case of the Benson–Etingof–Ostrik conjecture.
Claimed, not checked -
Integral counterexamples to Gersten’s conjecture
Disproves unrestricted integral Gersten injectivity in degrees 3 and 5. Two explicit two-dimensional ramified regular local rings of mixed characteristic have nonzero integral K-theory classes that vanish over their fraction fields.
Claimed, not checked
Probability and statistical mechanics10
-
Critical and near-critical XY scaling and BKT universality
For the square-lattice nearest-neighbor cosine XY model, proves critical axis correlations and the Berezinskii–Kosterlitz–Thouless essential singularity , with after the free-box thermodynamic limit. For finite square-symmetric interactions containing nearest neighbors, discrete Gaussian heights converge to Gaussian fields throughout the rough phase, including its threshold, along geometric torus sizes. Critical center-magnetization and spin-field conclusions retain their stated height, renormalization, and field-input assumptions.
Claimed, not checked -
The low-temperature Sherrington–Kirkpatrick fluctuation law
For every fixed inverse temperature β > 1, determines the fluctuation scale and limiting law of the zero-field Gaussian Sherrington–Kirkpatrick log partition function. Its variance is asymptotic to , with , confirming the predicted n1/6 standard-deviation scale. Exact centering and standardization give full-sequence convergence to a uniquely characterized nondegenerate law.
Claimed, not checked -
GOE bulk universality for regular graphs with weak Anderson disorder
For every fixed degree d ≥ 3, the bulk adjacency-eigenvalue point process of a uniform simple random d-regular graph converges to the Gaussian orthogonal ensemble law, including for cubic graphs. The same fixed-energy universality persists under sufficiently weak fixed iid uniform diagonal disorder, throughout compact bands strictly inside the clean spectral edges.
Claimed, not checked -
Random-cluster interfaces: critical, disordered, thermal, and natural-time scaling
Proves chordal SLEκ limits for critical square-lattice random-cluster interfaces for , with : bounded Jordan domains are allowed for q ≥ 1, and smooth Jordan domains for q < 1, under the stated marked-boundary approximations. For , complete nested plane loops converge to CLEκ.
Claimed, not checked -
Critical and quenched near-critical universality for Poisson–Voronoi percolation
Proves Cardy's formula for annealed critical Poisson–Voronoi crossing probabilities in every bounded Jordan quadrilateral. With each model normalized by its own expected unit-square pivotal count, the conditional joint near-critical crossing-threshold laws for rational polygonal quads converge in environment probability to the triangular-lattice reference law. This establishes quenched near-critical universality for crossing thresholds.
Claimed, not checked -
Gaussian free field limits throughout the balanced six-vertex regime
The balanced square-lattice six-vertex height field with and converges to a Gaussian free field, including at the endpoint c = 2. The plane state is defined by balanced-torus limits. For unit height increments and Green kernel , the exact variance multiplier is .
Claimed, not checked -
The double-dimer loop ensemble converges to CLE4
Resolves the half-plane Temperleyan form of the double-dimer scaling-limit conjecture: the complete loop ensemble formed by two independent dimer coverings of the Temperleyan square lattice converges to nested CLE4. Convergence matches every macroscopic loop as an unparametrized curve, upgrading convergence of loop observables to convergence of the loops themselves.
Claimed, not checked -
Gaussian fields and interfaces for triangular-lattice Lipschitz heights
Proves Gaussian free field limits on bounded smooth simply connected domains for triangular-lattice height models: uniform odd heights with increments and two-arc boundary values , and zero-boundary integer Lipschitz heights weighted by fixed . Uniform real Lipschitz heights also converge to a Gaussian field; at a tuned opposite-boundary amplitude, their interface converges to chordal SLE4, establishing Schramm’s real-field/interface predictions.
Claimed, not checked -
The joint critical Ashkin–Teller current limit
Identifies the joint scaling limit of Ashkin–Teller heights and both complete current-cluster collections throughout the critical line, including the four-state Potts endpoint. In bounded Jordan domains with admissible lattice approximations and wired primal/free dual boundaries, the height converges to the predicted Gaussian free field, and the clusters to canonical recursive sets of that same field, retaining every nesting depth.
Claimed, not checked -
Sharp singularity rates for symmetric random sign matrices
Determines the sharp exponential singularity rate of symmetric random sign matrices with independent entries on and above the diagonal. Uniform signs give ; for fixed bias , the rate is . In the biased case, agreeing rows attain this rate.
Claimed, not checked
Group theory2
-
Gersten’s conjecture and virtual compact specialness of one-relator groups
Proves Gersten's conjecture: every finitely generated one-relator group containing no Baumslag–Solitar subgroup , with , is word-hyperbolic. It also proves that every word-hyperbolic one-relator group is virtually compact special.
Claimed, not checked -
A group without fixed price
Constructs a finitely generated group with two essentially free probability-measure-preserving actions of different costs, answering the general fixed-price problem negatively. Its Bernoulli action has cost bounded away from one, while a sequence of finite height extensions has costs tending to one.
Claimed, not checked
Mathematical physics8
-
Strong cosmic censorship near two-ended Kerr data
Proves local strong cosmic censorship near each fixed rotating subextremal Kerr bridge. A dense Gδ subset of a weighted smooth neighborhood of smooth complete two-ended asymptotically flat vacuum data has full maximal globally hyperbolic developments with no future continuous nondegenerate extension whose weak connection is locally square-integrable. No symmetry is imposed; extensions need not satisfy the vacuum equations.
Claimed, not checked -
Area laws and tensor networks for two-dimensional gapped systems
Proves an entropy area law for unique ground states of finite-range Hamiltonians on arbitrary finite induced square-lattice domains, using only a uniform full-system spectral gap and bounds on the local interactions. On open squares, uniformly gapped nearest-neighbor ground states also admit projected entangled-pair state approximations with polynomial bond dimension and global vector error at most L−1.
Claimed, not checked -
The spin-one Haldane gap
Proves the spin-one Haldane gap conjecture for the pure antiferromagnetic Heisenberg chain on even periodic rings: the spectral gap stays uniformly positive as the chain grows. A companion establishes a gap for odd open chains with endpoint field and gives boundary-selected infinite-volume states with topological index −1.
Claimed, not checked -
Threshold and positive-energy bound states of the BFSS matrix model
Proves that the undeformed relative BFSS model has exactly one normalizable zero-energy state for every finite N ≥ 2, resolving the threshold-bound-state conjecture. For , a companion proves infinitely many normalizable positive-energy eigenstates with unbounded energies, contradicting the original BFSS paper's exclusion of additional bound states at N = 2.
Claimed, not checked -
Failure of Kohn–Sham ensemble representation
Constructs a three-electron Coulomb molecule with two equal positive-integer-charge nuclei whose absolute ground-state density has no noninteracting ground-state ensemble representation by a single real spin-independent local potential in . This disproves Kohn–Sham ensemble representability for that potential class; the required nuclear charge is specified nonnumerically.
Claimed, not checked -
From scale symmetry to local conformal symmetry in four-dimensional QFT
Under the stated bounded-local-net and field-reconstruction hypotheses, proves that scale symmetry implies local conformal symmetry for four-dimensional unitary positive-energy theories with a discrete bounded-below scaling spectrum of finite multiplicity, finite scaling support and a physical local scale current. The stress tensor has a traceless improvement with unchanged spacetime charges. The conclusion concerns local Ward identities, not a global conformal action on the whole net.
Claimed, not checked -
Polynomial-time unitary synthesis from a Boolean oracle
Solves the constant-error Aaronson–Kuperberg unitary synthesis problem: a uniform polynomial-size quantum oracle circuit approximates every n-qubit unitary channel within diamond-norm error 1/2, after a suitable Boolean oracle is chosen. Gates, qubits, oracle calls and query length are polynomially bounded. The target-dependent oracle may have an unrestricted truth table; its efficient classical construction is not asserted.
Claimed, not checked -
The optimal quartic separation between randomized and quantum queries
Shows that the universal bound for total Boolean functions is sharp in its exponent, ruling out every smaller power and disproving the conjectured cubic relation. Here R and Q are randomized and quantum worst-case bit-query complexities with error at most 1/3; computation between queries is unrestricted.
Claimed, not checked
Operator algebras4
-
Counterexamples to Baum–Connes and Kadison–Kaplansky
Disproves the coefficient-free reduced Baum–Connes conjecture through a failure of rational injectivity and a separate failure of surjectivity of assembly. A finitely generated torsion-free example witnesses the injectivity failure. Separately, a torsion-free group has a nontrivial projection in its reduced group C∗-algebra, disproving the Kadison–Kaplansky conjecture.
Claimed, not checked -
Rigidity and arithmetic of lattice von Neumann algebras
Classifies finite-index bimodules between scalar-twisted group factors of ICC groups commensurable with property- lattices over characteristic-zero local fields and arbitrary ICC group factors. Every such bimodule is a summand of finite sums of models arising from finite-index subgroup isomorphisms and finite-dimensional projective representations. The classification also recovers the group, scalar cocycle and amplification scale up to the stated stable equivalence.
Claimed, not checked -
Approximation and quadratic strong-operator paving
Proves that every self-adjoint element of a complex von Neumann algebra admits strong-operator paving relative to any maximal abelian subalgebra with blocks. The norm bound holds after compression by a projection arbitrarily close to the identity in the strong topology, resolving the Popa–Vaes quadratic paving conjecture.
Claimed, not checked -
Radius of comparison equals half the mean dimension
For every minimal homeomorphism h of an infinite compact metrizable space X, the radius of comparison of equals , including infinite values. Zero mean dimension is equivalent to the small boundary property, Jiang–Su stability and finite nuclear dimension; in this case nuclear dimension is at most one.
Claimed, not checked
Topology15
-
The Hilbert–Smith conjecture in every dimension
Every locally compact second-countable Hausdorff group acting faithfully and jointly continuously on a connected finite-dimensional topological manifold is a Lie group. This proves the Hilbert–Smith conjecture in all finite dimensions, for Hausdorff second-countable manifolds without boundary.
Claimed, not checked -
Four-dimensional disk embedding and Wall's conjecture
The unrestricted four-dimensional disk-embedding conjecture fails: framed algebraic dual spheres do not suffice to obtain disjoint locally flat spanning disks. In particular, the free group F2 is not good in the sense of Freedman–Quinn. Also constructs a finitely presented integral Poincaré duality group of dimension four with a finite classifying space but no realization as the fundamental group of a closed aspherical topological four-manifold, disproving Wall's conjecture.
Claimed, not checked -
The purely cosmetic surgery conjecture
Distinct Dehn surgery slopes on a nontrivial smooth knot in S3 never produce orientation-preservingly homeomorphic manifolds, proving the purely cosmetic surgery conjecture. The statement includes the meridional slope.
Claimed, not checked -
Finite Smith–Toda complexes at every height
For every n ≥ 0, constructs a finite Smith–Toda spectrum at a prime p depending on n, with Brown–Peterson homology and the canonical comodule structure. Thus Smith–Toda complexes exist at every height when the prime may vary; an explicit example realizes at p = 1009.
Claimed, not checked -
The Kervaire invariant problem at the prime three
Resolves the odd-primary Kervaire invariant problem at the prime three: exactly the standard classes with indices 0, 2, and 3 survive in the mod-three Adams spectral sequence, in stems 10, 106, and 322. Each surviving detection coset contains an element of exact additive order three.
Claimed, not checked -
Quillen's conjecture in rational homology
Proves the rational-homology form of Quillen's conjecture for every finite group and every prime. If the largest normal p-subgroup of G is trivial, the poset of nontrivial elementary abelian p-subgroups has nonzero augmented reduced rational homology and is therefore not contractible.
Claimed, not checked -
The Hovey–Strickland and Chai conjectures
Proves Chai's invariant-ideal conjecture for Lubin–Tate deformation rings over finite residue fields, at every prime and positive height n. Through the implication of Barthel–Heard–Naumann, this proves the Hovey–Strickland conjecture: dualizable -local spectra have exactly thick tensor ideals, and their Balmer spectrum is a chain of points.
Claimed, not checked -
Finite generation for the -local sphere
Answers the degreewise finiteness question of Hovey and Hovey–Strickland: every homotopy group of the -local sphere is a finitely generated ℤp-module, for every prime, positive height and integer degree. The same conclusion holds after -localizing any finite p-local spectrum.
Claimed, not checked -
Cyclic length and chromatic fixed-point loss
Determines the optimal chromatic loss from geometric H-fixed points to geometric G-fixed points for every subgroup H of a finite p-group G. At every nonnegative height, the loss equals the shortest subnormal-chain length from H to G with cyclic quotients. Each quotient counts once regardless of order, and finite spectra witness sharpness.
Claimed, not checked -
The four-dimensional Singer conjecture
Proves that the L2-Betti numbers of the universal cover of every closed connected aspherical topological four-manifold vanish outside degree two. More generally, the same conclusion holds for every finite connected aspherical integral Poincaré complex of formal dimension four, proving the four-dimensional Singer conjecture in this wider class.
Claimed, not checked -
Curtis’s conjecture
Proves Curtis’s conjecture: the positive-degree mod-two stable Hurewicz image of the sphere is spanned by the images of the Hopf-invariant-one classes η, ν, σ and the Kervaire-invariant-one classes that exist.
Claimed, not checked -
Chromatic splitting: filtrations and counterexamples
Disproves strong chromatic splitting at height three for primes p ≥ 5, and weak splitting for the derived p-completed sphere at heights p (p ≥ 5) and (p ≥ 7). Nevertheless, for n ≥ 1 and , the overlap admits a -stage filtration by the predicted localized-sphere pieces. At height three and prime three, even finite assembly from such pieces fails in the category of -local modules over the derived completed sphere.
Claimed, not checked -
Counterexamples to finite generation at chromatic height two
Refutes the Hahn–Wilson conjecture at chromatic height two. For every sufficiently large prime p, constructs a connective p-complete spectrum of exact fp-type two that cannot be built from completed by finitely many sums, shifts, cones and retracts. The examples nevertheless satisfy the finite and telescopic localization comparisons.
Claimed, not checked -
Nonhomeomorphic closed aspherical four-manifolds
Constructs closed connected aspherical topological four-manifolds that are homotopy equivalent but not homeomorphic, with a common word-hyperbolic fundamental group. This disproves even the homeomorphism-existence formulation of the Borel conjecture in dimension four.
Claimed, not checked -
A counterexample to Wall's finite D(2) problem
Constructs a finite connected three-dimensional CW complex whose universal cover has no integral homology above degree two and whose third cohomology vanishes for every local coefficient module, but which has no finite two-dimensional homotopy model. This disproves Wall's finite D(2) conjecture; the example has infinite fundamental group.
Claimed, not checked
Functional analysis1
-
Metric Markov cotype of ℓ1 and Hilbert-space Lipschitz extension
Proves that real ℓ1 has metric Markov cotype two, answering Mendel and Naor's question. Consequently, every Lipschitz map from an arbitrary subset of a real Hilbert space into ℓ1 extends to the whole space with a universal multiplicative loss in its Lipschitz constant, resolving Ball's extension problem for this target.
Claimed, not checked
Differential geometry14
-
Gromov’s integral scalar-curvature bound for simplicial volume
Proves for every closed connected oriented smooth n-manifold, n ≥ 3, and every smooth metric, with depending only on dimension. Here and is real simplicial volume. Also proves rational inessentiality under positive scalar curvature, resolving the Gromov–Lawson conjecture; every nonnegative-scalar-curvature metric on a closed aspherical manifold is flat.
Claimed, not checked -
Spectral scalar curvature, Urysohn width, and macroscopic dimension
Every complete connected smooth boundaryless n-manifold, n ≥ 3, satisfying as a quadratic-form inequality admits a continuous map to a simplicial complex of dimension at most whose entire fibers have diameter bounded only by n in the original metric. This strengthens Gromov's width conclusion to spectral scalar curvature. Universal covers of closed positive-scalar-curvature manifolds also have continuous macroscopic dimension at most for every n ≥ 2.
Claimed, not checked -
Yau's uniformization conjecture
Proves Yau's uniformization conjecture: every complete connected noncompact Kähler manifold with strictly positive holomorphic bisectional curvature is biholomorphic to ℂn.
Claimed, not checked -
Katok's entropy rigidity conjecture
Proves Katok's entropy rigidity conjecture for closed connected Riemannian manifolds of dimension at least three with strictly negative sectional curvature: normalized Liouville measure maximizes entropy for the geodesic flow if and only if the metric is locally symmetric.
Claimed, not checked -
A counterexample to the nearby Lagrangian conjecture
Disproves the unrestricted nearby Lagrangian conjecture. For some sufficiently large even N, constructs a closed exact embedded Lagrangian in that is diffeomorphic to the base but not Hamiltonian isotopic to its zero section.
Claimed, not checked -
Donaldson's hypersymplectic deformation conjecture
Proves Donaldson's hypersymplectic deformation conjecture in a cohomology-preserving form. Every positive triple of smooth closed two-forms on a closed connected oriented four-manifold, normalized by , deforms through positive closed triples to a hyperkähler triple while preserving all three cohomology classes. Any positive triple can first be normalized by a constant linear change.
Claimed, not checked -
The metric Blaschke conjecture
Proves the metric Blaschke conjecture: every closed connected Riemannian manifold of positive dimension whose injectivity radius equals its diameter is, up to scaling, a standard compact rank-one symmetric space.
Claimed, not checked -
Infinitely many closed geodesics on Riemannian spheres and closed three-manifolds
Proves that every smooth Riemannian metric on Sn, n ≥ 2, has infinitely many prime closed geodesics with pairwise distinct images. The same conclusion holds on every closed manifold admitting a finite smooth spherical cover and on every closed three-manifold, without orientability or nondegeneracy restrictions.
Claimed, not checked -
Sharp singular-set bounds for stationary integral varifolds
Proves that every stationary integral m-varifold in a Euclidean open set has singular set of Hausdorff dimension at most , a sharp bound in every positive dimension and codimension. On round spheres, the family also proves almost-everywhere regularity: the singular set has zero m-dimensional Hausdorff measure.
Claimed, not checked -
The Solomon–Yau least-volume conjecture
Proves the Solomon–Yau least-volume conjecture for minimal hypersurfaces of round spheres. For every m ≥ 2, a closed connected minimal immersion into the unit sphere with non-totally-geodesic image has volume at least that of the smallest minimal Clifford product, counting covering multiplicity.
Claimed, not checked -
Scalar curvature and finite-time Ricci-flow singularities
Proves that a smooth Ricci flow on a closed four-manifold extends past any finite time at which scalar curvature remains uniformly bounded. A higher-dimensional counterexample has bounded scalar curvature but unbounded full curvature at its finite maximal time, disproving the unrestricted scalar-curvature extension conjecture.
Claimed, not checked -
A finite-time singularity of Calabi flow
Disproves Chen's smooth long-time existence conjecture for Calabi flow by constructing a smooth -invariant Kähler metric on whose flow develops a finite-time singularity. The metric lies in the Fubini–Study class, so the failure occurs even in a class containing a constant-scalar-curvature metric.
Claimed, not checked -
Unique tangent flows at the first surface singularity
Proves the first-singular-time case of tangent-flow uniqueness for smooth compact connected embedded surfaces without boundary in ℝ3. At every singular point, all fixed-center backward tangent flows agree as area measures at every negative time in the original ambient coordinates, without mean-convexity or a prescribed tangent model.
Claimed, not checked -
Bi-Lipschitz coordinates at every regular RCD point
Proves that every regular point of a noncollapsed space, for K ∈ ℝ and integer n ≥ 2, has an open neighborhood bi-Lipschitz to an open subset of ℝn. Regularity requires all pointed tangents to be Euclidean, the reference measure is exactly , and the chart compares ambient distances with a point-dependent finite constant.
Claimed, not checked
Partial differential equations5
-
Kinetic limits and fluctuations over the Boltzmann lifespan
Derives the nonlinear Boltzmann equation from three-dimensional grand-canonical Newtonian gases throughout every regular kinetic interval with uniform Gaussian decay. Stable finite-range radial potentials may have attractive wells and a singular repulsive core; initial pair exclusion and spatially summable Gaussian density and gradient bounds are assumed. A companion gives finite-dimensional hard-sphere Gaussian fluctuations, centered at the exact microscopic expectation and governed by the linear fluctuating Boltzmann equation.
Claimed, not checked -
The planar Mumford–Shah regularity conjecture and local weak-L4 gradient bounds
Resolves the interior regularity conjecture for reduced absolute planar Mumford–Shah minimizers with bounded fidelity data. Locally, the closed discontinuity set is a arc, a regular crack tip, or three arcs meeting at ; only finitely many global connected components meet any compact interior region.
Claimed, not checked -
The three-dimensional Ball–Evans approximation problem
Resolves the three-dimensional Ball–Evans approximation problem: every homeomorphism between arbitrary bounded domains in ℝ3, for , is a strong limit of smooth diffeomorphisms onto the same target.
Claimed, not checked -
De Giorgi's conjecture in dimension eight
Proves De Giorgi's conjecture at its sharp dimension-eight endpoint: every entire C2 solution of that is strictly increasing in one direction depends on only one linear coordinate. A stronger theorem classifies all stable entire solutions as constant wells or planar transitions, without an energy-growth assumption.
Claimed, not checked -
Interior regularity for infinity-harmonic functions
Proves uniform interior regularity for bounded infinity-harmonic functions in every dimension d ≥ 3, for a positive exponent depending only on dimension. The gradient's supremum norm and Hölder seminorm on the half unit ball are bounded by a dimension-dependent constant times the oscillation on the unit ball. The exponent is not explicit.
Claimed, not checked