Federated frontier

Search what is known.

Coverage currently reflects the bundled VibeMathed snapshot or the most recent successful sync. It does not represent every open problem or AI attempt in mathematics.

717 records

partial lean checked statement unaudited replay-ready

Mahler's $Z$-number problem in its generalized form

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Distribution mod one; Mahler's Z-numbers
resolved unreviewed

Nontriviality of number-restricted arithmetic over subDMQ

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Paraconsistent logic and foundations
resolved lean verified statement audited replay-ready

Normality of a sum of two Stoneham constants

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Normal numbers and digit expansions
resolved lean verified statement audited replay-ready

The Hilbert transform-UMD dependence problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Banach space geometry and harmonic analysis
resolved lean verified statement audited replay-ready

Binary normality of a localized logarithm value

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Normal numbers and digit expansions
candidate lean checked statement unaudited

Sharp Finite Markov Order in Intrinsic Sofic Dimension

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Sofic measures
resolved lean verified statement audited replay-ready

Finite-time blowup for the inviscid Boussinesq system with smooth forcing

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Fluid dynamics; singularity formation for incompressible flow
partial lean checked statement unaudited replay-ready

An improved lower bound for the Shannon capacity of $C_{11}$

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Zero-error information theory; graph capacity; combinatorics
candidate unreviewed

Erdős Problem #1221

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrepancy
resolved lean checked statement unaudited

Reciprocal Fermat Constant is Nonnormal

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Theory of Normal Numbers and Digit Expansions
partial lean checked statement unaudited replay-ready

Reciprocal-triple-free sets: the finite plateau at 732

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal sets avoiding distinct reciprocal triples
partial unreviewed

Lower bound for the complex Grothendieck constant

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Functional analysis
candidate lean checked statement unaudited

The Erdos-Borwein Constant is 2-Dense

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic number theory; digit distribution of constants
resolved unreviewed

Koizumi–Liu Eventual Sign Alternation Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Matroid theory
resolved unreviewed

A 44-vertex triangulation of $\mathbb{RP}^{6}$

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial topology; triangulations of manifolds; convex polytopes
candidate lean checked statement unaudited

The γ–θ conjecture in eternal domination

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
candidate lean checked statement unaudited

The Ibragimov–Iosifescu conjecture for φ-mixing sequences

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Stationary stochastic processes
candidate lean verified statement audited

Bollobás–Nikiforov conjecture

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Spectral graph theory
candidate unreviewed

Cycle-residue stability at minimum degree five

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory
candidate unreviewed

The proper hat-guessing number of $K_8-e$

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory; hat-guessing games; finite geometry; matching theory
partial lean checked statement unaudited replay-ready

Prime Gaps at Most 186

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic number theory
partial lean checked statement unaudited replay-ready

A new bound for small gaps between primes: $H_1 \le 212$

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic number theory
candidate unreviewed

The proper hat-guessing number of $K_7-e$

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory; hat-guessing games; Steiner systems; permutation groups
candidate lean verified statement audited

Smale’s Mean Value Conjecture ($K=1$)

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Complex polynomials
partial unreviewed

Improved maximal prime-gap lower bound

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic number theory
candidate unreviewed

Conway's Refinement Conjecture for Omnific Integers

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Surreal numbers
candidate lean verified statement audited

Köthe Conjecture

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Noncommutative ring theory
candidate unreviewed

The proper hat-guessing number of $K_6-e$

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory; hat-guessing games; permutation groups
resolved unreviewed

Anari's Bethe permanent conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Permanent approximation
resolved unreviewed

Depth-1 distinctness for pseudorandom unitaries

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum pseudorandomness
candidate unreviewed

The proper hat-guessing number of $K_5-e$

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory; hat-guessing games
resolved unreviewed

Logarithmic basis number of graphs

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
resolved unreviewed

A Smooth Counterexample to the Trautman Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

CR geometry
resolved unreviewed

Common Neighbour Conjectures for Saxl Graphs

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group theory
candidate unreviewed

Bounded prime gaps: $H_1 \le 236$

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic number theory
resolved unreviewed

Measures on Partial Orders

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Representation theory
resolved unreviewed

McKean Entropy-Production Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Mathematical physics
partial unreviewed

Erdős matching conjecture: the four-uniform case

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal set theory and hypergraph matchings
resolved unreviewed

A Counterexample to the Stable Forking Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Model theory
resolved unreviewed

A complex structure on $S^2\times S^4$

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Differential geometry
partial unreviewed

Improving Randomized Metric Distortion to 2.3282

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Game theory
candidate unreviewed

Dean's conjecture for $k=5$

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory
resolved lean verified statement audited replay-ready

Erdős Problem #126: prime divisors of pairwise sums

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Elementary number theory
resolved unreviewed

Non-MF groups and non-finite full group C*-algebras

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Operator algebra
resolved lean verified statement audited replay-ready

Erdős Problem #1: sum-distinct sets

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive combinatorics
partial unreviewed

Large systoles in every sufficiently large genus

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Hyperbolic geometry
resolved unreviewed

Graffiti Conjecture 806

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Spectral graph theory
resolved lean verified statement audited replay-ready

Erdős Problem #548: the Erdős–Sós conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
resolved unreviewed

Sparse domination implies convex body domination

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Harmonic analysis
partial independent expert verified replay-ready

A tilted residue-class construction for long prime-free intervals

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic number theory; large gaps between primes
resolved unreviewed

Nevanlinna’s half-plane omitted-values problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Complex analysis
candidate unreviewed

Transcendence in the affine case of Erdős Problem 270

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Transcendence theory
candidate lean checked statement unaudited

Problem 3 of Dubickas (2006): Is $\sqrt{3} \in \mathcal{Z}$?

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Distribution mod 1; Mahler Z-numbers
resolved unreviewed

Bounded mass property for compact complex manifolds

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Complex geometry
partial unreviewed

Record Rank for an Elliptic Curve over $\mathbb{Q}$

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Elliptic curves
open unreviewed

Smooth Random Fast Dynamo on the Three-Torus

VibeMathed reports this item as open. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Dynamo theory
candidate unreviewed

The 4-color Rado number of x+y+c=z: general case

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Rado numbers / partition regularity
candidate lean checked statement unaudited

The $C^\infty$ Carathéodory Conjecture on Umbilic Points

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Differential geometry
candidate unreviewed

The DeLaViña–Waller conjecture on the Wiener index

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal Graph Theory
partial lean checked statement unaudited replay-ready

A Conjecture on Triple Counts for the Kasami APN Function

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Finite fields and APN functions
candidate unreviewed

Counting Linear Extensions Below the $2^n$ Barrier

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Exact exponential algorithms
resolved unreviewed

Fourth-moment conjectures for Rademacher sums

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Khintchine inequalities
candidate lean checked statement unaudited

Colombo’s difference-power determinant conjecture

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Linear algebra; matrix theory and Pfaffians
partial unreviewed

The Matrix Multiplication Exponent

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic complexity
resolved unreviewed

Talagrand’s convolution conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analysis of Boolean functions
resolved lean checked statement unaudited replay-ready

Composites Among $[\xi 7^n]$ and Right-Truncatable Primes in Base 7

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number theory - integer sequences
resolved unreviewed

Lorist-Schwenninger Remark 2 positivity question

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Numerical range / Crouzeix's conjecture
resolved unreviewed

Sivaraman's Perfect-Divisibility Characterization Question

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory - chi-boundedness
resolved unreviewed

Convergence of Three-Block ADMM with Identity Third Block

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Optimization - splitting methods
partial unreviewed

The Quartic Hessian Conjecture in Dimension Four

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Polynomial automorphisms
resolved unreviewed

Kusner's Conjecture on Equilateral Sets in $\ell_p^n$

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete geometry
resolved unreviewed

$SOP_2 = SOP_3$

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Model theory
candidate unreviewed

The Foregger–Sinkhorn Tie-Point Conjecture

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial matrix theory
resolved unreviewed

Every PPT channel has finite entanglement-breaking index

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Entanglement theory
resolved unreviewed

Banach's isometric conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Functional analysis
resolved unreviewed

Treglown's equitable acyclic colouring conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
resolved lean verified statement audited replay-ready

Phelps–Rodriguez Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Complex analysis
resolved unreviewed

Hadamard Matrix of Order 668

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial design theory
resolved unreviewed

Gamow liquid-drop minimizer conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Calculus of variations and geometric measure theory
resolved unreviewed

Strong Graph Reconstruction Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory - reconstruction
partial unreviewed

Seymour's Second Neighborhood Conjecture

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
resolved unreviewed

Albertson–Berman Induced Forest Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
resolved unreviewed

The Planar Steklov Analogue of Kac's Question

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Spectral geometry
candidate unreviewed

Conjectures 2a and 2b of Kauers and Zeilberger

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Lattice walk enumeration
resolved unreviewed

Predicting Diagonalizability of a Mean Matrix

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Statistical learning theory
candidate unreviewed

The First Rigorous Solid Standard Young Tableaux Challenge

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Enumerative combinatorics
resolved unreviewed

Makeev's conjecture on universal cover

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Metric geometry
resolved unreviewed

Bounded Oracle Error in Nonconvex Stochastic Optimization

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Stochastic optimization
resolved unreviewed

The Hyperkahler Period-Index Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic geometry
resolved unreviewed

The Imbalance Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
resolved unreviewed

The Ellipsoid Fitting Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Random matrix theory
partial lean checked statement unaudited replay-ready

The Proportion of Zeta Zeros on the Critical Line

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic number theory
resolved unreviewed

Teschner's Bondage-Number Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory — domination theory
resolved unreviewed

The Planar Berenstein Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Overdetermined boundary problems
partial lean checked statement unaudited replay-ready

Matrix-Tree Obstruction for Half-Collinear Graviton Vertices

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Scattering amplitudes; directed spanning trees
candidate unreviewed

Polynomial-Time MIMO Detection at the ML Threshold

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Information theory; average-case complexity
resolved unreviewed

The Umans-Wang Arithmetic-Progression Divisor Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial number theory
resolved unreviewed

The Anstee-Sali Conjecture on Forbidden Configurations

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal set theory
resolved unreviewed

The Chen-Lawrencenko Conjectures on Cyclic Colorations

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Topological graph theory
resolved unreviewed

Log-Submodularity of Zonoid Volume

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Convex geometry
resolved unreviewed

Facial Distance Patterns in Planar Graphs

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Planar graph algorithms
resolved unreviewed

The Inverse Generator Problem on Hilbert Spaces

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Semigroup theory
resolved unreviewed

Absolutely Maximally Entangled States in Five Open Cases

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum error correction / AME states
partial lean checked statement unaudited replay-ready

The Huang-Jiang-Oblomkov Conjecture at a = 3

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

q-series; arithmetic geometry
resolved unreviewed

Balanced EF1 and fPO Allocations

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Fair division; algorithmic game theory
candidate unreviewed

The Gardner Transition in the Ising pure $p$-spin glass

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Spin glasses; probability
resolved unreviewed

Central limit theorem for the random assignment problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Random combinatorial optimization
partial unreviewed

Tuza's Conjecture for Maximum Degree at Most Seven

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal graph theory
candidate lean checked statement unaudited

Dittert's Conjecture in Dimension Five

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Linear algebra; permanents; exact sum-of-squares certificates
resolved unreviewed

Babai's Minimal Cayley Graph Problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic graph theory
resolved unreviewed

Approximate Counting for Spin Systems on Planar Graphs

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Approximate counting
resolved lean verified statement audited replay-ready

Sendov's Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Complex analysis
partial unreviewed

The Approximation Ratio for Boolean Max-k-CSP

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Approximation algorithms
resolved lean verified statement audited replay-ready

The Generalized Vanishing Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Commutative algebra; differential operators
resolved lean checked statement unaudited replay-ready

Lower Bounds for Multivariate Independence Polynomials

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal combinatorics; statistical physics
resolved lean checked statement unaudited replay-ready

Gabor Frames of Totally Positive Functions

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Time-frequency analysis
resolved unreviewed

Tight Bound for Online Vertex Cover under Edge Arrivals

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Online algorithms
resolved unreviewed

HRT Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Harmonic Analysis
resolved lean verified statement audited replay-ready

Schiffer's Conjecture and the Pompeiu Problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Spectral geometry
resolved unreviewed

Problem MAIS-O60: Single-Neuron Fourier Alignment

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Neural network training dynamics
resolved independent expert verified replay-ready

The Middle Stair of Parallel Chip-Firing

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial dynamics
resolved unreviewed

Signed Depth Relevance of subDL

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Paraconsistent logic and foundations
resolved unreviewed

Finite Generation for klt Generalized Pairs

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Birational geometry
resolved unreviewed

Real-Rootedness of Ehrhart h*-Polynomials at Large Width

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Polyhedral combinatorics
resolved unreviewed

The Bandelt-Dress Quartet Distance Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorics
resolved unreviewed

The Period-Index Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic geometry
resolved lean verified statement audited replay-ready

Asymptotically attaining the Moore bound

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorics
partial unreviewed

The Axiotis-Sviridenko Condition-Number Conjecture

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Approximation algorithms
open unreviewed

Autonomous Lipschitz Fast Dynamo on the Three-Torus

VibeMathed reports this item as open. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Dynamo theory; spectral PDE
resolved unreviewed

Kalton-Peck Space and its Hyperplanes

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Banach space theory
candidate lean verified statement audited

Written on the Wall II, Graph Conjecture 144

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory (automated conjecture)
resolved unreviewed

Sharpness of Denjoy's Theorem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Dynamical systems
resolved unreviewed

Graffiti's Residue Problem for Common-Divisor Graphs

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
resolved unreviewed

The Simonovits Product Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal graph theory
resolved unreviewed

The Mihail-Vazirani Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Polyhedral combinatorics
resolved unreviewed

Approximating Two-Terminal Network Reliability

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Randomized algorithms
resolved unreviewed

Connes' Rigidity Conjecture for ICC Property (T) Groups

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Operator algebras
resolved unreviewed

Hoa's Conjecture on Maximal Non-Hamiltonian Graphs

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
candidate lean verified statement audited

Written on the Wall II, Graph Conjecture 322

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory (automated conjecture)
resolved unreviewed

The Equality Case of Ehrhart's Volume Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Convex geometry
partial lean verified statement audited replay-ready

Upper Bounds for High-Dimensional Sphere Packing

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete geometry
candidate lean verified statement audited

Erdős Problem #183: Multicolor Triangle Ramsey

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Ramsey theory
candidate unreviewed

Two-Variable Factorial Conjecture

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Commutative Algebra, Transcendence
candidate lean verified statement audited

Erdős Problem #146: Degeneracy Conjecture

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal graph theory
candidate lean verified statement audited

Ehrhart's Volume Conjecture

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Convex geometry
candidate lean verified statement audited

Connes' Rigidity Conjecture

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Operator algebras
candidate lean verified statement audited

Erdős Problem #180: Compactness Conjecture

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal graph theory
partial lean verified statement audited replay-ready

Lower Bounds for the Permanent in Arithmetic Circuits

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic complexity
candidate lean verified statement audited

Gromov and Weiss's Question on Sofic Groups

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Geometric group theory
candidate lean verified statement audited

Quantum Parallel Repetition

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum complexity
partial lean verified statement audited replay-ready

Upper Bounds for Binary and Spherical Codes

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Coding theory
candidate lean verified statement audited

Polynomial-Factor Hardness for the Closest Vector Problem

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Lattices & cryptography
resolved unreviewed

Finitude of the Fibers of Complementary Bell Numbers

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Enumerative combinatorics
resolved unreviewed

Ehrhart Positivity of Schubitopes

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic combinatorics
resolved lean checked statement unaudited replay-ready

Local limits along squares and prime values of digital functions

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Digital problems; local limit theorems; Sidon sets; sieve methods
partial unreviewed

Minimum reverse-complement-invariant decycling sets

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

de Bruijn graphs; unavoidable sets; reverse-complement symmetry
resolved lean checked statement unaudited replay-ready

Prime values of digital functions along the primes

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic number theory
resolved unreviewed

Han's Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Homological algebra
resolved unreviewed

Online Shadow Tomography Matching the Classical Bounds

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum information & computing
partial lean verified statement audited replay-ready

Record Lower Bounds for the Shannon Capacity of Odd Cycles

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Zero-error information theory
resolved unreviewed

The Integer Domination Root Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph polynomials
resolved unreviewed

Sharp Hardness for MAX-3-CUT

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Hardness of approximation
partial lean checked statement unaudited replay-ready

The Han-Xiong Integer Trace Conjecture

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

q-series and partitions
resolved unreviewed

Signature of Connected Line Graphs

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Spectral graph theory
resolved lean checked statement unaudited replay-ready

The Tu-Deng Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Boolean functions; combinatorial number theory
partial unreviewed

The Dimer Constant of the Cubic Lattice

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Statistical mechanics
resolved unreviewed

Maxwell's Three-Charge Equilibrium Bound

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Classical electrostatics
candidate unreviewed

Graffiti Conjecture 6

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
candidate lean verified statement audited

Written on the Wall II, Graph Conjecture 217

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory (automated conjecture)
candidate unreviewed

Sombor-Energy Conjecture

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Spectral graph theory
resolved unreviewed

Non-Covering Congruence Systems over Fq[x]

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Function-field arithmetic
resolved unreviewed

Local Cohomology Modules With Nonclosed Support

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Commutative Algebra, Local Cohomology
resolved lean verified statement audited replay-ready

Erdős Problem #106

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete Geometry, Packing
resolved unreviewed

Lami-Regula Conjecture on Entanglement Irreversibility

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum information
resolved unreviewed

Written on the Wall II, Conjecture 284

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory (automated conjecture)
resolved unreviewed

Optimal Partial Plank Coverings

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete Geometry, Coverings
resolved independent expert verified replay-ready

Huneke-Wiegand Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Commutative Algebra
resolved unreviewed

Bosonic Quantum Communication Beyond the Thermal Threshold

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum Information, Bosonic Channels
resolved unreviewed

Twelve Common Flex Lines in a General Pencil of Cubics

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic Geometry, Plane Curves
resolved unreviewed

Completeness of Fixed-Order Atom-Centered Descriptors

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Invariants of point configurations
resolved unreviewed

The Lukic Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Spectral theory
resolved lean verified statement audited replay-ready

Optimal Exponent Relating Sumsets and Difference Sets

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive combinatorics
resolved unreviewed

Sharp Bounds on the Ground State Energy of the SYK Model

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Mathematical Physics, Random Matrices
resolved unreviewed

Maxwell's Conjecture on Point-Charge Equilibria

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Classical electrostatics
resolved unreviewed

Tournaments Determined by Three and Five Voters

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Social Choice, Tournaments
resolved unreviewed

Improved Bounds for Distinct Multiples in Intervals

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Erdős–Pomerance Functions
resolved unreviewed

Boucksom's Local Analytic Bertini Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Pluripotential theory
resolved unreviewed

Stanley's Problem 4 on Differential Posets

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Differential posets
resolved lean verified statement audited replay-ready

Written on the Wall II, Graph Conjecture 109

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph invariants
resolved unreviewed

Existence of Bipartite Bound Information

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Classical & quantum information theory
resolved unreviewed

The 4^k Barrier for the k-Distinct Language

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Parameterized automata
resolved unreviewed

Monotone Slowdown of Turbulent Flame Speed under Curvature

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Partial differential equations
resolved lean verified statement audited replay-ready

Kemeny Rank Aggregation for Three Voters

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Computational social choice
resolved unreviewed

Probabilistic Automatic Complexity Is At Most Three

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Automata Theory, Descriptional Complexity
resolved independent expert verified replay-ready

Crouzeix's Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Matrix analysis
resolved unreviewed

KLS Conjecture for Quadratic Forms

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Asymptotic convex geometry
resolved unreviewed

Unimodality of Kazhdan-Lusztig Polynomials of Matroids

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic combinatorics
partial unreviewed

The Hall-Ho Heat Flow Conjecture for Random Matrices

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Random matrix theory
resolved unreviewed

Kinetic Trace Estimates in the Gaussian Model

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Kinetic theory
resolved unreviewed

Sharp Continuity Bound for Quantum Conditional Entropy

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum information theory
resolved unreviewed

Kuperberg's Six-Cylinder Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete geometry
resolved lean verified statement audited replay-ready

Feige's Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability
resolved lean verified statement audited replay-ready

Explicit Presentation of the 2-adic Absolute Galois Group

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic number theory
resolved unreviewed

The Covering Number $C(12,6,4)$

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Design theory
resolved unreviewed

Zero Forcing versus Independence in Subcubic Graphs

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
resolved unreviewed

Carrasco's Conjecture on the O'Shea-Zames-Falb Test

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Control theory
resolved unreviewed

Carlson's Associated-Prime Depth Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group cohomology
retracted contested

Erdős Problem #684

VibeMathed reports this item as retracted. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Binomial Coefficients
resolved unreviewed

Černý Conjecture for One-Cluster Automata

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Automata theory
candidate lean verified statement audited

Erdős Problem #768

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Multiplicative
resolved unreviewed

The Graveyard Problem for Dissipative Barrier Truncations

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Computational spectral theory
resolved unreviewed

Rota's Unimodality Conjecture for Matroid Flats

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Matroid theory
candidate lean verified statement audited

Erdős Problem #131

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Additive Combinatorics
partial unreviewed

Minimum Sparsity of S-Decoding Polynomials

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Private information retrieval
resolved unreviewed

A Five-Variable Counterexample to the Hessian Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Affine Algebraic Geometry, Polynomial Maps
partial unreviewed

Reiner's Conjecture on Higher Bruhat Orders in Corank 3

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic combinatorics
resolved unreviewed

Monical's Saturated Newton Polytope Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Newton polytopes
resolved unreviewed

Two-Copy Distillability of Werner States

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Entanglement theory
resolved unreviewed

Araujo-Piga-Schacht Question on Tight Hamilton Cycles

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Hypergraph theory
resolved unreviewed

Petersen Coloring Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
candidate lean verified statement audited

Erdős Problem #593

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Infinite Hypergraph Theory
resolved unreviewed

Stanley's Claw-Free Schur-Positivity Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic combinatorics
candidate lean verified statement audited

Erdős Problem #1177

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Infinite Hypergraph Theory
resolved unreviewed

Unconditional One-Bit Unclonable Encryption

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum cryptography
resolved unreviewed

Uniqueness of the Faber–Krahn Position of Convex Bodies

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Spectral Geometry, Convex Geometry
resolved unreviewed

The Liu-Morin Extension Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Homological algebra
resolved unreviewed

The Separable Jacobian Conjecture in Characteristic 2

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Affine algebraic geometry
candidate unreviewed

WOWII Conjecture 72: Two induced trees pin down tree($ G $)

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory (induced trees / graph invariants)
candidate unreviewed

Spectral Edge of the Quartic SYK Model

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Random matrices & quantum many-body theory
resolved unreviewed

Dinitz-Garg-Goemans Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial Optimization
resolved unreviewed

Stability Radius of the Lamplighter Group

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group theory
resolved unreviewed

The Polynomial-Time Low-Degree Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Average-case complexity
resolved unreviewed

The Minimal Distance Problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete geometry
resolved lean verified statement audited replay-ready

Written on the Wall II, Graph Conjecture 103

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph invariants
resolved unreviewed

Levit–Mandrescu Unimodality Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory, Independence Polynomials
resolved unreviewed

Graffiti Conjecture 284

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Spectral graph theory
resolved unreviewed

Nikolov-Ullman Pure-DP Query Release Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Differential privacy
resolved unreviewed

$e$-Log-Concavity of Chromatic Quasisymmetric Functions

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic combinatorics
partial unreviewed

Dittert's Conjecture in Dimension 16

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Linear Algebra, Permanents
resolved unreviewed

Strong Log-Concavity of Chernoff's Density

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability & statistics
resolved unreviewed

Norine's Antipodal-Colouring Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory, Topological Combinatorics
resolved lean verified statement audited replay-ready

Written on the Wall II, Graph Conjecture 143

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph invariants
resolved lean verified statement audited replay-ready

Erdős Problem #469

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Divisors
resolved unreviewed

The mod 4 Kawauchi Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Knot theory
resolved unreviewed

Batyrev's Stringy Hodge Number Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic Geometry
resolved lean verified statement audited replay-ready

Kourovka Problem 20.125 - Noninjective Rota-Baxter Operator

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group theory
resolved lean verified statement audited replay-ready

Kourovka Problem 21.24 - Cograph Power Graphs Are Chordal

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group theory
resolved unreviewed

The Virtual Surjection Conjecture for Discrete Groups

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Geometric group theory
resolved lean verified statement audited replay-ready

Kourovka Problem 21.8 - Horizontal Class Transpositions

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group theory
resolved unreviewed

Full-RSB in the Sherrington–Kirkpatrick spin glass

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Mathematical physics
resolved lean verified statement audited replay-ready

Kourovka Problem 21.147 - Relatively Convex Subgroups

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group theory
resolved unreviewed

Gaussian Moments Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability, Commutative Algebra
candidate lean verified statement audited

Erdős Problem #424

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Integer Sequences
resolved lean verified statement audited replay-ready

Gaussian product inequality conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability & statistics
resolved lean verified statement audited replay-ready

Kourovka Problem 19.25 - Totient Sums and Simplicity

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group theory
resolved independent expert verified replay-ready

Jacobian Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic Geometry
resolved unreviewed

The Toroidal Elton–Odell Theorem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Banach Space Geometry
resolved unreviewed

Primariness of the Mixed-Norm Space $L_p(L_1)$

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Banach Space Decomposition Theory
resolved unreviewed

Weakly Compact Factorization Through a Space With a Basis

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Banach Space Factorization
resolved unreviewed

Strict Cosingularity and Adjoints for Separable Range

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Banach Space Operator Ideals
resolved unreviewed

A Unital Banach Algebra That Is Not a Calkin Algebra

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Banach Algebras, Operator Theory
candidate lean verified statement audited

Erdős Problem #390: the second-order constant for $f(n)-2n$

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

factorials
resolved unreviewed

Online Spencer Vector-Balancing Question

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrepancy theory
resolved unreviewed

Fulek's Question on the Extremal Function of $L_3$

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal combinatorics
resolved unreviewed

The Homogeneous Polynomial Lyapunov Converse Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Control theory
resolved unreviewed

Feige's Hypergraph Moore-Bound Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal combinatorics
resolved unreviewed

Belinskaya's Theorem for Measure-Preserving Flows

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Ergodic Theory, Orbit Equivalence
partial unreviewed

The Abbott-Hanson Recurrence for Schur Numbers

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Ramsey theory
resolved unreviewed

The Order of Long Rainbow Arithmetic Progressions

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Ramsey theory
resolved unreviewed

Erdos-Graham Question on Averages of Unit Fractions

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number theory
resolved unreviewed

Cutoff for Kac's Walk on the Sphere

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Markov chains
resolved unreviewed

Quantum Memory Advantage for Process Tomography

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum information
resolved unreviewed

The Weak Simplex Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Information theory
resolved unreviewed

Record Compositions of Alternating Permutations

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Enumerative Combinatorics, Symmetric Functions
resolved lean verified statement audited replay-ready

Sabidussi's Compatibility Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
resolved unreviewed

Brualdi's Question on Hamiltonicity of Interchange Graphs

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial matrix theory
resolved unreviewed

Thakur's Conjecture on Carlitz-Wieferich Primes

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Function field arithmetic
candidate lean verified statement audited

Erdős Problem #254

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Complete Sequences
open lean verified statement audited

Erdős Problem #584

VibeMathed reports this item as open. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal Graph Theory
resolved unreviewed

Benjamini-Hochberg FDR Under Correlated Gaussian Tests

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Statistics
partial lean verified statement audited replay-ready

Erdős Problem #769

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete Geometry
candidate lean verified statement audited

Erdős Problem #394

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Multiplicative
partial lean verified statement audited replay-ready

Erdős Problem #130

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete Geometry, Chromatic Number
partial lean verified statement audited replay-ready

Erdős Problem #959

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Distinct Distances
partial lean verified statement audited replay-ready

Erdős Problem #709

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal Divisibility
candidate lean verified statement audited

Erdős Problem #538

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Multiplicative Combinatorics
partial unreviewed

Optimal Chain Density and Space-Time Tradeoffs for the TSP

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal Set Theory, Algorithms
resolved unreviewed

Krauth-Mezard Storage Capacity of the Ising Perceptron

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability
candidate lean verified statement audited

Erdős Problem #267

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Irrationality
partial lean verified statement audited replay-ready

Erdős Problem #1189

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Covering Systems
candidate lean verified statement audited

Erdős Problem #450

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Divisors
candidate lean verified statement audited

Erdős Problem #489

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Sieve Theory
resolved unreviewed

Two Counterexamples in the Geometry of Numbers

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Geometry of Numbers, Lattices
resolved unreviewed

Ross's Two Conjectures on Nondeficient Numbers

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number theory
candidate lean verified statement audited

Erdős Problem #336

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Additive Basis
candidate lean verified statement audited

Erdős Problem #1188

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Covering Systems
partial unreviewed

Erdős Problem #1186

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Arithmetic Ramsey Theory
resolved unreviewed

Type-D ASEP Tracy-Widom Marginals

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Interacting particle systems
candidate lean verified statement audited

Erdős Problem #796

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Multiplicative Combinatorics
open lean verified statement audited

Erdős Problem #662

VibeMathed reports this item as open. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete Geometry
resolved unreviewed

Tightness of the Cohn-Elkies Bound in Dimension 36

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Sphere packing
resolved unreviewed

The Classical Smith-Ward Problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Operator algebras
resolved unreviewed

The Coxeter Code Minimum Distance Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Coding theory
resolved lean verified statement audited replay-ready

Elizalde-Luo Pattern-Avoidance Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Enumerative combinatorics
resolved lean verified statement audited replay-ready

Grothendieck's Finite Flat Group Scheme Order Question

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic Geometry
partial unreviewed

New Bounds for Double Covers of the Discrete Box

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal Combinatorics, Covering Problems
resolved lean checked statement unaudited replay-ready

Cycle Double Cover Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory
resolved unreviewed

Minimum Edge-Outerplanar Embedding

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph algorithms
resolved unreviewed

Purdy's Inequality for Hyperplane Arrangements

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete geometry
resolved lean verified statement audited replay-ready

Strichartz's Question on Fourier Frames for the Cantor Measure

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Harmonic analysis
resolved unreviewed

Kurkov's Fubini-Number Sum Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Enumerative combinatorics
partial lean verified statement audited replay-ready

Erdős Problem #866

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive Combinatorics
resolved unreviewed

The Quantum Wasserstein Semidistance Is Not a Distance

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum Information, Optimal Transport
resolved unreviewed

Faber-Harris Conjecture on the Isolation Lemma

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal combinatorics
partial unreviewed

Amdeberhan-Medina-Moll Arctangent Sum Conjecture

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number theory
resolved unreviewed

Optimal Online Discrepancy in Linear Time

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrepancy theory
resolved unreviewed

Signed BAR Conjecture for Reflected Brownian Motion

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Stochastic networks
resolved unreviewed

The Tree Product Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Structural graph theory
resolved unreviewed

The Signed BAR Uniqueness Problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Stochastic processes
resolved unreviewed

White's Conjecture on Matroids

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Matroid theory
resolved unreviewed

Log-Concavity of Flats of Matroids

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Matroid theory
partial unreviewed

North-East Lattice Paths with Few Collinear Vertices

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete geometry - lattice paths
resolved lean verified statement audited replay-ready

Erdős Problem #123

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
candidate unreviewed

Erdős Problem #1038

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal Polynomials
resolved unreviewed

Erdős Problem #119

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analysis, Polynomials
resolved unreviewed

Erdős Problem #321

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Unit Fractions
resolved lean verified statement audited replay-ready

Erdős Problem #793

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved unreviewed

Erdős Problem #320

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Unit Fractions
resolved unreviewed

Bertoin-Yor Moment Determinacy Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability
resolved unreviewed

The da Silva Machado-Seade Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Singularity theory
partial unreviewed

Seymour's Second Neighborhood Conjecture

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
resolved unreviewed

Rectangles versus Isosceles Triangles in Lattice Sets

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial geometry
resolved lean verified statement audited replay-ready

FGG Conjecture for QAOA on the Ring of Disagrees

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum optimization
resolved unreviewed

Mossel-Peres Multivariable Bernoulli Factory Claim

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability
resolved lean verified statement audited replay-ready

The Erdos-Sos Pairwise-Sums Problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive combinatorics
partial unreviewed

Erdos Problem #731

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number theory
resolved unreviewed

Conjecture on $k$-Antichains in the Unit Cube

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorics
resolved unreviewed

Lassak's Area Bound for Reduced Planar Bodies

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Convex geometry
candidate unreviewed

Erdős Problem #1061

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic Number Theory
resolved unreviewed

Erdos Problem #1061

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number theory
resolved unreviewed

The Existence Problem for Regular Gabor Frames

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Harmonic analysis
resolved unreviewed

Erdos Problems #593 and #1177

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Infinite combinatorics
partial unreviewed

The Erdos-Lovasz Cover Number Problem

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal combinatorics
resolved unreviewed

Erdos Problem #768

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number theory
resolved lean verified statement audited

Erdős Problem #865

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Additive Combinatorics
partial unreviewed

The Finite Field Restriction Problem for the Paraboloid

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Harmonic analysis
candidate lean verified statement audited

Erdős Problem #671

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analysis, Interpolation
candidate unreviewed

Erdős Problem #550

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory, Ramsey Theory
resolved lean verified statement audited

Erdős Problem #1197

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analysis
partial lean verified statement audited replay-ready

Erdős Problem #176

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrepancy Theory
candidate lean verified statement audited

Erdős Problem #346

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Complete Sequences
resolved unreviewed

Erdős Problem #948

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Ramsey Theory
candidate lean verified statement audited

Erdős Problem #306

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Unit Fractions
resolved unreviewed

Conjecture 3 of the Dynamical Sampling Survey

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Frame theory
resolved unreviewed

Sabok's S-Prime Simplex Questions

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Convex geometry
partial unreviewed

Erdős Problem #451

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Primes
resolved unreviewed

Erdős Problem #986

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory, Ramsey Theory
resolved unreviewed

The Yun-Sra-Jadbabaie SS-RS-GD Inequalities

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Optimization
partial unreviewed

The Erdos-Hajnal High-Girth Subgraph Conjecture

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
resolved unreviewed

Wegner's Piercing Conjecture for Rectangles

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete geometry
partial unreviewed

Vinzant's Conjecture on Phase Retrieval Injectivity

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Frame theory
resolved unreviewed

The Near-Quadratic Elekes-Ronyai Expander Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive combinatorics
partial lean verified statement audited replay-ready

Erdős Problem #942

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Powerful Numbers
candidate lean verified statement audited

Erdős Problem #326

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Additive Bases
resolved unreviewed

The Erdos-Graham Semiprime Unit Fraction Problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number theory
resolved unreviewed

Koch-Narayan Conjecture 1

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal graph theory
resolved unreviewed

Graffiti Conjecture 143

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Spectral graph theory
resolved unreviewed

Sun's Conjecture 4.6(ii) on Trigonometric Permanents

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Experimental number theory
resolved unreviewed

TxGraffiti-Davila Conjecture 9

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph domination & zero forcing
resolved unreviewed

The Quantum Pyramids Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum information
resolved unreviewed

Pandey Parity Conjecture for Generalized Petersen Graphs

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Independence polynomials
open unreviewed

Graffiti Conjecture 154 (Standard-Deviation Reading)

VibeMathed reports this item as open. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Spectral graph theory
resolved unreviewed

IRIS Conjecture 6.1 on Simple 3-Polytopes

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Polyhedral combinatorics
resolved unreviewed

The Matrix Spencer Conjecture for Finite Groups

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrepancy theory
resolved unreviewed

The Schwartz Quadratic Meander Number Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorics
resolved lean verified statement audited replay-ready

Erdős Problem #539

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Multiplicative Combinatorics
resolved unreviewed

The Sharp Threshold for the Dyn-Farkhi Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Convex geometry
resolved lean verified statement audited

Erdős Problem #619

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory
resolved unreviewed

The Odd Area Conjecture for Unit Disks

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete geometry
resolved lean verified statement audited

Erdős Problem #696

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Divisors
candidate unreviewed

Erdős Problem #623

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Set Theory, Infinite Combinatorics
resolved independent expert verified replay-ready

FullRSB Jamming Identity a + b = 1

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Statistical physics
resolved unreviewed

Divisibility Set of the Generalized Euler Totient

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Multiplicative number theory
candidate unreviewed

Erdős Problem #477

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive Number Theory
partial unreviewed

Gaussian Mass Maximality of the Integer Lattice

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Geometry of numbers
partial unreviewed

The Thin Matching Problem

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph algorithms
resolved unreviewed

Zhang's Question on Howson and Strongly Howson Groups

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group theory
resolved unreviewed

Unit-Area Triangles in Planar Sets of Large Measure

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Harmonic analysis
resolved unreviewed

The Arborescence-Sampling Barrier for Eulerian Tours

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Randomized algorithms
resolved unreviewed

The Aluffi-Chen-Marcolli Real-Rootedness Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic geometry
resolved unreviewed

The Sum-Product Conjecture over the Reals

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive combinatorics
resolved unreviewed

Bombari's Question on Sign-Quantized Linear Maps

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability
partial unreviewed

Borsuk Conjecture lowest-ever counterexample (N=63)

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete geometry
resolved unreviewed

Positivity of Chern Classes of Symmetric Powers

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Enumerative geometry
resolved unreviewed

Open Problems in Commutative Algebra Resolved by Rethlas

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Commutative algebra
resolved unreviewed

Simon's Extendable Shellability Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial topology
resolved unreviewed

Optimal Vector Balancing for Zonotopes

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrepancy theory
resolved unreviewed

Binary Digits of the Erdős-Borwein Constant

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Digital number theory
resolved lean verified statement audited replay-ready

Log-Concavity of Codimension-Three Pure O-Sequences

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Commutative algebra
partial unreviewed

Shokurov's Global Index Conjecture for Foliations

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Birational geometry
resolved unreviewed

Han and Jiang's Question on klt Type in Flat Families

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Birational geometry
partial lean verified statement audited replay-ready

Erdős Problem #12

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal Number Theory
partial lean verified statement audited replay-ready

Four-Particle Monochromatic Quantum Graphs

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum optics & graph amplitudes
resolved lean verified statement audited replay-ready

Erdős Problem #138

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Ramsey Theory
resolved lean verified statement audited replay-ready

Written on the Wall II, Graph Conjecture 2

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal graph theory
partial lean verified statement audited replay-ready

Monochromatic Quantum Graphs in the Diagonal Family

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum optics & graph amplitudes
resolved lean verified statement audited replay-ready

Ben Green's Open Problem 57

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Higher-order Fourier analysis
resolved unreviewed

Erdős Problem #387

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number theory
resolved unreviewed

Kollár and Kovács's Question on Cohomology of Fibers

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic geometry
partial unreviewed

Polylogarithmic Full-Chord Buffon Discrepancy

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrepancy theory / integral geometry
resolved unreviewed

Log-Convexity of Fisher Information Along Heat Flow

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Information theory
resolved independent expert verified replay-ready

Integral Local Invariant Cycles in Degree One

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic geometry
resolved lean verified statement audited replay-ready

Erdős Problem #1039

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Complex Analysis
resolved unreviewed

Existence of $t$-Edge-Balanced Graphs for $t \ge 3$

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Design theory
resolved independent expert verified replay-ready

Total Variation for the Lamplighter Walk on Z

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability on groups
resolved independent expert verified replay-ready

Return Probability for the Lamplighter Walk on a Tree

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability on groups
resolved unreviewed

The Kinoshita Conjecture and Kirby Problem 4.37

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

4-manifold topology
resolved unreviewed

Ben Green's Open Problem 90

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive combinatorics
resolved unreviewed

Gaussian Completely Monotone Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Entropy & heat flow
resolved unreviewed

Talagrand's Convexity Problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

High-dimensional probability
resolved unreviewed

Erdős Problem #690

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
partial lean verified statement audited replay-ready

Erdős Problem #1032

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Critical Graph Theory
retracted contested

Erdős Problem #7

VibeMathed reports this item as retracted. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Covering Systems
resolved unreviewed

Odifreddi's Problem 3 on Irreducible m-Degrees

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Computability theory
resolved lean verified statement audited

Erdős Problem #750

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory, Chromatic Number
resolved unreviewed

Litvak's Conjecture on Gaussian Minima

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

High-dimensional probability
resolved lean verified statement audited

Erdős Problem #351

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Complete Sequences
resolved lean verified statement audited

Erdős Problem #283

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Unit Fractions
candidate unreviewed

Erdős Problem #870

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Additive Bases
resolved lean verified statement audited

Erdős Problem #694

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved unreviewed

The Banks-Martin Conjecture on Primitive Sets

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number theory
resolved unreviewed

The Largest Sum-Free Subset of the Lattice Cube

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive combinatorics
resolved unreviewed

Carbery's Almost-Orthogonality Inequality in Lp

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Functional analysis
resolved independent expert verified replay-ready

Erdős's Planar Unit Distance Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial Geometry
partial unreviewed

Erdős Problem #1201

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Primes
resolved unreviewed

The Proportion of Permutations Fixing a k-Set

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Permutation combinatorics
candidate lean verified statement audited

Erdős Problem #1151

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analysis, Polynomials
candidate unreviewed

Erdős Problem #1133

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Approximation Theory
resolved unreviewed

Kirby Problem 5.16 for Noncommutative Semifree DGAs

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Decision problems in topology
resolved unreviewed

Erdős Problem #1092

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory, Chromatic Number
partial unreviewed

Erdős Problem #1101

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Sieve Theory
resolved unreviewed

Erdős Problem #43

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Sidon Sets
candidate unreviewed

Erdős Problem #953

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Geometric Measure Theory
resolved lean verified statement audited

Erdős Problem #42

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Sidon Sets, Additive Combinatorics
resolved unreviewed

Mixing Time of Kac's Walk on the Rotation Group

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Markov chain mixing
resolved unreviewed

Erdős Problem #896

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
candidate unreviewed

Erdős Problem #906

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analysis, Entire Functions
resolved unreviewed

Erdős Problem #888

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Squares
resolved lean verified statement audited

Erdős Problem #38

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved lean verified statement audited

Erdős Problem #1138

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Primes
partial lean verified statement audited replay-ready

Optimal Strategies in the All-Heads Coin Game

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Markov decision processes
resolved lean verified statement audited

Erdős Problem #330

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Additive Basis
resolved lean verified statement audited

Erdős Problem #1014

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory, Ramsey Theory
resolved lean verified statement audited

Erdős Problem #1190

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Covering Systems
resolved lean verified statement audited

Erdős Problem #202

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Covering Systems
resolved unreviewed

Erdős Problem #863

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Sidon Sets, Additive Combinatorics
candidate unreviewed

Erdős Problem #996

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analysis, Fourier Series
resolved lean verified statement audited

Erdős Problem #610

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory
resolved unreviewed

Erdős Problem #603

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorics, Set Theory
resolved lean checked statement unaudited replay-ready

Nathanson's Problems on Product Intersection Sets

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive and multiplicative combinatorics
candidate unreviewed

Erdős Problem #522

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Random Polynomials
resolved unreviewed

Erdős Problem #1195

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analysis, Number Theory
resolved lean checked statement unaudited replay-ready

Erdős Problem #670: Diameter with Separated Distances

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial geometry
resolved unreviewed

Wickstead's Conjecture on Positive Projections

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Banach lattices
resolved lean verified statement audited

Erdős Problem #741

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive Combinatorics
resolved unreviewed

Erdős Problem #1217

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Divisors, Primitive Sets
resolved unreviewed

Avidor-Zwick Question on Low-Dimensional Max-Cut SDP

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Approximation algorithms
candidate unreviewed

Erdős Problem #856

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved unreviewed

Erdős Problem #858

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Primitive Sets
resolved lean verified statement audited

Erdős Problem #258

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Irrationality
resolved lean verified statement audited

Erdős Problem #990

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analysis
resolved unreviewed

Erdős Problem #987

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analysis, Discrepancy
resolved unreviewed

Erdős Problem #960

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Geometry
resolved unreviewed

Erdős Problem #1091

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory, Chromatic Number
resolved lean verified statement audited

Erdős Problem #1141

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Primes
resolved unreviewed

Exhaustive AdaBoost Cycling Question

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Learning theory
resolved unreviewed

Thiele Rules on the Voter Interval Domain

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Computational social choice
open unreviewed

Erdős Problem #26

VibeMathed reports this item as open. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Divisors
resolved unreviewed

Equality in Fill's Spectral Gap Problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Markov chains
resolved lean verified statement audited replay-ready

Anderson's Quasi-Completeness Question

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Commutative algebra
resolved lean verified statement audited replay-ready

Last-Iterate Rate for Anchored Gradient Descent-Ascent

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Convex optimization
resolved unreviewed

Erdős Problem #152

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Sidon Sets
candidate unreviewed

Bipartite Exact Matching in P

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algorithms; derandomization
resolved unreviewed

Erdős Problem #1202

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Primes
resolved lean verified statement audited replay-ready

Erdős Problem #1196: Primitive Sets

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
partial unreviewed

Erdős Problem #514

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Entire Functions
resolved lean verified statement audited

Erdős Problem #997

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analysis, Discrepancy, Primes
resolved unreviewed

Counting Partial Hadamard Matrices in the Cubic Regime

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Random matrices; enumeration
resolved lean checked statement unaudited replay-ready

Sárközy's Conjecture on Sums and Products Modulo a Prime

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive combinatorics over finite fields
resolved unreviewed

Erdős Problem #380

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
partial unreviewed

Improved Approximation Ratios for Multiway Cut

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Approximation algorithms
resolved lean verified statement audited

Erdős Problem #125

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Base Representations
resolved lean verified statement audited

Erdős Problem #369

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
partial lean checked statement unaudited replay-ready

The Lattice Triangle Problem in the Hard Obtuse Window

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Teichmüller dynamics
resolved lean verified statement audited replay-ready

Hamilton Decompositions of the Directed 3-Torus

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph decompositions
resolved unreviewed

Ramsey-Style Hypergraph Partition Bound H(n)

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal combinatorics
resolved unreviewed

Erdős Problem #1153

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analysis, Polynomials
resolved independent expert verified replay-ready

Simplicity of the Hodge Bundle

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic geometry
resolved unreviewed

Manin's Question on R-Equivalence for the Diagonal Cubic

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Arithmetic geometry
resolved lean verified statement audited

Erdős Problem #1148

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved lean verified statement audited replay-ready

Equilibria of the Vlasov-Maxwell-Landau System

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Kinetic PDE
partial unreviewed

Pach's Tangency Conjecture: Improved Bounds

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial geometry
partial unreviewed

Kissing Number in 19 Dimensions

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Sphere packings
partial unreviewed

Nine Ramsey Number Lower-Bound Records

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Ramsey theory
resolved unreviewed

Transposition is Nearly Optimal for IID List Update

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Online algorithms
partial unreviewed

A 24-Vertex Triangulation of Real Projective 5-Space

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial topology
resolved lean verified statement audited

Erdős Problem #650

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved lean verified statement audited

Erdős Problem #457

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved lean verified statement audited replay-ready

Erdős Problem #966

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive Combinatorics, Ramsey Theory
resolved lean verified statement audited

Erdős Problem #846

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Geometry
resolved unreviewed

Ran-Teng Conjecture 20 on 4-Cycle Stochastic Matrices

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Matrix analysis
candidate unreviewed

First Proof Question 8: Smoothing Polyhedral Lagrangians

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Symplectic topology
resolved unreviewed

Single-Minus Gluon Tree Amplitudes

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Scattering amplitudes
resolved unreviewed

Erdős Problem #851

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved lean checked statement unaudited replay-ready

Almost All Primes are Partially Regular

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic number theory
resolved lean verified statement audited

Erdős Problem #347

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Complete Sequences
resolved lean checked statement unaudited replay-ready

Chen-Gendron Spin-Parity Identity for k-Differentials

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Flat surfaces & moduli
resolved lean checked statement unaudited replay-ready

Fel's Conjecture on Syzygies of Numerical Semigroups

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Commutative algebra
resolved unreviewed

Erdős Problem #1089

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Geometry, Distances
partial independent expert verified replay-ready

Erdős Problem #1040

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Potential Theory
open independent expert verified

Erdős Problem #654

VibeMathed reports this item as open. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial Geometry
resolved lean verified statement audited

Erdős Problem #1051

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Irrationality
resolved lean checked statement unaudited replay-ready

A Generalization of Boppana's Entropy Inequality

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Entropy inequalities
resolved unreviewed

Erdős Problem #543

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Group Theory
resolved lean verified statement audited

Erdős Problem #281

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Covering Systems
resolved lean verified statement audited

Erdős Problem #659

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Geometry, Distances
resolved lean verified statement audited

Erdős Problem #401

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Factorials
resolved lean verified statement audited

Erdős Problem #729

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Factorials
resolved lean verified statement audited

Erdős Problem #205

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved lean verified statement audited

Erdős Problem #397

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Binomial Coefficients
resolved lean verified statement audited replay-ready

Erdős Problem #728: Factorial Divisibility

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved lean verified statement audited

Erdős Problem #871

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Additive Basis
partial unreviewed

Large Hypercube Intervals in Bruhat Order

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Coxeter combinatorics
resolved lean verified statement audited

Erdős Problem #897

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved lean verified statement audited

Erdős Problem #333

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Additive Basis
resolved lean verified statement audited replay-ready

Erdős Problem #1026: Monotonic Subsequence Sums

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorics
partial unreviewed

The Lonely Runner Conjecture for Nine and Ten Runners

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Diophantine approximation
resolved unreviewed

Erdős Problem #848

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
partial unreviewed

Sum-Difference Exponents for Boundedly Many Slopes

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Arithmetic combinatorics
resolved lean verified statement audited replay-ready

Erdős Problem #707: Sidon Sets and Perfect Difference Sets

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial number theory
retracted unreviewed

Cohen's 22 Conjectures on Cyclic Numbers

VibeMathed reports this item as retracted. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Elementary number theory
resolved unreviewed

Babai and Frankl's Oddtown Question for Composite Moduli

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal set theory
resolved unreviewed

Vertex-Minimal Paper Tori

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Polyhedral geometry