theoretical-computer-scienceAug 12, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
The manuscript claims a polynomial-time reduction from 3-SAT proving (2,1)-C1P NP-hard; together with membership in NP, this establishes NP-completeness and closes the sole unresolved (k,δ) case from the earlier classification. It also implies NP-completeness of the equivalent completion problem.
The proof package further shows that, within its specific nested-prefix/internal-local gadget architecture, no…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryAug 22, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
The manuscript claims Ca,b is transcendental for every a≥1 and b≥1−a, settling the positive integer-valued affine subclass of Erdős Problem 270. Two pieces of context matter. Problem 270 as Erdős and Graham posed it, for every f(n)→∞, was already answered no by Crmarić and Kovač in 2025: for any α>0 some such f makes the series sum to α. What survives is the non-decreasing case,…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationApr 7, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Thiele Rules on the Voter Interval Domain. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryMay 7, 2026Significance 12/100Registry: contested
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #7. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review! Disputed
quantum-information-computingAug 6, 2026Significance 12/100Registry: site confirmed
Prior state unknown→proved
Five existence statements, all by explicit construction: AME(12,5), AME(17,11), AME(18,11), AME(17,13) and AME(18,13). The [12,6,7]25 code came from a direct search with no symmetry imposed; its automorphism group turned out to have a regular Z32 coordinate orbit, and imposing that translation symmetry on two nine-coordinate orbits collapses an…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisAug 19, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Separation Between the Ordinary and Strong Kreiss Constants. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 1, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Finitude of the Fibers of Complementary Bell Numbers. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
probability-statisticsApr 5, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Equality in Fill's Spectral Gap Problem. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
theoretical-computer-scienceAug 14, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Neuen-Grohe Problem: Isomorphism of Tournaments with Bounded VC Dimension. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsFeb 17, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Leading Constant for Large-Order Davenport-Schinzel Sequences. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 13, 2026Significance 12/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: The Foregger–Sinkhorn Tie-Point Conjecture. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 10, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
Improved bounds rather than a settled question: the asked-for inequality is not established in general.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryAug 6, 2026Significance 12/100Registry: lean checked
Prior state unknown→proved
Proves the a = 3 layer; the conjecture is layered in a and remains open for larger a.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 11, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Second Computational Chomp Challenge of Ekhad and Zeilberger. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologyAug 7, 2026Significance 12/100Registry: unreviewed
Prior state unknown→disproved
The paper also proves the conjecture in the unimodular case and characterizes equality there, so the boundary between true and false is drawn rather than just crossed.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 7, 2026Significance 12/100Registry: unreviewed
Prior state unknown→disproved
One conjecture each way: the second proved, the first disproved. Two further Chen-Lawrencenko conjectures remain open and are flagged as such in the paper.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryAug 1, 2026Significance 12/100Registry: lean checked
Prior state unknown→proved
New theorems, not a formalisation of previously known results. For every base b≥2 the Erdős–Kac law is established for the λ-digit base-b palindromes and for the base-b reversals of the λ-digit primes, for ω and Ω and for ωS,ΩS with any regular set S of primes; with normal order loglogn on both families, and, for ω, all moments of order up to…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationAug 10, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Bounded Oracle Error in Nonconvex Stochastic Optimization. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 5, 2026Significance 12/100Registry: lean checked
Prior state unknown→proved
VibeMathed recorded: Lower Bounds for Multivariate Independence Polynomials. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
probability-statisticsMar 31, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Counting Partial Hadamard Matrices in the Cubic Regime. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 4, 2026Significance 12/100Registry: expert verified
Prior state unknown→proved
VibeMathed recorded: The Middle Stair of Parallel Chip-Firing. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologySep 5, 2026Significance 11/100Registry: lean verified
disproved→disproved
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryApr 27, 2026Significance 11/100Registry: site confirmed
Prior state unknown→disproved
both proposed bounds fail
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJun 16, 2026Significance 11/100Registry: site confirmed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #986. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryMar 31, 2026Significance 11/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #997. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisApr 9, 2026Significance 11/100Registry: site confirmed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #987. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryAug 1, 2026Significance 11/100Registry: lean checked
Prior state unknown→proved
For every integer-valued strongly b-additive g with gcd(g(1),…,g(b−1))=1 and digit mean μg≥0: g(p) is prime for infinitely many primes p. For μg>0, ∑1/p over p<X with g(p) prime is (dg/φ(dg))log3X+Cg,1+O(1/loglogX), likewise for the first j iterates. Also #{p≤x:g(p) prime}≪π(x)/loglogx, of that exact order on a large set of x, and…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 31, 2026Significance 11/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: The Integer Domination Root Conjecture. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsApr 21, 2026Significance 11/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #610. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 1, 2026Significance 11/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #123. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJun 21, 2026Significance 11/100Registry: lean verified
Prior state unknown→proved
a polynomial bound for N(k,2), stronger than the exponential bound asked for; the two-parameter problem remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologySep 6, 2026Significance 10/100Registry: site confirmed
Prior state unknown→proved
The manuscript gives an explicit centrally symmetric simplicial
7-polytope with 88 integer vertices. Its antipodal boundary quotient
is a 44-vertex triangulation of real projective 6-space, with f-vector
(44, 938, 7024, 22555, 34936, 25914, 7404).
This improves the 45-vertex construction of Guyer, Steinerberger and
Yang and gives an affirmative answer to their Question 3.2. Integer
coordinates, facet lists and exac…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsApr 22, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
For even n, let q(L)=det(L)/bn. The work proves that q(L) is even exactly when the stronger centered divisibility n2∣det(Estd) holds. For n≡2(mod4), this is equivalent to rankF2(Amod2)<n−1; for n≡0(mod4), it is equivalent to adj(Amod2)1=0. An explicit family gives odd q(L) for every n≡2(mod4), n≥6. This rem…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationSep 4, 2026Significance 10/100Registry: unreviewed
disproved→disproved
restricted planar four-terminal case
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 13, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
exact k = 3 constant established, settling the Parrilo-Robertson-Saracino conjecture for 3-APs; general k remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 10, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
The key step is a lower bound on the truncated imbalance sum, which yields every Erdos-Gallai inequality for the sorted imbalance list; a parity computation finishes it.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review