VibeGene

Entries

• Lower bound for the complex Grothendieck constant

  ProvedPartialSolved 2026-09-07Score +0

• Koizumi–Liu Eventual Sign Alternation Conjecture

  DisprovedSolved 2026-09-07Score +0

• Sharp Finite Markov Order in Intrinsic Sofic Dimension

  ProvedUnder reviewSolved 2026-09-08Score +0

• Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids

  ProvedPartialSolved 2026-09-08Score +0

• Measures on Partial Orders

  ProvedSolved 2026-09-01Score +0

• Interior Curvature Estimates for the Graphical Scalar Curvature Equation in All Dimensions

  ProvedSolved 2026-09-02Score +0

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

  DisprovedSolved 2026-08-28Score +0

• The Radchenko–Viazovska question on Fourier interpolation

  DisprovedSolved 2026-08-13Score +0

• Courtade's conjecture on volumes of Minkowski sums with the ball

  DisprovedSolved 2026-08-13Score +0

• Unbounded variation solutions for uniformly elliptic equations in nondivergence form in dimension three

  DisprovedSolved 2026-08-13Score +0

• The Daykin–Frankl conjecture on convex subsets of the Boolean lattice

  ProvedSolved 2026-09-02Score +0

• Erdős Problem #74: locally almost bipartite graphs of infinite chromatic number

  DisprovedSolved 2026-08-28Score +0

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

  ProvedSolved 2026-08-28Score +0

• Erdős Problem #571: rational exponents for bipartite Turán numbers

  ProvedSolved 2026-08-26Score +0

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

  ProvedSolved 2026-08-26Score +0

• Erdős Problem #1: sum-distinct sets

  DisprovedSolved 2026-08-28Score +0

• The γ–θ conjecture in eternal domination

  DisprovedUnder reviewSolved 2026-09-05Score +0

• The Ibragimov–Iosifescu conjecture for φ-mixing sequences

  DisprovedUnder reviewSolved 2026-09-05Score +1

• Köthe Conjecture

  DisprovedUnder reviewSolved 2026-09-03Score +4

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

  DisprovedUnder reviewSolved 2026-09-03Score +0

• A Quantum Oracle Separation Between $\mathsf{QMA}(2)$ and $\mathsf{QMA}$

  ProvedSolved 2026-09-02Score +0

• A Smooth Counterexample to the Trautman Conjecture

  DisprovedSolved 2026-09-02Score +0

• Conway's Refinement Conjecture for Omnific Integers

  ProvedUnder reviewSolved 2026-09-03Score +0

• Depth-1 distinctness for pseudorandom unitaries

  DisprovedSolved 2026-09-02Score +0

• Improved maximal prime-gap lower bound

  ProvedPartialSolved 2026-09-03Score +1

• Prime Gaps at Most 186

  ProvedPartialSolved 2026-09-03Score +0

• Anari's Bethe permanent conjecture

  ProvedSolved 2026-09-02Score +0

• Logarithmic basis number of graphs

  ProvedSolved 2026-09-02Score +0

• An Explicit Counterexample to the Rank-Two Poisson Conjecture

  DisprovedSolved 2026-07-22Score +0

• McKean Entropy-Production Conjecture

  DisprovedSolved 2026-09-01Score +0

• A Counterexample to the Stable Forking Conjecture

  DisprovedSolved 2026-08-31Score +1

• Entropy of Bernoulli Measures Conditioned on Affine Subspaces and a Problem of Ancheta-Massey

  ProvedSolved 2026-08-24Score +0

• Common Neighbour Conjectures for Saxl Graphs

  DisprovedSolved 2026-09-01Score +0

• Improving Randomized Metric Distortion to 2.3282

  ProvedPartialSolved 2026-08-29Score +0

• Graffiti Conjecture 806

  DisprovedSolved 2026-08-26Score +0

• Fröberg’s conjecture for quintics and septics in four variables

  ProvedPartialSolved 2026-08-25Score +0

• Supporting affine functionals for Entanglement of Formation

  DisprovedSolved 2026-08-27Score +0

• Failure of Higher-Order Truth within Intuitionistic Propositional Logic

  DisprovedSolved 2026-08-27Score +0

• Large systoles in every sufficiently large genus

  ProvedPartialSolved 2026-08-27Score +0

• Rapid mixing for spin systems on graphs of girth at least five

  ProvedPartialSolved 2026-08-26Score +1

• Nevanlinna’s half-plane omitted-values problem

  DisprovedSolved 2026-08-24Score +0

• Equivalence of generic stability notions for Keisler measures

  ProvedSolved 2026-08-25Score +2

• Rivière’s regularity question for critical $n$-Laplace systems with antisymmetric potentials

  DisprovedSolved 2026-08-05Score +0

• Bounded mass property for compact complex manifolds

  DisprovedSolved 2026-08-21Score +0

• Smooth Random Fast Dynamo on the Three-Torus

  ProvedVariant onlySolved 2026-08-20Score +0

• Fourth-moment conjectures for Rademacher sums

  ProvedSolved 2026-08-18Score +1

• Talagrand’s convolution conjecture

  ProvedSolved 2026-08-16Score +0

• Stein’s dimension-free weak-(1,1) Riesz transform problem

  ProvedSolved 2026-08-18Score +2

• Universal volume growth bounds from positive intermediate curvature

  ProvedSolved 2026-08-13Score +0

• Uniform Székelyhidi conjectures for complex Hessian equations on projective manifolds

  ProvedPartialSolved 2026-08-04Score +0

• Every PPT channel has finite entanglement-breaking index

  ProvedSolved 2026-08-13Score +0

• Banach's isometric conjecture

  ProvedSolved 2026-08-13Score +4

• Petersen Coloring Conjecture

  DisprovedSolved 2026-07-23Score +5

• A counterexample to the Howland-Kato problem for positive commutators

  DisprovedSolved 2026-08-07Score +0

• Finite Generation for klt Generalized Pairs

  DisprovedSolved 2026-08-04Score +0

• Balanced EF1 and fPO Allocations

  ProvedSolved 2026-08-06Score +0

• Polynomial-Time MIMO Detection at the ML Threshold

  ProvedUnder reviewSolved 2026-08-08Score +0

Comments

• On Sharp Finite Markov Order in Intrinsic Sofic Dimension · 10 Sep 2026, 06:26 UTC

  Links have been fixed to point to r2

• On Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids · 10 Sep 2026, 06:22 UTC

  r3 has been published with expanded information. The description and links have been updated.

• On Sharp Finite Markov Order in Intrinsic Sofic Dimension · 08 Sep 2026, 17:17 UTC

  r2 has been published cleaning up the Lean proof. No material changes in the proof or any claims in the manuscript have been made as a result.

• On Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids · 08 Sep 2026, 17:17 UTC

  r2 has been published cleaning up the Lean proof. No material changes in the proof or any claims in the manuscript have been made as a result.

• On A complex structure on $S^2\times S^4$ · 07 Sep 2026, 10:59 UTC

  Significance seems missing.

• On Erdős Problem #501: infinite independent sets for families of small outer measure · 19 Aug 2026, 19:06 UTC

  AI contribution flag missing here.

• On Crouzeix's Conjecture · 19 Aug 2026, 05:03 UTC

  According to ChatGPT a v2 report was published yesterday with a significant expansion on the AI assistance details. Perhaps this submission should be updated

  https://arxiv.org/abs/2608.03841

• On The Proportion of Zeta Zeros on the Critical Line · 19 Aug 2026, 04:59 UTC

  For the "open number of years" case, I think partial results can fairly claim the years since the previous best result was known. Wikipedia says, "In 2020, the [RH percentage of zeros on the critical line] estimate was extended to five-twelfths (i.e., 41.6%) by Pratt, Robles, Zaharescu and Zeindler[43]", so it should be justifiable to say this is an improvement on a six-year problem.

• On Hadamard Matrix of Order 668 · 12 Aug 2026, 16:49 UTC

  As "the general Hadamard conjecture remains open", should this be marked as a "Partial" result?

Recent edits

• More links on Sharp Finite Markov Order in Intrinsic Sofic Dimension · 10 Sep 2026
• Source URL on Sharp Finite Markov Order in Intrinsic Sofic Dimension · 10 Sep 2026
• More links on Sharp Finite Markov Order in Intrinsic Sofic Dimension · 10 Sep 2026
• More links on Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids · 10 Sep 2026
• Source URL on Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids · 10 Sep 2026
• More links on Sharp Finite Markov Order in Intrinsic Sofic Dimension · 10 Sep 2026
• Source URL on Sharp Finite Markov Order in Intrinsic Sofic Dimension · 10 Sep 2026
• Statement on Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids · 10 Sep 2026
• More links on Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids · 10 Sep 2026
• Source URL on Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids · 10 Sep 2026
• What the AI did on Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids · 10 Sep 2026
• What was actually shown on Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids · 10 Sep 2026
• Verification note on Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids · 10 Sep 2026
• Short name on Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids · 10 Sep 2026
• Name on Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids · 10 Sep 2026

Showing the latest 15 of 16.